9989 search results - page 1957 / 1998 » A CLP Approach to Modelling Systems |
242
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
127
click to vote
ICWS
2009
IEEE
16 years 28 days ago
2009
IEEE
—The recent surge of popularity has established Mashups as an important category of Web 2.0 applications. Mashups are essentially Web services that are often created by end-users...
134
Voted
EUROSYS
2008
ACM
16 years 26 days ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
169
Voted
MIR
2010
ACM
15 years 10 months ago
2010
ACM
Most video retrieval systems are multimodal, commonly relying on textual information, low- and high-level semantic features extracted from query visual examples. In this work, we ...
161
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...