Sciweavers

486 search results - page 61 / 98
» What was the Query
Sort
View
129
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
A Probabilistic Approach to the Anxious Home for Activity Monitoring
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
Geoff A. W. West, Stewart Greenhill, Svetha Venkat...
112
Voted
UC
2005
Springer
15 years 10 months ago
Quantum Searching Amidst Uncertainty
Consider a database most of whose entries are marked but the precise fraction of marked entries is not known. What is known is that the fraction of marked entries is 1 − , where ...
Lov K. Grover
130
Voted
GEOS
2009
Springer
15 years 9 months ago
The Case for Grounding Databases
What is the intended interpretation of a geospatial database in terms of reproducible experiences? How should places on a digital globe be interpreted on the earth surface? And how...
Simon Scheider
MKM
2009
Springer
15 years 9 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
ADBIS
2000
Springer
97views Database» more  ADBIS 2000»
15 years 9 months ago
An Efficient Storage Manager
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...
Dimitris G. Kapopoulos, Michael Hatzopoulos, Panag...