Sciweavers

4894 search results - page 540 / 979
» Choices
Sort
View
AIME
2007
Springer
16 years 1 months ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
ARC
2007
Springer
169views Hardware» more  ARC 2007»
16 years 1 months ago
Designing Heterogeneous FPGAs with Multiple SBs
Abstract. The novel design of high-speed and low-energy FPGA routing architecture consisting of appropriate wire segments and multiple Switch Boxes is introduced. For that purpose,...
Kostas Siozios, Stelios Mamagkakis, Dimitrios Soud...
ATAL
2007
Springer
16 years 1 months ago
Argumentation over ontology correspondences in MAS
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
Loredana Laera, Ian Blacoe, Valentina A. M. Tamma,...
B
2007
Springer
16 years 1 months ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
BTW
2007
Springer
189views Database» more  BTW 2007»
16 years 1 months ago
Reconsidering Consistency Management in Shared Data Spaces for Emergency and Rescue Applications
: Efficient information sharing is very important for emergency and rescue operations. These operations often have to be performed in environments where no communication infrastruc...
Thomas Plagemann, Ellen Munthe-Kaas, Vera Goebel