Sciweavers

3706 search results - page 435 / 742
» OntoComP System Description
Sort
View
ISCAS
2005
IEEE
157views Hardware» more  ISCAS 2005»
16 years 6 days ago
Analog complex wavelet filters
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
Sandro A. P. Haddad, J. M. H. Karel, Ralf L. M. Pe...
ISWC
2005
IEEE
16 years 6 days ago
Wearable Technology for Crime Scene Investigation
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
Chris Baber, Paul Smith, James Cross, Damien Zasik...
QEST
2005
IEEE
16 years 6 days ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...
SEFM
2005
IEEE
16 years 6 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
SKG
2005
IEEE
16 years 6 days ago
Information Services for Dynamically Assembled Semantic Grids
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce