7820 search results - page 290 / 1564 » Formalization of Time and Space |
231
click to vote
SEMWEB
2004
Springer
16 years 23 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
192
click to vote
ECCC
2007
15 years 7 months ago
2007
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A substantially long round trip time (RTT) in space channel hurts TCP interactions between the sending and receiving ends. The Consultative Committee for Space Data Systems (CCS...
232
click to vote
GLVLSI
2003
IEEE
16 years 21 days ago
2003
IEEE
In this paper, we address the problem of the efficient exploration of the architectural design space for parameterized systems. Since the design space is multi-objective, our aim ...
202
click to vote
ICPP
2003
IEEE
16 years 21 days ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...