256 search results - page 42 / 52 » The Usefulness of Logical Structure in Flexible Document Cat... |
JUCS
2006
13 years 8 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ENVSOFT
2002
13 years 8 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
ECMDAFA
2010
Springer
13 years 8 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...