11151 search results - page 401 / 2231 » On the Complexity of Model Expansion |
190
click to vote
AGP
2003
IEEE
16 years 29 days ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
170
click to vote
COCO
2001
Springer
16 years 5 days ago
2001
Springer
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard...
203
click to vote
COMPLEXITY
2007
15 years 7 months ago
2007
: We study the parametric controls of self-adjusting systems with numerical models. We investigate the situation where the target dynamics changes slowly and passes through a chaot...
175
click to vote
FBT
1998
15 years 9 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
190
click to vote
RSA
2006
15 years 7 months ago
2006
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...