Sciweavers

2981 search results - page 296 / 597
» Answer Set Planning
Sort
View
ICSE
1997
IEEE-ACM
15 years 9 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
ACIVS
2008
Springer
15 years 6 months ago
An Evaluation Methodology for Image Mosaicing Algorithms
Several image mosaicing algorithms claiming to advance the state of the art have been proposed so far. Though sometimes improvements can be recognised without quantitative evidence...
Pietro Azzari, Luigi di Stefano, Stefano Mattoccia
COLT
2008
Springer
15 years 6 months ago
High-Probability Regret Bounds for Bandit Online Linear Optimization
We present a modification of the algorithm of Dani et al. [8] for the online linear optimization problem in the bandit setting, which with high probability has regret at most O ( ...
Peter L. Bartlett, Varsha Dani, Thomas P. Hayes, S...
DAWAK
2008
Springer
15 years 6 months ago
The Evaluation of Sentence Similarity Measures
The ability to accurately judge the similarity between natural language sentences is critical to the performance of several applications such as text mining, question answering, an...
Palakorn Achananuparp, Xiaohua Hu, Xiajiong Shen
FAW
2008
Springer
225views Algorithms» more  FAW 2008»
15 years 6 months ago
Versioning Tree Structures by Path-Merging
We propose path-merging as a refinement of techniques used to make linked data structures partially persistent. Path-merging supports bursts of operations between any two adjacent ...
Khaireel A. Mohamed, Tobias Langner, Thomas Ottman...