3215 search results - page 153 / 643 » Content Models with Attitude |
181
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
195
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion is one of the most important types of information contained in natural video, but direct use of motion information in the design of video quality assessment algorithms has ...
173
Voted
WSFM
2007
Springer
16 years 1 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
147
Voted
ICALT
2005
IEEE
16 years 20 days ago
2005
IEEE
The purpose of this paper is to present the current state and future development of the PLATINEA project. This project allows students and teachers to create and to consolidate kn...
186
click to vote
ICWSM
2010
15 years 8 months ago
2010
As microblogging grows in popularity, services like Twitter are coming to support information gathering needs above and beyond their traditional roles as social networks. But most...