Sciweavers

2215 search results - page 93 / 443
» Wide open spaces
Sort
View
ICADL
2005
Springer
108views Education» more  ICADL 2005»
15 years 3 months ago
Harvesting for Full-Text Retrieval
Abstract. We propose an approach to Distributed Information Retrieval based on the periodic and incremental centralisation of full-text indices of widely dispersed and autonomously...
Fabio Simeoni, Murat Yakici, Steve Neely, Fabio Cr...
WADS
2005
Springer
122views Algorithms» more  WADS 2005»
15 years 3 months ago
Parameterized Complexity of Generalized Vertex Cover Problems
Important generalizations of the Vertex Cover problem (Connected Vertex Cover, Capacitated Vertex Cover, and Maximum Partial Vertex Cover) have been intensively studied in terms of...
Jiong Guo, Rolf Niedermeier, Sebastian Wernicke
ADC
2004
Springer
97views Database» more  ADC 2004»
15 years 3 months ago
Static Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
Ce Dong, James Bailey
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 3 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky
JSAT
2010
87views more  JSAT 2010»
14 years 4 months ago
The Sat4j library, release 2.2
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
Daniel Le Berre, Anne Parrain