9989 search results - page 95 / 1998 » A CLP Approach to Modelling Systems |
123
click to vote
SMA
2005
ACM
15 years 9 months ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
144
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
157
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
106
click to vote
EMINDS
2007
15 years 4 months ago
2007
Abstract We introduce our human-centered approach for designing a ubiquitous computing system which aims at providing a better experience for shoppers at a supermarket. We investig...
156
click to vote
JECR
2000
15 years 3 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...