Sciweavers

2292 search results - page 189 / 459
» Structure preserving embedding
Sort
View
FQAS
2006
Springer
100views Database» more  FQAS 2006»
15 years 8 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 7 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 6 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
122
Voted
ERCIMDL
2008
Springer
136views Education» more  ERCIMDL 2008»
15 years 6 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 6 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,...