Sciweavers

5470 search results - page 756 / 1094
» Enterprise Information Architecture
Sort
View
ESWS
2007
Springer
16 years 1 months ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...
FPL
2007
Springer
105views Hardware» more  FPL 2007»
16 years 29 days ago
A floating-point Extended Kalman Filter implementation for autonomous mobile robots
Localization and Mapping are two of the most important capabilities for autonomous mobile robots and have been receiving considerable attention from the scientific computing commu...
Vanderlei Bonato, Eduardo Marques, George A. Const...
ICANN
2007
Springer
16 years 29 days ago
SpikeStream: A Fast and Flexible Simulator of Spiking Neural Networks
SpikeStream is a new simulator of biologically structured spiking neural networks that can be used to edit, display and simulate up to 100,000 neurons. This simulator uses a combin...
David Gamez
MDM
2007
Springer
136views Communications» more  MDM 2007»
16 years 29 days ago
iPDA: Supporting Privacy-Preserving Location-Based Mobile Services
This demonstration presents iPDA, a system to support privacy-preserving data access in location-based mobile services. The iPDA system consists of three main components: 1) a mob...
Jing Du, Jianliang Xu, Xueyan Tang, Haibo Hu
MKM
2007
Springer
16 years 29 days ago
Context Aware Calculation and Deduction
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
Amine Chaieb, Makarius Wenzel