6274 search results - page 109 / 1255 » From query complexity to computational complexity |
122
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
174
click to vote
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a generative model for representing complex motion, such as wavy river, dancing fire and dangling cloth. Our generative method consists of four component...
146
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
160
Voted
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
144
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We relate the notion of matroid pathwidth to the minimum trellis state-complexity (which we term trellis-width) of a linear code, and to the pathwidth of a graph. By reducing from ...