Sciweavers

605 search results - page 72 / 121
» A Screen Space Quality Method for Data Abstraction
Sort
View
ICTAC
2005
Springer
15 years 11 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
GISCIENCE
2004
Springer
112views GIS» more  GISCIENCE 2004»
15 years 11 months ago
Project Lachesis: Parsing and Modeling Location Histories
Abstract. A datatype with increasing importance in GIS is what we call the location history–a record of an entity’s location in geographical space over an interval of time. Thi...
Ramaswamy Hariharan, Kentaro Toyama
VIS
2007
IEEE
128views Visualization» more  VIS 2007»
16 years 7 months ago
Modeling Perceptual Dominance Among Visual Cues in Multilayered Icon-based Scientific Visualizations
ization method is an abstract function that transforms a scientific dataset into a visual representation to facilitate data exploration. In turn, a visualization display is the vis...
Daniel Acevedo, Jian Chen, David H. Laidlaw
ECCV
2010
Springer
15 years 11 months ago
Single Image Deblurring Using Motion Density Functions
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...
ICCSA
2003
Springer
15 years 11 months ago
Efficient Speaker Identification Based on Robust VQ-PCA
Abstract. In this paper, an efficient speaker identification based on robust vector quantization principal component analysis (VQ-PCA) is proposed to solve the problems from outlie...
Younjeong Lee, Joohun Lee, Ki Yong Lee