1350 search results - page 83 / 270 » Generalized Committed Choice |
131
click to vote
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
User Mode Linux is a virtual machine running on a GNULinux operating system. It is the right choice for teaching operating systems’ administration, as it does not need any dedic...
123
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
153
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
147
click to vote
IFIP7
2001
Springer
15 years 8 months ago
2001
Springer
Support vector machines (SVMs) have played a key role in broad classes of problems arising in various fields. Much more recently, SVMs have become the tool of choice for problems...
121
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...