Sciweavers

2905 search results - page 342 / 581
» Formal Memetic Algorithms
Sort
View
AIM
2005
15 years 3 months ago
General Game Playing: Overview of the AAAI Competition
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...
Michael R. Genesereth, Nathaniel Love, Barney Pell
AML
2005
104views more  AML 2005»
15 years 3 months ago
Weak theories of linear algebra
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
Neil Thapen, Michael Soltys
JUCS
2007
88views more  JUCS 2007»
15 years 3 months ago
Internet Payment System: A New Payment System for Internet Transactions
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
Zoran Djuric, Ognjen Maric, Dragan Gasevic
VR
2008
IEEE
163views Virtual Reality» more  VR 2008»
15 years 3 months ago
Integrating Gyroscopes into Ubiquitous Tracking Environments
It is widely recognized that inertial sensors, in particular gyroscopes, can improve the latency and accuracy of orientation tracking by fusing the inertial measurements with data...
Daniel Pustka, Manuel Huber, Gudrun Klinker
CG
2004
Springer
15 years 3 months ago
Recursive turtle programs and iterated affine transformations
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
Tao Ju, Scott Schaefer, Ron Goldman