Sciweavers

156 search results - page 15 / 32
» On the notion of uniqueness
Sort
View
JMIV
2006
72views more  JMIV 2006»
13 years 9 months ago
A Unifying and Rigorous Shape from Shading Method Adapted to Realistic Data and Applications
We propose a new method for the Lambertian Shape From Shading (SFS) problem based on the notion of Crandall-Lions viscosity solution. This method has the advantage of requiring the...
Emmanuel Prados, Fabio Camilli, Olivier D. Faugera...
IJIPT
2007
116views more  IJIPT 2007»
13 years 9 months ago
Context as autonomic intelligence in a ubiquitous computing environment
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
Markus C. Huebscher, Julie A. McCann, Asher Hoskin...
JANCL
2002
66views more  JANCL 2002»
13 years 9 months ago
Reasoning Credulously and skeptically within a single extension
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
James P. Delgrande, Torsten Schaub
JOLLI
2002
109views more  JOLLI 2002»
13 years 9 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
JSS
1998
87views more  JSS 1998»
13 years 9 months ago
On using similarity for concurrency control in real-time database systems
Most of the proposed concurrency control protocols for real-time database systems (RTDBS) are based on serializability theorem. Owing to the unique characteristics of real-time da...
Kam-yiu Lam, Wai-cheong Yau