Sciweavers

3658 search results - page 596 / 732
» Founding properties on measurement
Sort
View
MICCAI
2000
Springer
14 years 24 days 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
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
14 years 23 days ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
ECCV
2010
Springer
14 years 19 days ago
Optimal Contour Closure by Superpixel Grouping
Abstract. Detecting contour closure, i.e., finding a cycle of disconnected contour fragments that separates an object from its background, is an important problem in perceptual gro...
AAAI
2007
13 years 11 months ago
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability
We present a method of visualizing and adjusting the evaluation functions in game programming in this paper. It is widely recognized that an evaluation function should assign a hi...
Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguch...
AOSD
2008
ACM
13 years 11 months ago
StrongAspectJ: flexible and safe pointcut/advice bindings
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
Bruno De Fraine, Mario Südholt, Viviane Jonck...