8828 search results - page 1416 / 1766 » Formal methods in practice |
197
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes a method for identifying an object which contains an accelerometer out of many moving objects in the view of a stationary camera using motion data obtained ...
207
click to vote
QEST
2006
IEEE
16 years 27 days ago
2006
IEEE
Spectral expansion and matrix analytic methods are important solution mechanisms for matrix polynomial equations. These equations are encountered in the steady-state analysis of M...
185
click to vote
MOBIHOC
2006
ACM
16 years 25 days ago
2006
ACM
A large number of practical sensing and actuating applications require immediate notification of rare but urgent events and also fast delivery of time sensitive actuation command...
186
click to vote
VLDB
2004
ACM
16 years 7 days ago
2004
ACM
Link analysis methods show that the interconnections between web pages have lots of valuable information. The link analysis methods are, however, inherently oriented towards analy...
214
click to vote
FATES
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...