9989 search results - page 1797 / 1998 » A CLP Approach to Modelling Systems |
150
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
158
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
181
click to vote
EKAW
1992
Springer
15 years 9 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
137
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
142
click to vote
DIMVA
2006
15 years 6 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...