3994 search results - page 251 / 799 » A Linear Logical Framework |
159
click to vote
IJCAI
1989
15 years 7 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
176
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
162
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
One of the important issues in networked control systems is the appropriate handling of the nonlinearities arising from uncertain time-varying delays. In this paper, using the Cay...
184
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this work, a novel occlusion detection algorithm using online learning is proposed for video applications. Each frame of a video is considered as a time-step for which pixels a...
305
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...