4488 search results - page 299 / 898 » Focusing Search by Using Problem Solving Experience |
140
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
140
click to vote
HAIS
2008
Springer
15 years 5 months ago
2008
Springer
The widespread use of artificial neural networks and the difficult work regarding the correct specification (tuning) of parameters for a given problem are the main aspects that mot...
142
click to vote
COR
2006
15 years 4 months ago
2006
Crossdocking studies have mostly been concerned with the physical layout of a crossdock or on a single crossdock. In this work, we study a network of crossdocks taking into consid...
122
click to vote
AAAI
1997
15 years 6 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
135
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
It has been shown recently that deterministic conformant planning problems can be translated into classical problems that can be solved by off-the-shelf classical planners. In this...