Sciweavers

8099 search results - page 224 / 1620
» Higher-Order Task Models
Sort
View
EDOC
2009
IEEE
15 years 10 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
SPEECH
1998
215views more  SPEECH 1998»
15 years 6 months ago
3D lip shapes from video: A combined physical-statistical model
Tracking human lips in video is an important but notoriously dicult task. To accurately recover their motions in 3D from any head pose is an even more challenging task, though s...
Sumit Basu, Nuria Oliver, Alex Pentland
UMUAI
1998
101views more  UMUAI 1998»
15 years 6 months ago
An Evidential Model for Tracking Initiative in Collaborative Dialogue Interactions
In this paper, we argue for the need to distinguish between task initiative and dialogue initiative, and present an evidential model for tracking shifts in both types of initiativ...
Jennifer Chu-Carroll, Michael K. Brown
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 9 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
GIS
2006
ACM
16 years 7 months ago
Modeling and querying uncertain spatial information for situational awareness applications
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision-making, reasoning, and analysis. Raw input about un...
Dmitri V. Kalashnikov, Yiming Ma, Sharad Mehrotra,...