Sciweavers

2086 search results - page 63 / 418
» Mathematical Theory Exploration
Sort
View
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
14 years 3 months ago
Finite Precision bit-width allocation using SAT-Modulo Theory
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
Adam B. Kinsman, Nicola Nicolici
RAS
2010
123views more  RAS 2010»
13 years 3 months ago
An information-based exploration strategy for environment mapping with mobile robots
The availability of efficient mapping systems to produce accurate representations of initially unknown environments is recognized as one of the main requirements for autonomous mo...
Francesco Amigoni, Vincenzo Caglioti
VLDB
2000
ACM
110views Database» more  VLDB 2000»
14 years 9 days ago
User-Adaptive Exploration of Multidimensional Data
In this paper we present a tool for enhanced exploration of OLAP data that is adaptive to a user's prior knowledge of the data. The tool continuously keeps track of the parts...
Sunita Sarawagi
AAAI
2000
13 years 10 months ago
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S...
ICARIS
2003
Springer
14 years 1 months ago
A Danger Theory Inspired Approach to Web Mining
Within immunology, new theories are constantly being proposed that challenge current ways of thinking. These include new theories regarding how the immune system responds to pathog...
Andrew Secker, Alex Alves Freitas, Jon Timmis