Sciweavers

561 search results - page 62 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
CORR
2004
Springer
128views Education» more  CORR 2004»
14 years 11 months ago
Vector Symbolic Architectures answer Jackendoff's challenges for cognitive neuroscience
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
Ross W. Gayler
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
15 years 5 months ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
BMCBI
2006
165views more  BMCBI 2006»
14 years 12 months ago
Improving the quality of protein structure models by selecting from alignment alternatives
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...
Ingolf Sommer, Stefano Toppo, Oliver Sander, Thoma...
ICCV
2005
IEEE
16 years 1 months ago
Probabilistic Boosting-Tree: Learning Discriminative Models for Classification, Recognition, and Clustering
In this paper, a new learning framework?probabilistic boosting-tree (PBT), is proposed for learning two-class and multi-class discriminative models. In the learning stage, the pro...
Zhuowen Tu
DAGSTUHL
2003
15 years 1 months ago
Reliable Distance and Intersection Computation Using Finite Precision Geometry
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
Katja Bühler, Eva Dyllong, Wolfram Luther