Sciweavers

167 search results - page 11 / 34
» Simulating a Human Cooperative Problem Solving
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 21 hour ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ACL
2009
13 years 5 months ago
Setting Up User Action Probabilities in User Simulations for Dialog System Development
User simulations are shown to be useful in spoken dialog system development. Since most current user simulations deploy probability models to mimic human user behaviors, how to se...
Hua Ai, Diane J. Litman
INFOCOM
2010
IEEE
13 years 6 months ago
Handling Triple Hidden Terminal Problems for Multi-Channel MAC in Long-Delay Underwater Sensor Networks
In this paper, we investigate the multi-channel MAC problem in underwater acoustic sensor networks. To reduce hardware cost, only one acoustic transceiver is often preferred on ev...
Zhong Zhou, Zheng Peng, Jun-Hong Cui, Zaihan Jiang
INFOCOM
2011
IEEE
12 years 11 months ago
A dynamic relay selection scheme for mobile users in wireless relay networks
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
Yifan Li, Ping Wang, Dusit Niyato, Weihua Zhuang
EC
2008
209views ECommerce» more  EC 2008»
13 years 7 months ago
Human Body Pose Estimation with Particle Swarm Optimisation
In this paper we address the problem of human body pose estimation from still images. A multi-view set of images of a person sitting at a table is acquired and the pose estimated....
Spela Ivekovic, Emanuele Trucco, Yvan R. Petillot