Sciweavers

1656 search results - page 307 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
ICFEM
2007
Springer
15 years 1 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»
15 years 1 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 4 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
13 years 5 days 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
14 years 11 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