Sciweavers

2478 search results - page 127 / 496
» Quadtrees as an Abstract Domain
Sort
View
ICWE
2004
Springer
14 years 1 months ago
Engineering a Semantic Web for Pathology
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....
Robert Tolksdorf, Elena Paslaru Bontas
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 1 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
PARA
2004
Springer
14 years 1 months ago
Improving the Performance of Large-Scale Unstructured PDE Applications
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...
Xing Cai
ROBOCUP
2004
Springer
108views Robotics» more  ROBOCUP 2004»
14 years 1 months ago
Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
Jeremy Searock, Brett Browning, Manuela M. Veloso
EGOV
2003
Springer
14 years 1 months ago
Semantic Web for e-Government
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
Ralf Klischewski