Sciweavers

396 search results - page 40 / 80
» A First Investigation into the Effectiveness of Tactons
Sort
View
AIPS
2003
15 years 1 months ago
Expressive Equivalence of Formalisms for Planning with Sensing
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...
Jussi Rintanen
WISE
2005
Springer
15 years 5 months ago
Evaluation of Result Merging Strategies for Metasearch Engines
Result merging is a key component in a metasearch engine. Once the results from various search engines are collected, the metasearch system merges them into a single ranked list. T...
Yiyao Lu, Weiyi Meng, Liangcai Shu, Clement T. Yu,...
AI
2006
Springer
15 years 3 months ago
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT
Stochastic local search (SLS) methods are underlying some of the best-performing algorithms for certain types of SAT instances, both from an empirical as well as from a theoretical...
Dave A. D. Tompkins, Holger H. Hoos
IWMM
2000
Springer
84views Hardware» more  IWMM 2000»
15 years 3 months ago
Designing a Trace Format for Heap Allocation Events
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
Trishul M. Chilimbi, Richard E. Jones, Benjamin G....
INEX
2004
Springer
15 years 5 months ago
The Interactive Track at INEX 2004
An interactive track was included in INEX for the first time in 2004. The main aim of the track was to study the behaviour of searchers when interacting with components of XML doc...
Anastasios Tombros, Birger Larsen, Saadia Malik