Sciweavers

4385 search results - page 586 / 877
» Abstraction for Concurrent Objects
Sort
View
DEXA
2009
Springer
151views Database» more  DEXA 2009»
16 years 1 months ago
Detecting Projected Outliers in High-Dimensional Data Streams
Abstract. In this paper, we study the problem of projected outlier detection in high dimensional data streams and propose a new technique, called Stream Projected Ouliter deTector ...
Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai X...
154
Voted
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
ICVS
2009
Springer
16 years 1 months ago
Saliency-Based Obstacle Detection and Ground-Plane Estimation for Off-Road Vehicles
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
Pedro Santana, Magno Guedes, Luís Correia, ...
IDA
2009
Springer
16 years 1 months ago
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
Emmanuel Vincent, Shoko Araki, Pau Bofill
ISMM
2009
Springer
16 years 1 months ago
Spatially-Variant Anisotropic Morphological Filters Driven by Gradient Fields
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
Rafael Verdú Monedero, Jesús Angulo,...