Sciweavers

2292 search results - page 189 / 459
» Structure preserving embedding
Sort
View
FQAS
2006
Springer
100views Database» more  FQAS 2006»
15 years 10 months ago
Highly Heterogeneous XML Collections: How to Retrieve Precise Results?
Abstract. Highly heterogeneous XML collections are thematic collections exploiting different structures: the parent-child or ancestor-descendant relationships are not preserved and...
Ismael Sanz, Marco Mesiti, Giovanna Guerrini, Rafa...
ZUM
2000
Springer
15 years 10 months ago
Formal Methods for Industrial Products
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
Susan Stepney, David Cooper
AIPS
2008
15 years 8 months ago
Additive-Disjunctive Heuristics for Optimal Planning
The development of informative, admissible heuristics for cost-optimal planning remains a significant challenge in domain-independent planning research. Two techniques are commonl...
Andrew Coles, Maria Fox, Derek Long, Amanda Smith
ERCIMDL
2008
Springer
136views Education» more  ERCIMDL 2008»
15 years 8 months ago
Access to Archival Finding Aids: Context Matters
We detail the design of a search engine for archival finding aids based on an XML database system. The resulting system shows results--which can vary in granularity from individual...
Junte Zhang, Khairun Nisa Fachry, Jaap Kamps
FDTC
2008
Springer
160views Cryptology» more  FDTC 2008»
15 years 8 months ago
Error Detection for Borrow-Save Adders Dedicated to ECC Unit
Differential Fault Analysis (DFA) is a real threat for elliptic curve cryptosystems. This paper describes an elliptic curve cryptoprocessor unit resistant against fault injection....
Julien Francq, Jean-Baptiste Rigaud, Pascal Manet,...