Sciweavers

1245 search results - page 87 / 249
» Playing with Conway's problem
Sort
View
ACSC
2005
IEEE
14 years 3 months ago
A Simulation Framework for Knowledge Acquisition Evaluation
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...
Tri M. Cao, Paul Compton
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
14 years 3 months ago
Power-aware slack distribution for hierarchical VLSI design
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...
Hyung-Ock Kim, Youngsoo Shin
BIRTHDAY
2005
Springer
14 years 3 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
DIGRA
2005
Springer
14 years 3 months ago
Build It to Understand It: Ludology Meets Narratology in Game Design Space
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...
Michael Mateas, Andrew Stern
EUROCAST
2005
Springer
131views Hardware» more  EUROCAST 2005»
14 years 3 months ago
Current and Future Trends and Challenges in Robot Soccer
Robot soccer has evolved into a very dynamic and competitive field within the last few years. Many different robot soccer leagues now exist, the league most strongly dedicated to e...
Norman Weiss, Bernd Reusch