3984 search results - page 550 / 797 » A Model-Driven Transformation Method |
158
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
We address the problem of fast and accurate localization of miniature surgical instruments like needles or electrodes using 3D ultrasound (US). An algorithm based on maximizing a ...
163
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
284
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
144
click to vote
RECOMB
2002
Springer
16 years 6 months ago
2002
Springer
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
262
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
Abstract Existing spatiotemporal indexes suffer from either large update cost or poor query performance, except for the Bx -tree (the state-of-the-art), which consists of multiple ...