Sciweavers

393 search results - page 17 / 79
» Abstract Interpretation of Probabilistic Semantics
Sort
View
CIRA
2007
IEEE
152views Robotics» more  CIRA 2007»
14 years 2 months ago
Probabilistic Semantic Mapping with a Virtual Sensor for Building/Nature detection
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...
Martin Persson, Tom Duckett, Christoffer Valgren, ...
NMR
2004
Springer
14 years 1 months ago
Logic programs with annotated disjunctions
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
Joost Vennekens, Sofie Verbaeten, Maurice Bruynoog...
ECCV
2004
Springer
14 years 9 months ago
Extraction of Semantic Dynamic Content from Videos with Probabilistic Motion Models
Abstract. The exploitation of video data requires to extract information at a rather semantic level, and then, methods able to infer "concepts" from low-level video featu...
Gwenaëlle Piriou, Jian-Feng Yao, Patrick Bout...
IJCNLP
2004
Springer
14 years 1 months ago
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...
Feifan Liu, Qianli Jin, Jun Zhao, Bo Xu
LICS
2007
IEEE
14 years 2 months ago
Local Action and Abstract Separation Logic
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yan...