Sciweavers

379 search results - page 44 / 76
» A Generative Approach to Change-Driven Consistency in Multi-...
Sort
View
MICCAI
2007
Springer
15 years 11 months ago
Modeling of Needle-Tissue Interaction Using Ultrasound-Based Motion Estimation
Abstract. A needle-tissue interaction model is an essential part of every needle insertion simulator. In this paper, a new experimental method for the modeling of needle-tissue int...
Ehsan Dehghan, Xu Wen, Reza Zahiri-Azar, Maud Marc...
ISSS
2002
IEEE
130views Hardware» more  ISSS 2002»
15 years 3 months ago
System-Level Modeling of a Network Switch SoC
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
Andrew S. Cassidy, Christopher P. Andrews, Donald ...
SIGMOD
2009
ACM
134views Database» more  SIGMOD 2009»
15 years 11 months ago
Keyword query cleaning using hidden Markov models
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
Ken Q. Pu
HASE
2007
IEEE
15 years 5 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
SIGIR
2006
ACM
15 years 4 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke