Sciweavers

3693 search results - page 251 / 739
» Paper on the Move
Sort
View
SSS
2007
Springer
106views Control Systems» more  SSS 2007»
16 years 20 days ago
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks
MDM
2009
Springer
15 years 11 months ago
WINFO+: Identification of Environment Condition Using Walking Signals
—In this paper we describe a prototype system of identifying environment condition utilizing signals emitted by people. Many people move around in many places such as urban and m...
Yasuyuki Ishida, Niwat Thepvilojanapong, Yoshito T...
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 10 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
ICASSP
2007
IEEE
15 years 8 months ago
Physics-Based Ball Tracking in Volleyball Videos with its Applications to Set Type Recognition and Action Detection
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
Hua-Tsung Chen, Hsuan-Sheng Chen, Suh-Yin Lee
PSYCHNOLOGY
2007
112views more  PSYCHNOLOGY 2007»
15 years 6 months ago
Extended Television: A Study of How Investigations of Use Can Inform Design Processes in Nursing Homes
This paper describes the shortcomings in the support that replaces the lost distributed cognition in older people who move to nursing homes and how artifacts can improve this by f...
Peter Abdelmassih Waller