Sciweavers

11376 search results - page 1909 / 2276
» Willow System Demonstration
Sort
View
MICCAI
2000
Springer
15 years 11 months ago
Ultrasound/MRI Overlay with Image Warping for Neurosurgery
Performing a craniotomy will cause brain tissue to shift. As a result of the craniotomy, the accuracy of stereotactic localization techniques is reduced unless the brain shift can ...
David G. Gobbi, Roch M. Comeau, Terry M. Peters
OODBS
2000
136views Database» more  OODBS 2000»
15 years 11 months ago
A Flexible Approach for Instance Adaptation During Class Versioning
: One of the consequences of evolution can be the inability to access objects created using the older schema definition under the new definition and vice versa. Instance adaptation...
Awais Rashid, Peter Sawyer, Elke Pulvermüller
CAV
1997
Springer
102views Hardware» more  CAV 1997»
15 years 11 months ago
Efficient Model Checking Using Tabled Resolution
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...
COLT
1995
Springer
15 years 11 months ago
On the Learnability and Usage of Acyclic Probabilistic Finite Automata
We propose and analyze a distribution learning algorithm for a subclass of Acyclic Probabilistic Finite Automata (APFA). This subclass is characterized by a certain distinguishabi...
Dana Ron, Yoram Singer, Naftali Tishby
223
Voted
UMC
2000
15 years 11 months ago
In-vitro Transcriptional Circuits
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
Erik Winfree
« Prev « First page 1909 / 2276 Last » Next »