Sciweavers

7123 search results - page 377 / 1425
» The Ordered Set of Rough Sets
Sort
View
ROBOCUP
2004
Springer
121views Robotics» more  ROBOCUP 2004»
16 years 5 days ago
Exploring Auction Mechanisms for Role Assignment in Teams of Autonomous Robots
We are exploring the use of auction mechanisms to assign roles within a team of agents operating in a dynamic environment. Depending on the degree of collaboration between the agen...
Vanessa Frías-Martínez, Elizabeth Sk...
SAT
2004
Springer
95views Hardware» more  SAT 2004»
16 years 5 days ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
UCS
2004
Springer
16 years 5 days ago
Scanning with a Purpose - Supporting the Fair Information Principles in RFID Protocols
Today’s RFID protocols that govern the communication between RFID readers and tags are solely optimized for performance, but fail to address consumer privacy concerns by support...
Christian Floerkemeier, Roland Schneider, Marc Lan...
ECCV
2010
Springer
16 years 5 days ago
2D Action Recognition Serves 3D Human Pose Estimation
3D human pose estimation in multi-view settings benefits from embeddings of human actions in low-dimensional manifolds, but the complexity of the embeddings increases with the num...
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
16 years 3 days ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell