Sciweavers

2555 search results - page 143 / 511
» Quantifiers and Working Memory
Sort
View
132
Voted
CIDR
2009
98views Algorithms» more  CIDR 2009»
15 years 4 months ago
From Declarative Languages to Declarative Processing in Computer Games
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin...
123
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
139
Voted
PDC
2004
ACM
15 years 9 months ago
Participatory design with individuals who have amnesia
We present experiences and insights into participatory design with individuals who have anterograde amnesia and therefore have extreme difficulty storing new memories. We discuss ...
Mike Wu, Brian Richards, Ronald Baecker
131
Voted
EUROCAST
2003
Springer
130views Hardware» more  EUROCAST 2003»
15 years 8 months ago
A Model of Neural Inspiration for Local Accumulative Computation
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
José Mira, Miguel Angel Fernández, M...
144
Voted
ICSEA
2007
IEEE
15 years 10 months ago
The Knowledge Based Software Process Improvement Program: A Rational Analysis
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
K. Alagarsamy, S. Justus, K. Iyakutti