4767 search results - page 572 / 954 » Structures for Abstract Rewriting |
206
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
157
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— We present a novel approach to automatically extracting summary excerpts from audio and video. Our approach is to maximize the average similarity between the excerpt an...
155
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—We propose probabilistic location to enhance the performance of existing peer-to-peer location mechanisms in the case where a replica for the queried data item exists cl...
172
Voted
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
190
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...