Sciweavers

1929 search results - page 180 / 386
» Change Propagation Analysis Using Domain Information
Sort
View
DASFAA
2009
IEEE
118views Database» more  DASFAA 2009»
15 years 5 months ago
Detecting Aggregate Incongruities in XML
The problem of identifying deviating patterns in XML repositories has important applications in data cleaning, fraud detection, and stock market analysis. Current methods determine...
Wynne Hsu, Qiangfeng Peter Lau, Mong-Li Lee
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
15 years 10 months ago
On the Observability of Bearing-only SLAM
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
Teresa Vidal-Calleja, Mitch Bryson, Salah Sukkarie...
CLEF
2005
Springer
15 years 10 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
HICSS
1999
IEEE
133views Biometrics» more  HICSS 1999»
15 years 8 months ago
Collaborative Decision Making and Intelligent Reasoning in Judge Advisor Systems
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...
David C. Wilkins, Patricia M. Jones, Roger Bargar,...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 2 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé