6608 search results - page 1277 / 1322 » On the Completeness of Model Checking |
147
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
163
click to vote
RECOMB
2007
Springer
15 years 9 months ago
2007
Springer
A complete understanding of transcriptional regulatory processes in the cell requires identification of transcription factor binding sites on a genomewide scale. Unfortunately, th...
134
Voted
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
134
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
141
click to vote
WISTP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...