46 search results - page 5 / 10 » Quantified Positive Temporal Constraints |
COMPSAC
1996
IEEE
13 years 11 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper focuses on psychophysical evaluation of the control scheme developed to optimize the kinesthetic perception during the scaled teleoperation. The control problem is f...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
Bioluminescence imaging (BLI) offers the possibility to study and image biology at molecular scale in small animals with applications in oncology or gene expression studies. Here ...