3047 search results - page 257 / 610 » Aggregation functions: Means |
111
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
134
click to vote
SG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
101
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
138
click to vote
ICIP
2002
IEEE
15 years 9 months ago
2002
IEEE
The topic of the paper is to estimate parameters of the camera motion using images taken at initial and current positions of the camera. An original method handling defocused imag...
108
click to vote
AUSAI
2001
Springer
15 years 8 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...