12193 search results - page 302 / 2439 » It's not all about |
178
click to vote
JCT
2000
15 years 6 months ago
2000
A partial order on Z obtained by taking the transitive closure of a random relation {i < j and there is an edge ij} is studied. Randomness stems from postulating that an edge ij...
179
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
163
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Quite a bit is known about minimizing different kinds of regret in experts problems, and how these regret types relate to types of equilibria in the multiagent setting of repeated...
306
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
261
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...