Sciweavers

5838 search results - page 389 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
150
Voted
SAC
2005
ACM
15 years 10 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
155
Voted
ISSS
2002
IEEE
141views Hardware» more  ISSS 2002»
15 years 10 months ago
An Accelerated Datapath Width Optimization Scheme for Area Reduction of Embedded Systems
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
Hiroto Yasuura, Yun Cao, Mohammad Mesbah Uddin
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 9 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris
166
Voted
JIRS
2008
100views more  JIRS 2008»
15 years 5 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
134
Voted
ATAL
2003
Springer
15 years 10 months ago
Integrating evolutionary computing and the SADDE methodology
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
Carles Sierra, Jordi Sabater, Jaume Agustí-...