Sciweavers

6047 search results - page 591 / 1210
» Modeling with Extend
Sort
View
CSFW
2005
IEEE
16 years 1 months ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
CVPR
2005
IEEE
16 years 1 months ago
Speckle-Constrained Filtering of Ultrasound Images
Ultrasound images provide the clinician with noninvasive, low cost, and real-time images that can help them in diagnosis, plannnig and therapy. However, although the human eye is ...
Karl Krissian, Ron Kikinis, Carl-Fredrik Westin, K...
FDL
2005
IEEE
16 years 1 months ago
SystemC-WMS: A Wave Mixed Signal Simulator
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
Simone Orcioni, Giorgio Biagetti, Massimo Conti
ICIP
2005
IEEE
16 years 1 months ago
Using Tsallis entropy into a Bayesian network for CBIR
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...
Paulo S. Rodrigues, Gilson A. Giraldi, Ade A. Arau...
ICRA
2005
IEEE
151views Robotics» more  ICRA 2005»
16 years 1 months ago
Multi-Step Look-Ahead Trajectory Planning in SLAM: Possibility and Necessity
Abstract— In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajector...
Shoudong Huang, Ngai Ming Kwok, Gamini Dissanayake...