Sciweavers

5275 search results - page 277 / 1055
» Computing by observing
Sort
View
KR
2000
Springer
15 years 8 months ago
Satisfiability Algorithms and Finite Quantification
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
Matthew L. Ginsberg, Andrew J. Parkes
ER
1995
Springer
120views Database» more  ER 1995»
15 years 8 months ago
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
Christian S. Jensen, Richard T. Snodgrass
FLAIRS
2007
15 years 6 months ago
Automated Search for the Quantitative Laws Affecting CO2 Fugacity in Sea Water
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
Kasun Wickramaratna, Miroslav Kubat, Peter Minnett
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
A General Notion of Useful Information
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth not...
Philippe Moser
BILDMED
2008
125views Algorithms» more  BILDMED 2008»
15 years 5 months ago
Iterative Reconstruction of SPECT Images Using Adaptive Multi-level Refinement
We present a novel method for iterative reconstruction of high resolution images. Our method is based on the observation that constant regions in an image can be represented at muc...
Hanno Schumacher, Stefan Heldmann, Eldad Haber, Be...