1021 search results - page 71 / 205 » Concepts in Proof Planning |
Book
"Constraint satisfaction is a general problem in which the goal is to find values for a set of variables that will satisfy a given set of constraints. It is the core of many a...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, we build upon recent advances in neuroscience research which have shown that control of the human hand during grasping is dominated by movement in a configurati...
ECBS
2003
IEEE
14 years 2 months ago
2003
IEEE
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...