Sciweavers

286 search results - page 26 / 58
» Reasoning about multiple related abstractions with MultiStar
Sort
View
89
Voted
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
14 years 7 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi
LREC
2008
129views Education» more  LREC 2008»
14 years 11 months ago
Anaphoric Annotation in the ARRAU Corpus
Arrau is a new corpus annotated for anaphoric relations, with information about agreement and explicit representation of multiple nts for ambiguous anaphoric expressions and disco...
Massimo Poesio, Ron Artstein
JANCL
2007
115views more  JANCL 2007»
14 years 9 months ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri...
ICLP
2001
Springer
15 years 2 months ago
Higher-Precision Groundness Analysis
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
Michael Codish, Samir Genaim, Harald Sønder...
VLDB
1990
ACM
91views Database» more  VLDB 1990»
15 years 1 months ago
An Incremental Join Attachment for Starburst
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
Michael J. Carey, Eugene J. Shekita, George Lapis,...