1939 search results - page 93 / 388 » Dynamic Lex Constraints |
103
Voted
TCS
2010
14 years 10 months 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,...
102
Voted
ICRA
2010
IEEE
15 years 2 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...
160
Voted
IJCAI
1989
15 years 4 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...
158
Voted
HAPTICS
2007
IEEE
15 years 10 months 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...
130
Voted
VLDB
2005
ACM
15 years 9 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...