7839 search results - page 19 / 1568 » What's there and what's not |
ENTCS
2002
13 years 8 months ago
2002
If S = 0 is a system of n equations and unknowns over C and S() = 0 to what extent can we compute with the point ? In particular, can we decide whether or not a polynomial express...
ICGI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper revisits a problem of the evaluation of computational grammatical inference (GI) systems and discusses what role complexity measures can play for the assessmen...
ISEUD
2009
Springer
14 years 3 months ago
2009
Springer
End-user programming has become ubiquitous, so much so that there are more end-user programmers today than there are professional programmers. End-user programming empowers—but t...
CBMS
2008
IEEE
14 years 3 months ago
2008
IEEE
There is a vast amount of data associated with any one patient. It is challenging for medical staff to understand all this data. It is even harder for a lay person, who may not ev...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...