1888 search results - page 127 / 378 » Proof theory and computational analysis |
195
click to vote
MSWIM
2006
ACM
16 years 26 days 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...
194
click to vote
CAV
2009
Springer
15 years 11 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...
199
click to vote
IJBC
2008
15 years 6 months 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 ...
195
click to vote
EDM
2009
15 years 4 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. ...
199
click to vote
FOCI
2007
IEEE
15 years 10 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...