433 search results - page 17 / 87 » Building an Interpreter with Vmgen |
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
We present a framework for hypothesis testing of differences between groups of DTI fiber tracts. An anatomical, tract-oriented coordinate system provides a basis for estimating the...
ASWC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
ICDAR
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...