3053 search results - page 186 / 611 » Structured Objects: Modeling and Reasoning |
139
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
140
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
123
click to vote
ICCCI
2009
Springer
15 years 10 months ago
2009
Springer
Ionic channels are among the most difficult proteins for experimental structure determining, very few of them has been resolved. Bioinformatical tools has not been tested for this ...
130
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
Virtually all structured light methods assume that the scene and the sources are immersed in pure air and that light is neither scattered nor absorbed. Recently, however, structur...
116
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...