1937 search results - page 67 / 388 » Starting B Specifications from Use Cases |
127
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
141
click to vote
BMCBI
2007
15 years 4 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...
139
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
154
click to vote
WOB
2004
15 years 5 months ago
2004
There are many bioinformatics tools that deal with input/ output (I/O) issues by using filing systems from the most common operating systems, such as Linux or MS Windows. However, ...
120
click to vote
LREC
2008
15 years 5 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...