9018 search results - page 1565 / 1804 » 3D-Brain Model Software |
248
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
158
click to vote
AAAI
2007
15 years 7 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
280
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
138
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
We evaluate two systems for automatically generating personalized interfaces adapted to the individual motor capabilities of users with motor impairments. The first system, SUPPLE...
159
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...