509 search results - page 14 / 102 » A formal representation of functional size measurement metho... |
ICIAR
2004
Springer
14 years 2 months ago
2004
Springer
The bidirectional texture function (BTF) describes rough texture appearance variations due to varying illumination and viewing conditions. Such a function consists of thousands of ...
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper proposes a continuous HRTF representation in both 3D spatial and frequency domains. The method is based on the acoustic reciprocity principle and a modal expansion of t...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
GIS
2002
ACM
13 years 8 months ago
2002
ACM
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...