5550 search results - page 389 / 1110 » Different Approaches to Proof Systems |
222
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
161
click to vote
ACL
2012
13 years 9 months ago
2012
Social media language contains huge amount and wide variety of nonstandard tokens, created both intentionally and unintentionally by the users. It is of crucial importance to norm...
183
Voted
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
201
Voted
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...
193
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...