Sciweavers

3760 search results - page 265 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
16 years 28 days ago
Recognising and Modelling Landmarks to Close Loops in Outdoor SLAM
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
Fabio T. Ramos, Juan Nieto, Hugh F. Durrant-Whyte
GISCIENCE
2004
Springer
112views GIS» more  GISCIENCE 2004»
16 years 17 hour ago
Project Lachesis: Parsing and Modeling Location Histories
Abstract. A datatype with increasing importance in GIS is what we call the location history–a record of an entity’s location in geographical space over an interval of time. Thi...
Ramaswamy Hariharan, Kentaro Toyama
IBPRIA
2003
Springer
15 years 12 months ago
Smoothing Techniques for Tree-k-Grammar-Based Natural Language Modeling
Abstract. In a previous work, a new probabilistic context-free grammar (PCFG) model for natural language parsing derived from a tree bank corpus has been introduced. The model esti...
Jose L. Verdú-Mas, Jorge Calera-Rubio, Rafa...
ICSM
2000
IEEE
15 years 11 months ago
Information Retrieval Models for Recovering Traceability Links between Code and Documentation
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
FOSSACS
2006
Springer
15 years 10 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder