Sciweavers

43264 search results - page 8271 / 8653
» Comparing models of computation
Sort
View
BCSHCI
2009
15 years 7 months ago
Putting the physical into the digital: issues in designing hybrid interactive surfaces
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
David S. Kirk, Abigail Sellen, Stuart Taylor, Nico...
ATAL
2010
Springer
15 years 7 months ago
Developing high-level cognitive functions for service robots
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang ...
ATAL
2010
Springer
15 years 7 months ago
Evaluating directorial control in a character-centric interactive narrative framework
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
Mei Si, Stacy C. Marsella, David V. Pynadath
CSL
2010
Springer
15 years 7 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
DAWAK
2010
Springer
15 years 7 months ago
Using Transitivity to Increase the Accuracy of Sample-Based Pearson Correlation Coefficients
Abstract. Pearson product-moment correlation coefficients are a wellpracticed quantification of linear dependence seen across many fields. When calculating a sample-based correlati...
Taylor Phillips, Chris GauthierDickey, Ramki Thuri...
« Prev « First page 8271 / 8653 Last » Next »