1661 search results - page 160 / 333 » Real-time specification patterns |
122
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Profile Hidden Markov Models (HMM) are statistical representations of protein families derived from patterns of sequence conservation in multiple alignments and have b...
96
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In order to realize accurate camera-based character recognition, machine-readable class information is embedded into each character image. Specifically, each character image is pr...
115
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are of interest in quantum computing, optical computing...
101
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
116
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...