3677 search results - page 91 / 736 » Generalized Adaptive A* |
151
click to vote
DM
2008
15 years 6 months ago
2008
Many interesting combinatorial objects are enumerated by the k-Catalan numbers, one possible generalization of the Catalan numbers. We will present a new combinatorial object that...
171
click to vote
AIEDAM
2000
15 years 6 months ago
2000
In designing a state space of possible designs is implied by the representation used and the computational processes that operate on that representation. GAs are a means of effect...
154
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The goal of this work is to take an image such as the one in Figure 1(a), detect a human figure, and localize his joints and limbs (b) along with their associated pixel masks (c)....
146
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Computer Science, as a single discipline, can no longer speak to the broad relevance of digital technologies in society. The Department of Informatics in the Donald Bren School of...
168
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...