Sciweavers

10454 search results - page 300 / 2091
» Modeling the Experience of Emotion
Sort
View
MICCAI
2003
Springer
16 years 7 months ago
Needle Steering and Model-Based Trajectory Planning
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
Simon P. DiMaio, S. E. Salcudean
ICIAP
2007
ACM
16 years 6 months ago
Interval-Based Linear Hybrid Dynamical System for Modeling Cross-Media Timing Structures in Multimedia Signals
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
Hiroaki Kawashima, Takashi Matsuyama
ACSD
2009
IEEE
136views Hardware» more  ACSD 2009»
16 years 1 months ago
Model Checking Verilog Descriptions of Cell Libraries
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad...
ISVC
2009
Springer
16 years 1 months ago
Top-Down Segmentation of Histological Images Using a Digital Deformable Model
Abstract. This paper presents a straightforward top-down segmentation method based on a contour approach on histological images. Our approach relies on a digital deformable model w...
François de Vieilleville, Jacques-Olivier L...
SERSCISA
2009
Springer
16 years 1 months ago
A Deployment Value Model for Intrusion Detection Sensors
The value of an intrusion detection sensor is often associated with its data collection and analysis features. Experience tells us such sensors fall under a range of different typ...
Siraj A. Shaikh, Howard Chivers, Philip Nobles, Jo...