Sciweavers

31387 search results - page 126 / 6278
» Abstracting abstract machines
Sort
View
WSC
2004
15 years 7 months ago
An Urban Terrain Abstraction to Support Decisionmaking Using Recursive Simulation
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...
John B. Gilmer Jr.
TECS
2008
119views more  TECS 2008»
15 years 6 months ago
Fast exploration of bus-based communication architectures at the CCATB abstraction
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane
JACM
2007
160views more  JACM 2007»
15 years 6 months ago
Lossless abstraction of imperfect information games
abstraction of imperfect information games ANDREW GILPIN and TUOMAS SANDHOLM Computer Science Department Carnegie Mellon University Pittsburgh, PA, USA Finding an equilibrium of an...
Andrew Gilpin, Tuomas Sandholm
IANDC
2010
141views more  IANDC 2010»
15 years 5 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner
JOCN
2010
74views more  JOCN 2010»
15 years 4 months ago
Developmental Specialization in the Right Intraparietal Sulcus for the Abstract Representation of Numerical Magnitude
or the Abstract Representation of Numerical Magnitude Ian D. Holloway1,2 and Daniel Ansari1,2 use number is an abstract quality of a set, the way in which a number is externally r...
Ian D. Holloway, Daniel Ansari