598 search results - page 95 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
VLSISP
2008
14 years 10 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
102
click to vote
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Our work concerns the elucidation of the cancer (epi)genome, transcriptome and proteome to better understand the complex interplay between a cancer cell's molecular state and ...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
FM
2003
Springer
15 years 3 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...