Sciweavers

5384 search results - page 266 / 1077
» Open Standards Requirements
Sort
View
BIB
2007
124views more  BIB 2007»
15 years 6 months ago
Informatics in neuroscience
The application of informatics to neuroscience goes far beyond ‘traditional’ bioinformatics modalities such as DNA sequences. In this review, we describe how informatics is be...
Leon French, Paul Pavlidis
BSL
2006
81views more  BSL 2006»
15 years 6 months ago
Classifying the Provably Total Functions of PA
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
Andreas Weiermann
PAMI
2006
206views more  PAMI 2006»
15 years 6 months ago
Fast Active Appearance Model Search Using Canonical Correlation Analysis
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...
Rene Donner, Michael Reiter, Georg Langs, Philipp ...
COMPUTER
2000
92views more  COMPUTER 2000»
15 years 6 months ago
An Overview of the Real-Time CORBA Specification
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
Douglas C. Schmidt, Fred Kuhns
JCSS
2000
98views more  JCSS 2000»
15 years 6 months ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
Wan Fokkink