1939 search results - page 93 / 388 » Dynamic Lex Constraints |
132
click to vote
TCS
2010
15 years 25 days ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
143
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
197
click to vote
IJCAI
1989
15 years 7 months ago
1989
entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
193
click to vote
HAPTICS
2007
IEEE
16 years 13 days ago
2007
IEEE
Transparent haptic rendering of the contact between a tool and its environment requires very frequent update of the contact forces acting on the tool. Given a rigid tool and a def...
160
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...