Sciweavers

159 search results - page 16 / 32
» 'Computer models of the mind are invalid'
Sort
View
EUROPAR
2010
Springer
14 years 9 months ago
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
Paul M. Carpenter, Alex Ramírez, Eduard Ayg...
GI
2009
Springer
14 years 9 months ago
Automated GUI Testing Validation guided by Annotated Use Cases
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Greg...
KBSE
1998
IEEE
15 years 3 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
SIPEW
2009
Springer
110views Hardware» more  SIPEW 2009»
15 years 6 months ago
A Note on the Effects of Service Time Distribution in the M/G/1 Queue
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
Alexandre Brandwajn, Thomas Begin
IJCNN
2006
IEEE
15 years 5 months ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel