734 search results - page 60 / 147 » Undecidability over Continuous Time |
CHI
1996
ACM
14 years 26 days ago
1996
ACM
If Computer-Supported Cooperative Work (CSCW) systems are to be successful over time, it will be necessary to promote ongoing and continuing activity, not just initial adoption. I...
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
Research on effective algorithms for efficient graph layout continues apace, and faster technology has led to increasing research on algorithms for the depiction of dynamic graphs ...
INTERSPEECH
2010
13 years 3 months ago
2010
This paper explores conversational grunts in a face-to-face setting. The study investigates the prosody and turn-taking effect of fillers and feedback tokens that has been annotat...
WOA
2007
13 years 9 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...