Sciweavers

15860 search results - page 2650 / 3172
» Agent-Based Software Engineering
Sort
View
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 9 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
AIIDE
2008
15 years 8 months ago
OpenNERO: A Game Platform for AI Research and Education
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
Igor Karpov, John Sheblak, Risto Miikkulainen
ICIA
2007
15 years 8 months ago
An Intelligent Discussion-Bot for Guiding Student Interactions in Threaded Discussions
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...
Jihie Kim, Erin Shaw, Grace Chern, Donghui Feng
WSC
2007
15 years 8 months ago
Beyond the university: simulation education on the job
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
Peter Tag, David Krahl
WSC
2007
15 years 8 months ago
System and simulation modeling using SysML
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
Edward Huang, Randeep Ramamurthy, Leon F. McGinnis
« Prev « First page 2650 / 3172 Last » Next »