7118 search results - page 940 / 1424 » Electrical and Computer Engineering |
203
click to vote
DKE
2011
14 years 11 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
168
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
142
click to vote
PRESENCE
2010
14 years 11 months ago
2010
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
126
click to vote
VLSISP
2010
14 years 11 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
189
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...