Sciweavers

796 search results - page 118 / 160
» Graph Properties Based Filtering
Sort
View
ISBI
2002
IEEE
16 years 3 months ago
Joint estimation of cardiac kinematics and material parameters from noisy imaging data and uncertain mechanical model
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
Huafeng Liu, Edward W. B. Lo, Pengcheng Shi
AINA
2009
IEEE
15 years 9 months ago
A Range-Only Tracking Algorithm for Wireless Sensor Networks
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
Evangelos B. Mazomenos, Jeffrey S. Reeve, Neil M. ...
UIST
2004
ACM
15 years 8 months ago
Interacting with hidden content using content-aware free-space transparency
We present content-aware free-space transparency, an approach to viewing and manipulating the otherwise hidden content of obscured windows through unimportant regions of overlappi...
Edward W. Ishak, Steven Feiner
122
Voted
AMAST
2004
Springer
15 years 8 months ago
A Generic Software Safety Document Generator
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
Ewen Denney, Ram Prasad Venkatesan
TOOLS
2000
IEEE
15 years 6 months ago
Design and Implementation of CORBA-Based Subscription Server
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
R. Maheshwari, R. Fatoohi