Search results for "UniFi"
showing 10 items of 302 documents
Design and calibration of an omni-RGB+D camera
2016
International audience; In this paper, we present the design of a new camera combining both predator-like and prey-like vision features. This setup provides both a spherical RGB-view and a directional depth-view of the environment. The model and calibration of the full setup are described. A few examples will be given to demonstrate the interest and the versatility of such camera for robotics and video surveillance at the oral presentation.
Temporal Binding in Multisensory and Motor-Sensory Contexts: Toward a Unified Model
2021
Our senses receive a manifold of sensory signals at any given moment in our daily lives. For a coherent and unified representation of information and precise motor control, our brain needs to temporally bind the signals emanating from a common causal event and segregate others. Traditionally, different mechanisms were proposed for the temporal binding phenomenon in multisensory and motor-sensory contexts. This paper reviews the literature on the temporal binding phenomenon in both multisensory and motor-sensory contexts and suggests future research directions for advancing the field. Moreover, by critically evaluating the recent literature, this paper suggests that common computational prin…
Distributed Computing on Distributed Memory
2018
Distributed computation is formalized in several description languages for computation, as e.g. Unified Modeling Language (UML), Specification and Description Language (SDL), and Concurrent Abstract State Machines (CASM). All these languages focus on the distribution of computation, which is somewhat the same as concurrent computation. In addition, there is also the aspect of distribution of state, which is often neglected. Distribution of state is most commonly represented by communication between active agents. This paper argues that it is desirable to abstract from the communication and to consider abstract distributed state. This includes semantic handling of conflict resolution, e.g. i…
Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments
2021
[EN] Context: There is a lack of empirical evidence on the differences between model-driven development (MDD), where code is automatically derived from conceptual models, and traditional software development method, where code is manually written. In our previous work, we compared both methods in a baseline experiment concluding that quality of the software developed following MDD was significantly better only for more complex problems (with more function points). Quality was measured through test cases run on a functional system. Objective: This paper reports six replications of the baseline to study the impact of problem complexity on software quality in the context of MDD. Method: We con…
A Metamodeling Approach to Evolution
2001
With the increasing complexity of systems being modeled, analysis & design move towards more and more abstract methodologies. Most of them rely on metamodeling tools that employ multi-view models and the four-layer metamodeling architecture. Our idea is to use the metamodeling approach to classify and to constraint the possible evolutions of an information system with the effect to improve both detection of evolution conflicts and disciplined reuse. Within the domain of UML metamodeling, a refinement of the metamodel-level classification is proposed that includes bases for defining a metric of the evolution (in terms of distance between metamodels).
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study
2009
In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of cli…
Constraint Management in Engineering of Complex Information Systems
2009
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
Categories, Musical Instruments, and Drawings: A Unification Dream
2019
The mathematical formalism of category theory allows to investigate musical structures at both low and high levels, performance practice (with musical gestures) and music analysis. Mathematical formalism can also be used to connect music with other disciplines such as visual arts. In our analysis, we extend former studies on category theory applied to musical gestures, including musical instruments and playing techniques. Some basic concepts of categories may help navigate within the complexity of several branches of contemporary music research, giving it a unitarian character. Such a 'unification dream,' that we can call 'cARTegory theory,' also includes metaphorical references to topos th…
Euclid preparation XIX. Impact of magnification on photometric galaxy clustering
2022
Aims. We investigate the importance of lensing magnification for estimates of galaxy clustering and its cross-correlation with shear for the photometric sample of Euclid. Using updated specifications, we study the impact of lensing magnification on the constraints and the shift in the estimation of the best fitting cosmological parameters that we expect if this effect is neglected.
Towards gauge coupling unification in left-right symmetric SU(3)c×SU(3)L×SU(3)R×U(1)X theories
2017
We consider the possibility of gauge coupling unification within the simplest realizations of the $\mathrm{SU}(3{)}_{\mathrm{c}}\ifmmode\times\else\texttimes\fi{}\mathrm{SU}(3{)}_{\mathrm{L}}\ifmmode\times\else\texttimes\fi{}\mathrm{SU}(3{)}_{\mathrm{R}}\ifmmode\times\else\texttimes\fi{}\mathrm{U}(1{)}_{\mathrm{X}}$ gauge theory. We present a first exploration of the renormalization group equations governing the ``bottom-up'' evolution of the gauge couplings in a generic model with free normalization for the generators. Interestingly, we find that for a $\mathrm{SU}(3{)}_{\mathrm{c}}\ifmmode\times\else\texttimes\fi{}\mathrm{SU}(3{)}_{\mathrm{L}}\ifmmode\times\else\texttimes\fi{}\mathrm{SU}(…