Sciweavers

7467 search results - page 136 / 1494
» Incompleteness in information integration
Sort
View
IAT
2008
IEEE
15 years 4 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
SECON
2008
IEEE
15 years 4 months ago
A First Step Towards Dynamic Profiling of Sensor-Based Systems
Application specific tuning has been shown to be beneficial for a variety of platforms, sensor-based systems are no exception. However, accurately capturing external stimuli or mo...
Srihari Sridharan, Susan Lysecky
XIMEP
2005
ACM
90views Database» more  XIMEP 2005»
15 years 3 months ago
XPath 2.0: It Can Sort!
As XML finds its place in information technology, query languages for XML attract much attention. Among them XPath is the most known. This article reveals a surprising fact that ...
Pavel Hlousek
ISCIS
2004
Springer
15 years 3 months ago
Stubborn Sets for Priority Nets
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
Kimmo Varpaaniemi
CVPR
1996
IEEE
15 years 2 months ago
Stereo Vision for View Synthesis
We propose a new method for view synthesis from real images using stereo vision. The method does not explicitly model scene geometry, and enables fast and exact generation of synt...
Daniel Scharstein