4894 search results - page 80 / 979 » Choices |
173
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
111
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Information requirement elicitation (IRE) is a context-aware and personalized wireless web service to elicit user information requirements through interactive choice prompts. The ...
177
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
We implement various computations in the braid groups via practically efficient and theoretically optimized algorithms whose pseudo-codes are provided. The performance of an actual...
144
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
150
Voted
DAGSTUHL
2007
15 years 7 months ago
2007
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...