7913 search results - page 1370 / 1583 » Information Collection on a Graph |
212
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
179
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
Semantic region labeling in outdoor scenes, e.g., identifying sky, grass, foliage, water, and snow, facilitates content-based image retrieval, organization, and enhancement. A maj...
151
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
153
click to vote
KCAP
2005
ACM
16 years 4 days ago
2005
ACM
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
175
click to vote
EUROPAR
2005
Springer
16 years 3 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...