Sciweavers

1711 search results - page 300 / 343
» Completing pseudojump operators
Sort
View
ISER
2000
Springer
84views Robotics» more  ISER 2000»
13 years 11 months ago
Autonomous Injection of Biological Cells Using Visual Servoing
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...
Yu Sun, Bradley J. Nelson
AGP
1995
IEEE
13 years 11 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara
EPIA
1995
Springer
13 years 11 months ago
The Retrieval Problem in a Concept Language with Number Restrictions
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
Aida Vitória, Margarida Mamede, Luís...
ICCAD
1995
IEEE
84views Hardware» more  ICCAD 1995»
13 years 11 months ago
Statistical behavioral modeling and characterization of A/D converters
This paper presents a method to characterize Nyquist rate A/D converters based on the use of a first order statistical behavioral model. The proposed model is derived from a very...
Eduardo J. Peralías, Adoración Rueda...
ICDT
1995
ACM
101views Database» more  ICDT 1995»
13 years 11 months ago
Approximation in Databases
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
Leonid Libkin