7839 search results - page 16 / 1568 » What is |
154
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
From pre-schools to high schools, at home and in museums, the educational community has embraced the use of computers as a teaching tool. Yet many institutions will simply install...
114
click to vote
ICECCS
2007
IEEE
15 years 8 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...
177
click to vote
AGP
2010
IEEE
15 years 8 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 ...
130
click to vote
ECSCW
2001
15 years 5 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...
111
click to vote
ENTCS
2002
15 years 4 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...