1364 search results - page 239 / 273 » Comparative Branching-Time Semantics |
125
click to vote
SAC
2008
ACM
15 years 1 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,...
140
click to vote
ICMCS
2010
IEEE
15 years 15 days 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, ...
126
click to vote
IJAR
2010
15 years 13 days 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...
115
click to vote
JOT
2010
15 years 12 days 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...
101
click to vote
KBSE
2010
IEEE
15 years 12 days 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...