1245 search results - page 68 / 249 » Playing with Conway's problem |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Extracting human postural information from video sequences has proved a difficult research question. The most successful approaches to date have been based on particle filtering, ...
STOC
2004
ACM
14 years 8 months ago
2004
ACM
The cut-norm ||A||C of a real matrix A = (aij)iR,jS is the maximum, over all I R, J S of the quantity | iI,jJ aij|. This concept plays a major role in the design of efficient app...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— The problem of how to create NPC AI for videogames that believably imitates particular human players is addressed. Previous approaches to learning player behaviour is found to ...
ICNSC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents an approach to the multiple sequence alignment (MSA) problem by applying genetic algorithms with a reserve selection mechanism. MSA is one of the most funda...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...