2748 search results - page 228 / 550 » Generating Object-Z Specifications from Use Cases |
96
Voted
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
In many cases self-calibration is not able to yield a unique solution for the 3D reconstruction of a scene. This is due to the occurrence of critical motion sequences. If this is ...
119
Voted
ADAPTIVE
2007
Springer
15 years 7 months ago
2007
Springer
This chapter describes how the adaptive web technologies discussed in this book have been applied to news access. First, we provide an overview of different types of adaptivity in ...
145
Voted
VCBM
2010
14 years 7 months ago
2010
Virtual reality based therapy simulation meets a growing interest from the medical community due to its potential impact for the training of medical residents and the planning of ...
95
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
106
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...