3335 search results - page 461 / 667 » Grid result checking |
171
click to vote
CHI
2010
ACM
16 years 24 days ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
172
click to vote
LATA
2009
Springer
16 years 22 days ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
198
click to vote
TACAS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
152
click to vote
INFOCOM
2009
IEEE
16 years 18 days ago
2009
IEEE
Abstract—In this paper we define a simple experimental setup to analyze the behavior of commercial P2P-TV applications under adverse network conditions. Our goal is to reveal th...
183
click to vote
LICS
2008
IEEE
16 years 10 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...