Sciweavers

5707 search results - page 243 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
TCIAIG
2010
15 years 1 months ago
Learning to Drive in the Open Racing Car Simulator Using Online Neuroevolution
In this paper, we applied online neuroevolution to evolve nonplayer characters for The Open Racing Car Simulator (TORCS). While previous approaches allowed online learning with per...
Luigi Cardamone, Daniele Loiacono, Pier Luca Lanzi
WWW
2008
ACM
16 years 7 months ago
Towards context-aware semantic web service discovery through conceptual situation spaces
Context-awareness is highly desired across several application domains. Semantic Web Services (SWS) enable the automatic discovery of distributed Web services based on comprehensi...
Stefan Dietze, Alessio Gugliotta, John Domingue
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 11 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
188
Voted
JAIR
2010
130views more  JAIR 2010»
15 years 5 months ago
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
Bonny Banerjee, B. Chandrasekaran
SIGSOFT
2010
ACM
15 years 4 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan