Sciweavers

821 search results - page 86 / 165
» A Model Driven Approach to the Analysis of Timeliness Proper...
Sort
View
GCB
2006
Springer
158views Biometrics» more  GCB 2006»
15 years 3 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
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
15 years 4 months ago
Synthesis for Logical Initializability of Synchronous Finite State Machines
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
Montek Singh, Steven M. Nowick
JCC
2002
88views more  JCC 2002»
14 years 11 months ago
Pattern recognition strategies for molecular surfaces. I. Pattern generation using fuzzy set theory
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...
Thomas E. Exner, Matthias Keil, Jürgen Brickm...
AAAI
2012
13 years 2 months ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...
84
Voted
WWW
2004
ACM
16 years 16 days ago
A hybrid approach for searching in the semantic web
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
Cristiano Rocha, Daniel Schwabe, Marcus Poggi de A...