Sciweavers

20066 search results - page 344 / 4014
» T Spaces
Sort
View
HCI
2009
15 years 4 months ago
Emotion Detection: Application of the Valence Arousal Space for Rapid Biological Usability Testing to Enhance Universal Access
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
Christian Stickel, Martin Ebner, Silke Steinbach-N...
APLAS
2010
ACM
15 years 4 months ago
Metric Spaces and Termination Analyses
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
Aziem Chawdhary, Hongseok Yang
IOT
2010
15 years 4 months ago
Supporting interaction with the Internet of Things across objects, time and space
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
Fahim Kawsar, Gerd Kortuem, Bashar Altakrouri
CDC
2010
IEEE
138views Control Systems» more  CDC 2010»
15 years 1 months ago
Consensus in non-commutative spaces
Convergence analysis of consensus algorithms is revisited in the light of the Hilbert distance. The Lyapunov function used in the early analysis by Tsitsiklis is shown to be the Hi...
Rodolphe Sepulchre, Alain Sarlette, Pierre Rouchon
CMA
2011
15 years 1 months ago
Third-order family of methods in Banach spaces
Recently, Parida and Gupta [J. Comp. Appl. Math. 206 (2007), 873-877] used Rall’s recurrence relations approach (from 1961) to approximate roots of nonlinear equations, by develo...
Changbum Chun, Pantelimon Stanica, Beny Neta