Sciweavers

2251 search results - page 272 / 451
» Specification and Implementation Problems for C
Sort
View
ICFP
2008
ACM
16 years 4 months ago
NixOS: a purely functional Linux distribution
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
Andres Löh, Eelco Dolstra
CVPR
2010
IEEE
16 years 1 months ago
Parallel and Distributed Graph Cuts by Dual Decomposition
Graph cuts methods are at the core of many state-of-theart algorithms in computer vision due to their efficiency in computing globally optimal solutions. In this paper, we solve t...
Petter Strandmark, Fredrik Kahl
147
Voted
EKAW
2006
Springer
15 years 8 months ago
SemSearch: A Search Engine for the Semantic Web
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....
Yuangui Lei, Victoria S. Uren, Enrico Motta
ECEASST
2008
110views more  ECEASST 2008»
15 years 4 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
CVPR
2001
IEEE
16 years 6 months ago
Optimal Adaptive Learning for Image Retrieval
Learning-enhanced relevance feedback is one of the most promising and active research directions in recent year's content-based image retrieval. However, the existing approac...
Tao Wang, Yong Rui, Shi-Min Hu