7335 search results - page 998 / 1467 » Scene Based Reasoning |
178
click to vote
RWEB
2007
Springer
16 years 1 months ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
163
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
172
Voted
TARK
2007
Springer
16 years 29 days ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
143
click to vote
TARK
2007
Springer
16 years 29 days ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
198
Voted
TGC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...