Sciweavers

27913 search results - page 618 / 5583
» Simulation
Sort
View
ROBOCUP
2004
Springer
97views Robotics» more  ROBOCUP 2004»
15 years 11 months ago
The UT Austin Villa 2003 Champion Simulator Coach: A Machine Learning Approach
The UT Austin Villa 2003 simulated online soccer coach was a first time entry in the RoboCup Coach Competition. In developing the coach, the main research focus was placed on trea...
Gregory Kuhlmann, Peter Stone, Justin Lallinger
MEMOCODE
2003
IEEE
15 years 11 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
MSE
2003
IEEE
92views Hardware» more  MSE 2003»
15 years 11 months ago
On simulating the IP Market Dynamics in an Academic Environment Using SystemC
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...
Ghaiyyur Quraishi, Ravi Shankar
EUROGP
2003
Springer
259views Optimization» more  EUROGP 2003»
15 years 11 months ago
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Cha...
ICALP
2003
Springer
15 years 11 months ago
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
Stefan Blom, Wan Fokkink, Sumit Nain