3009 search results - page 224 / 602 » The Expressive Rate of Constraints |
170
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
218
click to vote
COMAD
2009
15 years 7 months ago
2009
XML stream querying problem involves evaluating a given, potentially large, set of query expressions on a continuous stream of XML messages. Since the messages arrive continuously...
167
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
A mathematical framework for the convergence analysis of a pipelined ADC with background gain calibration is presented. The constraints on adaptation step size for mean convergenc...
160
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
135
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a robotic manipulation primitive called toppling--knocking a part over. We derive the mechanical conditions for toppling, express these as constraints on robo...