7839 search results - page 19 / 1568 » What's Clicking What |
83
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
150
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
93
Voted
ECSCW
2001
15 years 2 months ago
2001
The overview of a set of field studies highlights how different are the scenarios in which classification schemes (CS) play a role in cooperation. In all cases, adaptability is cla...
84
Voted
ENTCS
2002
15 years 15 days 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...
109
click to vote
ICGI
2010
Springer
14 years 11 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...