883 search results - page 75 / 177 » The Semantics of Verilog Using Transition System Combinators |
RECOMB
2003
Springer
14 years 9 months ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
IGPL
2010
13 years 7 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
COSIT
2001
Springer
14 years 1 months ago
2001
Springer
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...