1818 search results - page 336 / 364 » Granularity-Adaptive Proof Presentation |
111
Voted
GC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
123
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
147
click to vote
ISSAC
2004
Springer
15 years 8 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
118
Voted
PCM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
151
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...