Sciweavers

379 search results - page 44 / 76
» A Generative Approach to Change-Driven Consistency in Multi-...
Sort
View
MICCAI
2007
Springer
16 years 7 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 11 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»
16 years 6 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
16 years 11 days 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
159
Voted
SIGIR
2006
ACM
16 years 2 hour 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