4211 search results - page 648 / 843 » Types as Abstract Interpretations |
146
Voted
CONCUR
1992
Springer
15 years 9 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
196
Voted
SAS
1992
Springer
15 years 9 months 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...
153
click to vote
UM
2010
Springer
15 years 9 months 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...
139
Voted
CAISE
2006
Springer
15 years 8 months 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...
151
Voted
ECAI
2006
Springer
15 years 8 months 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...