1350 search results - page 104 / 270 » Generalized Committed Choice |
130
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
141
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...
110
click to vote
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
133
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
117
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...