3719 search results - page 43 / 744 » RACER System Description |
DLOG
2007
15 years 2 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
108
click to vote
DCC
2004
IEEE
15 years 11 months ago
2004
IEEE
The public key cryptosystems MST1 and MST2 make use of certain kinds of factorizations of finite groups. We show that generalizing such factorizations to infinite groups allows a ...
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—This paper addresses the use of adaptive modulation in progressive image transmission with multiple description coding in conjunction with an Orthogonal Frequency Division Multi...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...