Sciweavers

7118 search results - page 1232 / 1424
» Electrical and Computer Engineering
Sort
View
WSC
2007
15 years 5 months ago
Generic simulation of automotive assembly for interoperability testing
Computer simulation is effective in improving the efficiency of manufacturing system design, operation, and maintenance. Most simulation models are usually tailored to address a n...
Deogratias Kibira, Charles R. McLean
ATAL
2008
Springer
15 years 5 months ago
Reusing models in multi-agent simulation with software components
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
Paulo Salem da Silva, Ana Cristina Vieira de Melo
ATAL
2008
Springer
15 years 5 months ago
So tell me what happened: turning agent-based interactive drama into comics
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
Tiago Alves, Ana Simões, Rui Figueiredo, Ma...
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 5 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
AUSAI
2008
Springer
15 years 5 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
« Prev « First page 1232 / 1424 Last » Next »