3281 search results - page 551 / 657 » Bases for parametrized iterativity |
120
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
105
click to vote
DAGM
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
139
Voted
ER
2001
Springer
15 years 6 months ago
2001
Springer
Semistructured data is becoming increasingly important for web applications with the development of XML and related technologies. Designing a “good” semistructured database is ...
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
Designs which do not fully utilize their arithmetic datapath components typically exhibit a significant overhead in power consumption. Whenever a module performs an operation who...