3828 search results - page 454 / 766 » Proof-Based System Engineering Using a Virtual System Model |
200
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
MapReduce is emerging as an important programming model for large-scale data-parallel applications such as web indexing, data mining, and scientific simulation. Hadoop is an open-...
185
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
192
click to vote
IJCAI
2007
15 years 8 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
162
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we describe our experience with collecting and creating an annotated corpus of multi-party online conversations in a chat-room environment. This effort is part of a...
181
Voted
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...