Sciweavers

157 search results - page 13 / 32
» Reconsidering the
Sort
View
SARA
2005
Springer
14 years 1 months ago
Compositional Derivation of Symmetries for Constraint Satisfaction
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
ICAISC
2004
Springer
14 years 1 months ago
Requirements and Solutions for Web-Based Expert System
The advent of the Internet has strongly influenced modern software systems. Existing intranet solutions are being gradually replaced with www services available everywhere and at ...
Maciej Grzenda, Marcin Niemczak
CSB
2003
IEEE
14 years 1 months ago
A New Similarity Measure among Protein Sequences
Protein sequence analysis is an important tool to decode the logic of life. One of the most important similarity measures in this area is the edit distance between amino acids of ...
Kuen-Pin Wu, Hsin-Nan Lin, Ting-Yi Sung, Wen-Lian ...
CRYPTO
2003
Springer
95views Cryptology» more  CRYPTO 2003»
14 years 1 months ago
Plaintext Awareness via Key Registration
Abstract. In this paper, we reconsider the notion of plaintext awareness. We present a new model for plaintext-aware encryption that is both natural and useful. We achieve plaintex...
Jonathan Herzog, Moses Liskov, Silvio Micali
ERCIMDL
2003
Springer
90views Education» more  ERCIMDL 2003»
14 years 1 months ago
Users and Uses of Online Digital Libraries in France
This article presents a study of online digital library (DL) uses, based on three data sources (online questionnaire, Internet traffic data and interviews). We show that DL users d...
Houssem Assadi, Thomas Beauvisage, Catherine Lupov...