4099 search results - page 679 / 820 » A Framework for Interactive Proof |
155
click to vote
MMS
2008
15 years 4 months ago
2008
Authoring of multimedia content can be considered as composing media assets such as images, videos, text, and audio in time, space, and interaction into a coherent multimedia pres...
149
click to vote
RPTEL
2006
15 years 4 months ago
2006
Making learning part of life is an essential challenge for inventing the future of our societies. Lifelong learning is a necessity rather than a possibility or a luxury to be cons...
172
click to vote
TACAS
2012
Springer
13 years 12 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
164
click to vote
WSDM
2012
ACM
13 years 12 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
278
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Markov random field (MRF, CRF) models are popular in
computer vision. However, in order to be computationally
tractable they are limited to incorporate only local interactions
a...