Sciweavers

504 search results - page 59 / 101
» Definitional Reflection and the Completion
Sort
View
MIAR
2006
IEEE
14 years 2 months ago
Optical Mapping of the Frontal Cortex During a Surgical Knot-Tying Task, a Feasibility Study
Functional neuroimaging technologies have transformed cognitive neuroscience by enhancing our understanding of the functional subclassification of brain regions. Whilst a number of...
Daniel Richard Leff, Peck Hui Koh, Rajesh Aggarwal...
ACSAC
2005
IEEE
14 years 2 months ago
Countering Trusting Trust through Diverse Double-Compiling
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...
David Wheeler
DILS
2005
Springer
14 years 2 months ago
Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
Oliver Fiehn, Gert Wohlgemuth, Martin Scholz
CAISE
2004
Springer
14 years 2 months ago
Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
Iris Reinhartz-Berger, Dov Dori
WAIM
2004
Springer
14 years 2 months ago
Learning-Based Top-N Selection Query Evaluation over Relational Databases
A top-N selection query against a relation is to find the N tuples that satisfy the query condition the best but not necessarily completely. In this paper, we propose a new method ...
Liang Zhu, Weiyi Meng