626 search results - page 8 / 126 » Satisfying Maintenance Goals |
IFIP3
2008
13 years 9 months ago
2008
Learners have different knowledge, interests and also goals in any educational process. If all the learners are provided the same content the process will probably not meet expecte...
AUTOMATICA
2010
13 years 7 months ago
2010
In this paper we derive a set of constraints that are sufficient to guarantee maintained connectivity in a leader-follower multiagent network with proximity based communication to...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
CDVE
2005
Springer
14 years 1 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...