5695 search results - page 929 / 1139 » Using Many Cameras as One |
276
click to vote
FM
1997
Springer
15 years 9 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
144
Voted
ERSHOV
1989
Springer
15 years 9 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
138
click to vote
ESCIENCE
2007
IEEE
15 years 9 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
135
Voted
CCS
2001
ACM
15 years 8 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
156
click to vote
AAAI
2008
15 years 7 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....