Sciweavers

1656 search results - page 307 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
ICFEM
2007
Springer
13 years 11 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
GCB
2006
Springer
158views Biometrics» more  GCB 2006»
13 years 11 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»
13 years 2 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
CVPR
2012
IEEE
11 years 10 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...
ESANN
2006
13 years 9 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