Sciweavers

1620 search results - page 201 / 324
» Building an Ontology of Visualization
Sort
View
B
2007
Springer
16 years 15 days ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
3DPVT
2006
IEEE
195views Visualization» more  3DPVT 2006»
16 years 11 days ago
The ASDMCon Project: The Challenge of Detecting Defects on Construction Sites
Techniques for three dimensional (3D) imaging and analysis of as-built conditions of buildings are gaining acceptance in the Architecture, Engineering, and Construction (AEC) comm...
Kui Yue, Daniel Huber, Burcu Akinci, Ramesh Krishn...
ICARCV
2006
IEEE
180views Robotics» more  ICARCV 2006»
16 years 11 days ago
Simultaneous Localization and Mapping with Stereo Vision
— In the simultaneous localization and mapping (SLAM) problem, a mobile robot must build a map of its environment while simultaneously determining its location within that map. W...
Matthew N. Dailey, Manukid Parnichkun
IJCNN
2006
IEEE
16 years 10 days ago
From Light to Spikes: a Large-Scale Retina Simulator
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
Adrien Wohrer, Pierre Kornprobst, Thierry Vi&eacut...
WISE
2005
Springer
15 years 12 months ago
NET - A System for Extracting Web Data from Flat and Nested Data Records
This paper studies automatic extraction of structured data from Web pages. Each of such pages may contain several groups of structured data records. Existing automatic methods stil...
Bing Liu, Yanhong Zhai