6608 search results - page 1277 / 1322 » On the Completeness of Model Checking |
196
click to vote
ICCS
2007
Springer
16 years 24 days 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...
205
click to vote
RECOMB
2007
Springer
16 years 23 days 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...
167
click to vote
SAMOS
2007
Springer
16 years 22 days 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 ...
176
click to vote
SEMWEB
2007
Springer
16 years 22 days 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 ...
197
click to vote
WISTP
2007
Springer
16 years 22 days 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 ...