2243 search results - page 91 / 449 » Contracts for Mobile Processes |
102
Voted
ICRA
2002
IEEE
15 years 8 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...
162
click to vote
PRL
2002
15 years 3 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...
104
click to vote
ISCAS
2005
IEEE
15 years 9 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...
136
Voted
MDM
2004
Springer
15 years 9 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...
131
Voted
UML
2004
Springer
15 years 9 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...