Sciweavers

1140 search results - page 171 / 228
» Progress on Certifying Algorithms
Sort
View
98
Voted
LKR
2008
15 years 2 months ago
On the Representation of Perceptual Knowledge for Understanding Reference Expressions
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
Philipp Spanger, Takenobu Tokunaga
130
Voted
AAAI
2006
15 years 2 months ago
Planning with First-Order Temporally Extended Goals using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
Jorge A. Baier, Sheila A. McIlraith
103
Voted
AIPS
2006
15 years 2 months ago
Planning with Temporally Extended Goals Using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
Jorge A. Baier, Sheila A. McIlraith
106
Voted
BIOCOMP
2006
15 years 2 months ago
Computational Inference of Compound-induced Anti-inflammatory Effects Across Time in an Adjuvant-induced Arthritis Rat Model
A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...
Jing Yu, Gabriel Helmlinger, Muriel Saulnier, Anna...
133
Voted
DAGSTUHL
2006
15 years 2 months ago
Many-to-Many Feature Matching in Object Recognition
One of the bottlenecks of current recognition (and graph matching) systems is their assumption of one-to-one feature (node) correspondence. This assumption breaks down in the gener...
Ali Shokoufandeh, Yakov Keselman, M. Fatih Demirci...