Sciweavers

13383 search results - page 348 / 2677
» Abstractions from proofs
Sort
View
ICRA
2008
IEEE
156views Robotics» more  ICRA 2008»
16 years 1 months ago
Removal of adherent noises from image sequences by spatio-temporal image processing
Abstract— This paper describes a method for removing adherent noises from image sequences. In outdoor environments, it is often the case that scenes taken by a camera are deterio...
Atsushi Yamashita, Isao Fukuchi, Toru Kaneko, Kenj...
ICIW
2007
IEEE
16 years 1 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
AIME
2007
Springer
16 years 1 months ago
A Causal Modeling Framework for Generating Clinical Practice Guidelines from Data
Abstract. The practice of medicine is becoming increasingly evidencebased and clinical practice guidelines (CPGs) are necessary for advancing evidence-based medicine (EBM). We hypo...
Subramani Mani, Constantin F. Aliferis
IBPRIA
2007
Springer
16 years 29 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...
IBPRIA
2007
Springer
16 years 29 days ago
Motion Segmentation from Feature Trajectories with Missing Data
Abstract. This paper presents a novel approach for motion segmentation from feature trajectories with missing data. It consists of two stages. In the first stage, missing data are...
Carme Julià, Angel Domingo Sappa, Felipe Lu...