6020 search results - page 227 / 1204 » A New Approach to Model Counting |
159
Voted
IJRR
2006
15 years 5 months ago
2006
This paper presents a new teleoperation approach using a virtual spring, and local contact force control on the slave robot. The operational space framework provides the control s...
142
Voted
ENGL
2007
15 years 4 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
161
Voted
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
A recommender system must be able to suggest items that are likely to be preferred by the user. In most systems, the degree of preference is represented by a rating score. Given a...
153
click to vote
TSE
2010
15 years 3 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
144
Voted
DKE
2007
15 years 5 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...