Sciweavers

1656 search results - page 307 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
140
Voted
ICFEM
2007
Springer
15 years 7 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
136
Voted
GCB
2006
Springer
158views Biometrics» more  GCB 2006»
15 years 7 months ago
Microarray Layout as Quadratic Assignment Problem
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
Sérgio A. de Carvalho, Sven Rahmann
JDCTA
2010
122views more  JDCTA 2010»
14 years 10 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou
156
Voted
CVPR
2012
IEEE
13 years 6 months ago
Social behavior recognition in continuous video
We present a novel method for analyzing social behavior. Continuous videos are segmented into action ‘bouts’ by building a temporal context model that combines features from s...
Xavier P. Burgos-Artizzu, Piotr Dollár, Day...
141
Voted
ESANN
2006
15 years 4 months ago
Dynamical reservoir properties as network effects
It has been proposed that chaos can serve as a reservoir providing an infinite number of dynamical states [1, 2, 3, 4, 5]. These can be interpreted as different behaviors, search a...
Carlos Lourenço