2243 search results - page 91 / 449 » Contracts for Mobile Processes |
136
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a generalized framework, termed “stochastic cloning,” for processing relative state measurements within a Kalman filter estimator. The main motivation a...
203
click to vote
PRL
2002
15 years 6 months ago
2002
The "fly algorithm" is a fast artificial evolution-based technique devised for the exploration of parameter space in pattern recognition applications. In the application...
144
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Controlled electrical stimulation of the retina can result in visual percepts in blind patients. In contrast to the over 100,000,000 photoreceptors in a healthy retina, even hu...
177
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
156
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...