7430 search results - page 859 / 1486 » Programming Applications in CIFF |
206
Voted
LADS
2009
Springer
16 years 7 days ago
2009
Springer
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
212
click to vote
CAV
2001
Springer
16 years 5 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
190
Voted
KI
2001
Springer
16 years 3 days ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
185
click to vote
PADL
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
205
click to vote
ICFP
1999
ACM
15 years 12 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...