1042 search results - page 42 / 209 » Failing First: An Update |
110
Voted
AAAI
2004
15 years 5 months ago
2004
Reactive planning using assumptions is a well-known approach to tackle complex planning problems for nondeterministic, partially observable domains. However, assumptions may be wr...
141
Voted
AAECC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
133
Voted
IMCSIT
2010
15 years 2 months ago
2010
Abstract--The paper presents an architecture and implementation that allows distributed execution of workflow applications in BeesyCluster using agents. BeesyCluster is a middlewar...
133
click to vote
PKC
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The success of electronic authentication systems, be it eID card systems or Internet authentication systems such as CardSpace, highly depends on the provided level of use...
253
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Labeling schemes lie at the core of query processing for many XML database management systems. Designing labeling schemes for dynamic XML documents is an important problem that ha...