1677 search results - page 287 / 336 » On the Completeness of Quantum Computation Models |
110
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
111
click to vote
EWCBR
2006
Springer
15 years 5 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
114
click to vote
AUSDM
2008
Springer
15 years 3 months ago
2008
Springer
The popularity of computer networks broadens the scope for network attackers and increases the damage these attacks can cause. In this context, Intrusion Detection Systems (IDS) a...
132
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
106
click to vote
IJCAI
2007
15 years 2 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...