Sciweavers

2946 search results - page 261 / 590
» Physical Modeling in MATLAB
Sort
View
TGC
2007
Springer
16 years 19 days ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova
WOWMOM
2005
ACM
98views Multimedia» more  WOWMOM 2005»
16 years 2 days ago
Intuitive Human Governance of Autonomic Pervasive Computing Environments
This paper proposes an intuitive configuration tool for autonomic pervasive computing systems. Specifically the paper presents a system for the inference of user task intentions f...
Tony O'Donnell, David Lewis, Vincent Wade
AUSAI
2005
Springer
16 years 2 days ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings
MATA
2005
Springer
154views Communications» more  MATA 2005»
16 years 1 days ago
A Co-designed Hardware/Software Architecture for Augmented Materials
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...
NIME
2005
Springer
159views Music» more  NIME 2005»
16 years 23 hour ago
Voice-controlled plucked bass guitar through two synthesis techniques
In this paper we present an example of the use of the singing voice as a controller for digital music synthesis. The analysis of the voice with spectral processing techniques, der...
Jordi Janer