310 search results - page 17 / 62 » Overview of WebCLEF 2005 |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
UML
2005
Springer
14 years 1 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Organizing the results of a search facilitates the user in overviewing the information returned. We regard the clustering task as the tasks of making labels for a list of items an...
PODS
2005
ACM
14 years 8 months ago
2005
ACM
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Distribution of media in the fast growing world of digital stored content and multimedia supporting devices with connectivity, calls for a new media distribution architecture. The...