1117 search results - page 112 / 224 » Partial Models of Extended Generalized Logic Programs |
117
click to vote
LOGCOM
2007
15 years 1 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
106
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
101
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
189
click to vote
PODS
2009
ACM
16 years 2 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...