3381 search results - page 529 / 677 » Extending Dependencies with Conditions |
202
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
197
Voted
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
207
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
179
Voted
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
190
Voted
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....