Sciweavers

10462 search results - page 1707 / 2093
» Toward the
Sort
View
AO
2007
124views more  AO 2007»
15 years 7 months ago
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system
In open heterogeneous multi-agent systems, communication is hampered by lack of common ontologies. Ontologies may differ in naming conventions, granularity and scope. In such an en...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
ASE
2008
102views more  ASE 2008»
15 years 7 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
BMCBI
2010
120views more  BMCBI 2010»
15 years 7 months ago
Optimal contact definition for reconstruction of Contact Maps
Background: Contact maps have been extensively used as a simplified representation of protein structures. They capture most important features of a protein's fold, being pref...
Jose M. Duarte, Rajagopal Sathyapriya, Henning Ste...
CCR
2010
131views more  CCR 2010»
15 years 7 months ago
DECOR: DEClarative network management and OpeRation
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
CG
2010
Springer
15 years 7 months ago
An evaluation of descriptors for large-scale image retrieval from sketched feature lines
We address the problem of fast, large scale sketch-based image retrieval, searching in a database of over one million images. We show that current retrieval methods do not scale w...
Mathias Eitz, Kristian Hildebrand, Tamy Boubekeur,...
« Prev « First page 1707 / 2093 Last » Next »