11151 search results - page 1904 / 2231 » On the Complexity of Model Expansion |
209
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
197
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
227
click to vote
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
195
click to vote
WER
2004
Springer
16 years 2 days ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
177
click to vote
CGI
2003
IEEE
16 years 1 days ago
2003
IEEE
Mesh simplification algorithms play an important role in computer graphics. In particular, view-dependent simplification methods are utilized widely to reduce the geometric comp...