4228 search results - page 178 / 846 » Models and Methods in Comparative Genomics |
132
click to vote
IJCBDD
2010
15 years 2 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
118
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
138
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
116
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
An efficient training method for block-diagonal recurrent neural networks is proposed. The method modifies the RPROP algorithm, originally developed for static models, in order to...
143
click to vote
CVPR
2011
IEEE
15 years 8 days ago
2011
IEEE
2.5D building reconstruction aims at creating building models composed of complex roofs and vertical walls. In this paper, we define 2.5D building topology as a set of roof featu...