Results 251 to 260 of about 312,451 (313)
Some of the next articles are maybe not open access.
Artificial Intelligence in Engineering, 1988
We present here a new way of reasoning on a device based on structure, we call assembling a device. It consists of a symbolic combination of local qualitative constraints (namely confluences) leading to more global relations. Some reference variables are selected according to the task to be performed (simulation, observation, postdiction,...).
Jean-Luc Dormoy, Olivier Raiman
openaire +2 more sources
We present here a new way of reasoning on a device based on structure, we call assembling a device. It consists of a symbolic combination of local qualitative constraints (namely confluences) leading to more global relations. Some reference variables are selected according to the task to be performed (simulation, observation, postdiction,...).
Jean-Luc Dormoy, Olivier Raiman
openaire +2 more sources
ThurGood: Evaluating Assembly-to-Assembly Mapping
Journal of Computational Biology, 2004The alignment and mapping of large genomic sequences is the focus of much recent research. However, relatively little has been done so far about testing and validating alignment methods. We introduce criteria and new tools we have developed for alignment evaluation. These tools have already proved useful in the evaluation and ranking of several methods
Hagit Shatkay +5 more
openaire +2 more sources
Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93), 2002
High level assembly plans prescribe the sequence in which parts come together along with their motions. At each stage of assembly the stability of subassemblies is an important concern. In this paper we address the problem of gravitational stability of assemblies of frictionless rigid bodies.
Raju S. Mattikalli +3 more
openaire +2 more sources
High level assembly plans prescribe the sequence in which parts come together along with their motions. At each stage of assembly the stability of subassemblies is an important concern. In this paper we address the problem of gravitational stability of assemblies of frictionless rigid bodies.
Raju S. Mattikalli +3 more
openaire +2 more sources
The Specification of Assemblers
IEEE Transactions on Software Engineering, 1976The problem of applying formal techniques of program specification and verification to large complex programs is considered. It is argued that a practical solution requires a variety of techniques, including both procedural and nonprocedural specifications, hierarchical program organization, and the use of program transformations. In particular, a case
openaire +3 more sources
Design Studies, 1983
(1) For all forms of assembly manual, automatic and flexible, the key to effectiveness is very much dependent on good design for parts handling and insertion.
openaire +2 more sources
(1) For all forms of assembly manual, automatic and flexible, the key to effectiveness is very much dependent on good design for parts handling and insertion.
openaire +2 more sources
Assembling Oscar, assembling South Africa, assembling affects
Emotion, Space and Society, 2014Abstract The cover feature of Time, “Oscar Pistorius and South Africa's Culture of Violence” (Perry 2013), assembles the shooting body of Oscar Pistorius and the dead body of Reeva Steenkamp in and as the body of post-apartheid South Africa. In analyzing this cover feature, mobilizing Deleuzian concepts, we consider how the bodily presence or absence
Peter Bansel, Bronwyn Davies
openaire +2 more sources