Sciweavers

4987 search results - page 320 / 998
» Fuzzifying P Systems
Sort
View
138
Voted
EMSOFT
2003
Springer
15 years 10 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
WISE
2002
Springer
15 years 9 months ago
Bus Catcher: a Context Sensitive Prototype System for Public Transportation Users
In this paper we describe the architectural and functional characteristics of Bus Catcher, a context sensitive prototype system for public transportation users. Bus Catcher assist...
Michela Bertolotto, Gregory M. P. O'Hare, Robin St...
SIGIR
2000
ACM
15 years 9 months ago
The Cambridge University multimedia document retrieval demo system
The Cambridge University Multimedia Document Retrieval Demo System is a web based application that allows the user to query a database of automatically generated transcripts of ra...
A. Tuerk, Sue E. Johnson, P. Jourlin, Karen Sparck...
126
Voted
WCET
2008
15 years 6 months ago
On Composable System Timing, Task Timing, and WCET Analysis
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
Peter P. Puschner, Martin Schoeberl
MVA
2000
150views Computer Vision» more  MVA 2000»
15 years 6 months ago
Real-Time Camera Parameter Estimation from Images for a Wearable Vision System
In this paper, we propose a method of estimating camera parameters for annotating 3D virtual objects with a wearable vision system. The proposed method tracks natural feature poin...
Takashi Okuma, Takeshi Kurata, Katsuhiko Sakaue