9390 search results - page 257 / 1878 » 'Interactivity' - Tracking a New Concept |
281
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
168
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
149
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Facing new tasks, the conventional rigid design of robotic joints has come to its limits. Operating in unknown environments current robots are prone to failure when hitting unf...
159
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
This paper studies people recommendations designed to help users find known, offline contacts and discover new friends on social networking sites. We evaluated four recommender al...
168
click to vote
AVI
2010
15 years 8 months ago
2010
The use of transparencies is a common strategy in visual representations to guarantee the visibility of different overlapping graphical objects, especially, if no visibility-decid...