Sciweavers

5377 search results - page 861 / 1076
» Programming Languages For Interactive Computing
Sort
View
129
Voted
TCS
2008
15 years 3 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
116
Voted
PERCOM
2006
ACM
16 years 3 months ago
Balancing Autonomy and User Control in Context-Aware Systems - a Survey
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
Bob Hardian, Jadwiga Indulska, Karen Henricksen
150
Voted
FOSSACS
2010
Springer
15 years 10 months ago
Solvability in Resource Lambda-Calculus
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
Michele Pagani, Simona Ronchi Della Rocca
130
Voted
HAPTICS
2009
IEEE
15 years 10 months ago
Performance improvement with haptic assistance: A quantitative assessment
We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
Chris Gunn, Warren Muller, Amitava Datta
127
Voted
AIED
2009
Springer
15 years 10 months ago
From Conceptual Models to Agent-based Simulations: Why and How
The core problem we address in this paper is how to take a declarative conceptual representation of a complex system and produce an agent-based simulation of that model. In particu...
Swaroop Vattam, Ashok K. Goel, Spencer Rugaber, Ci...