6355 search results - page 73 / 1271 » From Logic to Games |
90
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
68
Voted
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Component-based software engineering is useful for embedded applications such as robotics. However, heavyweight component systems such as CORBA overstrain the ressources ...
142
Voted
GAMESEC
2010
14 years 10 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
60
Voted
KDD
2001
ACM
16 years 1 months ago
2001
ACM
58
Voted
ICLA
2009
Springer
15 years 7 months ago
2009
Springer