3333 search results - page 112 / 667 » Abstract Proof Search |
128
Voted
TPLP
2002
15 years 3 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
159
Voted
AWCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Because of emergence of Semantic Web, It make possible for machines to understand the meaning of resources on the Web. The widespread availability of machine understandab...
128
Voted
ISAAC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We give linear-time algorithms for re-ordering and heightrestricting a binary search tree with only a small increase in cost, constructing a nearly optimal binary search ...
125
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
115
Voted
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a two-tiered approach to the self-localization problem for soccer playing robots using generic off-the-shelf color cameras. The solution consists of...