Sciweavers

1546 search results - page 183 / 310
» Context-Aware Computing with Sound
Sort
View
KR
2004
Springer
15 years 11 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
CVPR
2003
IEEE
15 years 11 months ago
Bayesian Human Segmentation in Crowded Situations
Problem of segmenting individual humans in crowded situations from stationary video camera sequences is exacerbated by object inter-occlusion. We pose this problem as a “model-b...
Tao Zhao, Ramakant Nevatia
CW
2003
IEEE
15 years 11 months ago
The Enigma of the Sphinx
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicati...
Tolga Abaci, Rachel de Bondeli, Ján C&iacut...
CAISE
2009
Springer
15 years 11 months ago
Goal-Directed Modeling of Self-adaptive Software Architecture
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
Shan Tang, Xin Peng, Yijun Yu, Wenyun Zhao
CSCWD
2001
Springer
15 years 11 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...