688 search results - page 102 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
154
click to vote
GIAE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
167
click to vote
ICDAR
2009
IEEE
16 years 14 days ago
2009
IEEE
This communication presents an effective method for writer recognition in handwritten documents. We have introduced a set of features that are extracted from the contours of handw...
142
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
165
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
164
Voted
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...