400 search results - page 24 / 80 » Moving Proofs-As-Programs into Practice |
ECCV
2004
Springer
14 years 28 days ago
2004
Springer
Recently, many types of omni-directional cameras have been developed and attracted much attention in a number of different fields. Especially, the multi-camera type of omni-direc...
KR
2004
Springer
14 years 27 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
MDM
2004
Springer
14 years 27 days ago
2004
Springer
TPR-tree is a practical index structure for moving object databases. Due to the uniform distribution assumption, TPR-tree’s bulk loading algorithm (TPR) is relatively inefficie...
CAISE
2003
Springer
14 years 23 days ago
2003
Springer
Knowledge workers need to communicate and access knowledge while they work alone, in groups, sitting in their offices or on the move. This paper presents the MILK project, which ai...
AGP
2010
IEEE
14 years 19 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...