Sciweavers

6050 search results - page 894 / 1210
» Information In The Non-Stationary Case
Sort
View
85
Voted
SEMWEB
2007
Springer
15 years 7 months ago
Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...
Serge Linckels, Harald Sack, Christoph Meinel
89
Voted
SEMWEB
2007
Springer
15 years 7 months ago
Enabling the Semantic Web with Ready-to-Use Web Widgets
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
Eetu Mäkelä, Kim Viljanen, Olli Alm, Jou...
105
Voted
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 7 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
113
Voted
UCS
2007
Springer
15 years 7 months ago
Mobility Helps Data Delivery in Disruption Tolerant Networks
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
Kaoru Sezaki, Niwat Thepvilojanapong, Yoshito Tobe
WADS
2007
Springer
115views Algorithms» more  WADS 2007»
15 years 7 months ago
Priority Queues Resilient to Memory Faults
In the faulty-memory RAM model, the content of memory cells can get corrupted at any time during the execution of an algorithm, and a constant number of uncorruptible registers are...
Allan Grønlund Jørgensen, Gabriel Mo...