Sciweavers

36 search results - page 4 / 8
» Explaining Data Type Reduction in the Shape Analysis Framewo...
Sort
View
SMI
2008
IEEE
165views Image Analysis» more  SMI 2008»
14 years 4 days ago
A 3D face matching framework
Many 3D face matching techniques have been developed to perform face recognition. Among these techniques are variants of 3D facial curve matching, which are techniques that reduce...
Frank B. ter Haar, Remco C. Veltkamp
CL
2002
Springer
13 years 5 months ago
Orderly communication in the Ambient Calculus
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
13 years 12 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
DOLAP
2006
ACM
13 years 11 months ago
Enhanced mining of association rules from data cubes
On-line analytical processing (OLAP) provides tools to explore and navigate into data cubes in order to extract interesting information. Nevertheless, OLAP is not capable of expla...
Riadh Ben Messaoud, Sabine Loudcher Rabaséd...
BMCBI
2005
124views more  BMCBI 2005»
13 years 5 months ago
Internet-based profiler system as integrative framework to support translational research
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
Robert Kim, Francesca Demichelis, Jeffery Tang, Al...