9989 search results - page 1957 / 1998 » A CLP Approach to Modelling Systems |
195
click to vote
POPL
2005
ACM
16 years 4 days 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...
ICWS
2009
IEEE
15 years 9 months 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...
EUROSYS
2008
ACM
15 years 9 months 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...
124
click to vote
MIR
2010
ACM
15 years 6 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 ...
117
click to vote
KDD
2009
ACM
15 years 6 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...