Sciweavers

5722 search results - page 562 / 1145
» Security Function Interactions
Sort
View
GLVLSI
2005
IEEE
133views VLSI» more  GLVLSI 2005»
15 years 12 months ago
Generating decision regions in analog measurement spaces
We develop a neural network that learns to separate the nominal from the faulty instances of a circuit in a measurement space. We demonstrate that the required separation boundari...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
INEX
2005
Springer
15 years 11 months ago
Field-Weighted XML Retrieval Based on BM25
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
Wei Lu, Stephen E. Robertson, Andrew MacFarlane
CAISE
2003
Springer
15 years 11 months ago
Coordination for Distributed Business Systems
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
Luis Filipe Andrade, José Luiz Fiadeiro, An...
WEBDB
1999
Springer
131views Database» more  WEBDB 1999»
15 years 10 months ago
Adapter Generation for Extracting and Querying Data from Web
Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into querie...
Kai-Uwe Sattler, Michael Höding
CIE
2006
Springer
15 years 10 months ago
Coinductive Proofs for Basic Real Computation
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
Tie Hou