9145 search results - page 260 / 1829 » Description Logic Systems |
191
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
178
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
In this demo proposal, we describe our prototype application, SIERRA, which combines text-based and content-based image retrieval and allows users to link together image content of...
182
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
152
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
211
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
Developing real time multimedia applications for best effort networks such as the Internet requires prohibitions against jitter delay and frame loss. This problem is further compl...