Sciweavers

12487 search results - page 325 / 2498
» Graspable Work Modeling
Sort
View
OZCHI
2009
ACM
15 years 11 months ago
Having fun at home: interleaving fieldwork and goal models
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...
Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterl...
VMCAI
2009
Springer
15 years 11 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
CEC
2009
IEEE
15 years 11 months ago
Modelling and simulation of granuloma formation in visceral leishmaniasis
— Visceral leishmaniasis is a parasitic disease that is usually fatal if untreated. Host resistance is thought to involve the accumulation of inflammatory cells into structures ...
Anton J. Flugge, Jon Timmis, Paul S. Andrews, John...
ICASSP
2009
IEEE
15 years 11 months ago
Pitch bends and tonguing articulation in clarinet physical modeling synthesis
A physical modeling approach is used to investigate playing effects in woodwind instruments. This builds upon prior work concerning both empirical studies of the acoustics of the ...
Mark Sterling, Xiaoxiao Dong, Mark Bocko
142
Voted
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
15 years 11 months ago
Modeling mobile robot motion with polar representations
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
Joseph Djugash, Sanjiv Singh, Ben Grocholsky