1615 search results - page 89 / 323 » Computer science and decision theory |
97
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
146
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away plane...
116
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
79
Voted
STACS
1998
Springer
15 years 4 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...