675 search results - page 42 / 135 » What Is New in Our City |
105
Voted
TSE
2010
14 years 11 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
254
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Complex human activities occurring in videos can be defined in terms of temporal configurations of primitive actions. Prior work typically hand-picks the primitives, their total...
133
Voted
TKDE
2012
13 years 3 months ago
2012
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We examine the behavioral patterns of email usage in a large-scale enterprise over a three-month period. In particular, we focus on two main questions: (Q1) what do replies depend...
90
Voted
CSCW
2010
ACM
15 years 9 months ago
2010
ACM
People who review products on the web invest considerable time and energy in what they write. So why would someone write a review that restates earlier reviews? Our work looks to ...