5550 search results - page 926 / 1110 » Different Approaches to Proof Systems |
222
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
192
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
208
click to vote
LREC
2008
15 years 8 months ago
2008
The availability of a huge mass of textual data in electronic format has increased the need for fast and accurate techniques for textual data processing. Machine learning and stat...
157
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
218
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...