2080 search results - page 201 / 416 » Measuring empirical computational complexity |
162
Voted
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
145
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract With n servers that independently fail with probability of p < 0.5, it is well known that the majority quorum system achieves the best availability among all quorum sys...
148
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
The objective of active recognition is to iteratively collect the next "best" measurements (e.g., camera angles or viewpoints), to maximally reduce ambiguities in recogn...
138
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Hierarchical clustering is a popular method for grouping together similar elements based on a distance measure between them. In many cases, annotation information for som...
143
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Conversing on cell phones while driving an automobile is a common practice. We examine the interference of the cognitive load of conversational dialog with driving tasks, with the...