Sciweavers

8676 search results - page 313 / 1736
» A Feature Model for an IDE4OCL
Sort
View
IBPRIA
2007
Springer
16 years 24 days ago
Line Extraction from Mechanically Scanned Imaging Sonar
Abstract. The extraction of reliable features is a key issue for autonomous underwater vehicle navigation. Imaging sonars can produce acoustic images of the surroundings of the veh...
David Ribas, Pere Ridao, José Neira, Juan D...
CVPR
1998
IEEE
15 years 11 months ago
Minimax Entropy and Learning by Diffusion
1 A system of coupled differential equations is formulated which learns priors for modelling "preattentive" textures. It is derived from an energy functional consisting o...
Jayant Shah
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 10 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
SPLC
2008
15 years 8 months ago
Visualizing Software Product Line Variabilities in Source Code
Implementing software product lines is a challenging task. Depending on the implementation technique the code that realizes a feature is often scattered across multiple code units...
Christian Kästner, Salvador Trujillo, Sven Ap...
ECCV
2010
Springer
15 years 7 months ago
Object of Interest Detection by Saliency Learning
In this paper, we present a method for object of interest detection. This method is statistical in nature and hinges in a model which combines salient features using a mixture of l...