1364 search results - page 239 / 273 » Comparative Branching-Time Semantics |
145
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Social annotation via so-called collaborative tagging describes the process by which many users add metadata in the form of unstructured keywords to shared content. In this paper,...
155
Voted
ICMCS
2010
IEEE
15 years 2 months ago
2010
IEEE
In saliency detection, regions attracting visual attention need to be highlighted while effectively suppressing non-salient regions for the semantic scene understanding. However, ...
137
Voted
IJAR
2010
15 years 2 months ago
2010
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
130
Voted
JOT
2010
15 years 2 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
115
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...