14779 search results - page 2709 / 2956 » On Ultrametric Algorithmic Information |
220
click to vote
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
184
click to vote
USENIX
1994
15 years 8 months ago
1994
As distributed computing systems grow in size, complexity and variety of application, the problem of protecting sensitive data from unauthorized disclosure and tampering becomes i...
180
click to vote
IJCAI
1989
15 years 7 months ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Several researchers, present authors included, envision personal mobile robot agents that can assist humans in their daily tasks. Despite many advances in robotics, such mobile ro...
181
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...