Sciweavers

8728 search results - page 1348 / 1746
» On Reduct Construction Algorithms
Sort
View
INFOCOM
2006
IEEE
16 years 26 days ago
Super-Fast Delay Tradeoffs for Utility Optimal Fair Scheduling in Wireless Networks
— We consider the fundamental delay tradeoffs for utility optimal scheduling in a general network with time varying channels. A network controller acts on randomly arriving data ...
Michael J. Neely
IROS
2006
IEEE
155views Robotics» more  IROS 2006»
16 years 26 days ago
Multiple Hypothesis Tracking of Clusters of People
— Mobile robots operating in populated environments typically can improve their service and navigation behavior when they know where people are in their vicinity and in which dir...
Manuel Mucientes, Wolfram Burgard
SBACPAD
2006
IEEE
148views Hardware» more  SBACPAD 2006»
16 years 25 days ago
Scalable Parallel Implementation of Bayesian Network to Junction Tree Conversion for Exact Inference
We present a scalable parallel implementation for converting a Bayesian network to a junction tree, which can then be used for a complete parallel implementation for exact inferen...
Vasanth Krishna Namasivayam, Animesh Pathak, Vikto...
ACCV
2006
Springer
16 years 25 days ago
Vision-Based Posing of 3D Virtual Actors
Construction of key poses is one of the most tedious and time consuming steps in synthesizing of 3D virtual actors. Recent alternate schemes expect the user to specify two inputs. ...
Ameya S. Vaidya, Appu Shaji, Sharat Chandran
ACL2
2006
ACM
16 years 25 days ago
A SAT-based procedure for verifying finite state machines in ACL2
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
Warren A. Hunt Jr., Erik Reeber
« Prev « First page 1348 / 1746 Last » Next »