Sciweavers

5234 search results - page 543 / 1047
» Method Components - Rationale Revealed
Sort
View
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
COMPLEXITY
2006
91views more  COMPLEXITY 2006»
15 years 7 months ago
The evolution of technology within a simple computer model
Technology--the collection of devices and methods available to human society--evolves by constructing new devices and methods from ones that previously exist, and in turn offering...
W. Brian Arthur, Wolfgang Polak
IJON
2006
95views more  IJON 2006»
15 years 7 months ago
Ensemble classifiers based on correlation analysis for DNA microarray classification
Since accurate classification of DNA microarray is a very important issue for the treatment of cancer, it is more desirable to make a decision by combining the results of various ...
Kyung-Joong Kim, Sung-Bae Cho
ICIP
2005
IEEE
16 years 8 months ago
Eigenwalks: walk detection and biometrics from symmetry patterns
In this paper we present a symmetry-based approach which can be used to detect humans and to extract biometric characteristics from video image-sequences. The method employs a simp...
Laszlo Havasi, Tamás Szirányi, Zolt&...
ICDE
2007
IEEE
167views Database» more  ICDE 2007»
16 years 8 months ago
GString: A Novel Approach for Efficient Search in Graph Databases
Graphs are widely used for modeling complicated data, including chemical compounds, protein interactions, XML documents, and multimedia. Information retrieval against such data ca...
Haoliang Jiang, Haixun Wang, Philip S. Yu, Shuigen...