Sciweavers

66 search results - page 11 / 14
» Automatic Construction of Bayesian Networks for Conversation...
Sort
View
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 3 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
COOPIS
2003
IEEE
15 years 2 months ago
Learning to Invoke Web Forms
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
Nicholas Kushmerick
WSC
2008
14 years 11 months ago
Integrated human decision making model under Belief-Desire-Intention framework for crowd simulation
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
Seungho Lee, Young-Jun Son
ICPR
2008
IEEE
15 years 3 months ago
2D and 3D upper body tracking with one framework
We propose a Dynamic Bayesian Network (DBN) model for upper body tracking. We first construct a Bayesian Network (BN) to represent the human upper body structure and then incorpo...
Lei Zhang, Jixu Chen, Zhi Zeng, Qiang Ji
86
Voted
AAAI
2004
14 years 10 months ago
High-Level Goal Recognition in a Wireless LAN
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
Jie Yin, Xiaoyong Chai, Qiang Yang