430 search results - page 23 / 86 » formats 2005 |
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
ARITH
2005
IEEE
15 years 5 months ago
2005
IEEE
— We develop the foundations for confirming monotonicity of a multi-term reciprocal function approximation. We introduce the concept of operand recoding to improve the accuracy ...
BTW
2005
Springer
15 years 5 months ago
2005
Springer
: Knowledge about market developments and competitor activities on the market becomes more and more a critical success factor for enterprises. The World Wide Web provides public do...
MICCAI
2005
Springer
16 years 20 days ago
2005
Springer
We propose a novel method for quantitative interpretation of uncalibrated optical images which is derived explicitly from an analysis of the image formation model. Parameters chara...
CW
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an approach for enriching a Virtual Environment by augmenting it with the kind of naturalistic clutter often found in real-world scenes. Rather than manually specifying...