Sciweavers

455 search results - page 28 / 91
» Towards an Extensible Argumentation System
Sort
View
CC
2004
Springer
134views System Software» more  CC 2004»
13 years 11 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
EON
2008
13 years 9 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
13 years 2 months ago
Networked clock synchronization based on second order linear consensus algorithms
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
Ruggero Carli, Sandro Zampieri
HICSS
2006
IEEE
130views Biometrics» more  HICSS 2006»
14 years 1 months ago
Towards a Methodology for the Development of Integrated IT Infrastructures
In this paper, the authors propose and validate a methodology for the development of integrated Information Technology (IT) infrastructures. The motivation for putting forward a n...
ATAL
2005
Springer
14 years 1 months ago
Towards a functional ontology of reputation
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...
Sara J. Casare, Jaime Simão Sichman