4372 search results - page 568 / 875 » Objects for Lexical Analysis |
182
click to vote
SCIA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Image-Based Lighting (IBL) has become a very popular approach in computer graphics. In essence IBL is based on capturing the illumination conditions in a scene in an omni...
170
click to vote
SCIA
2007
Springer
16 years 26 days ago
2007
Springer
In the area of quality control by vision, the reconstruction of 3D curves is a convenient tool to detect and quantify possible anomalies. Whereas other methods exist that allow us ...
145
click to vote
SG
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper introduces a semantic representation for virtual prototyping in interactive virtual construction applications. The representation reflects semantic information...
193
click to vote
SOCO
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
157
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...