1888 search results - page 127 / 378 » Proof theory and computational analysis |
102
click to vote
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
116
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
115
click to vote
IJBC
2008
15 years 18 days ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
116
Voted
EDM
2009
14 years 10 months ago
2009
This paper presents a model which can automatically detect a variety of student speech acts as students collaborate within a computer supported collaborative learning environment. ...
108
Voted
FOCI
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...