Sciweavers

3051 search results - page 374 / 611
» Learning Internal Representations
Sort
View
ISBI
2006
IEEE
16 years 6 months ago
Landmark matching on the sphere using distance functions
Nonlinear registration of 3D surfaces is important in many medical imaging applications, including the mapping of longitudinal changes in anatomy, or of multi-subject functional M...
Natasha Lepore, Alex D. Leow, Paul M. Thompson
WWW
2004
ACM
16 years 6 months ago
XML data mediator integrated solution for xml roundtrip from xml to relational
This paper presents a system for efficient data transformations between XML and relational databases, called XML Data Mediator (XDM). XDM enables the transformation by externalizi...
Nianjun Zhou, George A. Mihaila, Dikran S. Melikse...
145
Voted
CHI
2006
ACM
16 years 6 months ago
Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
Andrew Jensen Ko, Brad A. Myers
VLSID
2005
IEEE
255views VLSI» more  VLSID 2005»
16 years 6 months ago
Estimation of Switching Activity in Sequential Circuits Using Dynamic Bayesian Networks
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
Sanjukta Bhanja, Karthikeyan Lingasubramanian, N. ...
ICFP
2002
ACM
16 years 6 months ago
An expressive, scalable type theory for certified code
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
Karl Crary, Joseph Vanderwaart