Sciweavers

5128 search results - page 220 / 1026
» When Abstraction Fails
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
Program Analysis with Dynamic Precision Adjustment
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
LSO
2004
Springer
16 years 17 days ago
Impreciseness and Its Value from the Perspective of Software Organizations and Learning
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
Grigori Melnik, Michael M. Richter
ICRA
1994
IEEE
97views Robotics» more  ICRA 1994»
15 years 11 months ago
Integrating Sensing, Task Planning, and Execution
Abstract-This paper deals with enhancing the level of autonomy in a robotic work cell. With that mission in mind, we present here an integrated framework for the sensing, the plann...
C. P. Tung, Avinash C. Kak
AMAI
2006
Springer
15 years 7 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
COLING
2006
15 years 7 months ago
Geometry and Meaning
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...
C. J. van Rijsbergen