1189 search results - page 227 / 238 » The Quotient of an Abstract Interpretation |
SAS
1992
Springer
14 years 19 days ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
UM
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
CAISE
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. Data Warehouse (DWH) systems are used by decision makers for performance measurement and decision support. Currently the main focus of the DWH research field is not as mu...
ECAI
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
ECMDAFA
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...