2372 search results - page 192 / 475 » Probabilistic calling context |
129
click to vote
AIPS
2006
15 years 5 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
148
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
This paper proposes a confluence between soft OR and soft computing methods, by means of an application of fuzzy logic ideas to robustness analysis. Both methods try to add flexib...
128
Voted
INTERACT
2003
15 years 5 months ago
2003
: The video-paper describes a java prototype of a generic visual information retrieval system called VisMeB, developed to visualize metadata within various contexts. We reconsidere...
115
click to vote
USENIX
1993
15 years 5 months ago
1993
We present the motivation, design, implementation, and performance evaluation of a UNIX kernel mechanism capable of establishing fast in-kernel data pathways between I/O objects. ...
130
click to vote
FORTE
1990
15 years 4 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...