7066 search results - page 160 / 1414 » Contact Relations with Applications |
106
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
The necessity of a subject–machine–object interaction (SMOI) reference model and its application in electronic publishing of the objects of our culture is considered. The comp...
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper deals with products of moderate-size primes, familiarly known as smooth numbers. Smooth numbers play an crucial role in information theory, signal processing and crypto...
165
Voted
AI
2010
Springer
15 years 4 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
152
click to vote
LATA
2009
Springer
15 years 11 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
162
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...