Sciweavers

4815 search results - page 512 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
HAPTICS
2007
IEEE
16 years 1 months ago
Soft Finger Model with Adaptive Contact Geometry for Grasping and Manipulation Tasks
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
Matei T. Ciocarlie, Claire Lackner, Peter K. Allen
SAT
2007
Springer
81views Hardware» more  SAT 2007»
16 years 29 days ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
ICAT
2003
IEEE
16 years 4 days ago
Agent-based Model for Intelligent Shopping Assistant and its Application
With the rapid expansion of the Internet, the implementation of agent technology in electronic commerce (e-commerce) becomes very popular, which provides a promising field for the...
Xu-Bing Pan, Zhi Geng, Yang-Hong Wei
IADIS
2003
15 years 8 months ago
Hypertext Classification: A Multiagent Model for Adaptive Learning Algorithm
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...
Stanislav Baglei
AAAI
2010
15 years 8 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar