6894 search results - page 333 / 1379 » Generation Problems |
160
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper describes a unique approach of applying a pattern classification technique to robot path planning. A collision-free path connecting a start and a goal point provide...
200
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
178
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Recently much research has focused on both the supply chain and reverse logistics network design problem. The rapid progress in computer and network technology and the increasingly...
155
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Various semi-supervised learning methods have been proposed recently to solve the long-standing shortage problem of manually labeled data in sentiment classification. However, mos...
153
click to vote
AIPS
2003
15 years 8 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...