Sciweavers

1926 search results - page 120 / 386
» From P to MP Systems
Sort
View
EMSOFT
2003
Springer
15 years 3 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...
ICIP
2006
IEEE
15 years 11 months ago
Improved Multiplexed Image Reconstruction Performance Through Optical System Diversity Design
Multiplexed image reconstruction, estimating high resolution images from multiple low resolution images with highly overlapped fields of view, is improved when the magnification o...
Sally L. Wood, Hsueh-Ban Lan, Dinesh Rajan, Marc P...
IJCNN
2008
IEEE
15 years 4 months ago
An EEG-based BCI system for 2D cursor control
Abstract— In this paper, an electroencephalogram (EEG)based brain computer interface (BCI) is proposed for two dimensional cursor control. The horizontal and vertical movements o...
Yuanqing Li, Chuanchu Wang, Haihong Zhang, Cuntai ...
TECS
2008
94views more  TECS 2008»
14 years 10 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ACL
2010
14 years 8 months ago
Grammar Prototyping and Testing with the LinGO Grammar Matrix Customization System
This demonstration presents the LinGO Grammar Matrix grammar customization system: a repository of distilled linguistic knowledge and a web-based service which elicits a typologic...
Emily M. Bender, Scott Drellishak, Antske Fokkens,...