1054 search results - page 99 / 211 » From a Verified Kernel towards Verified Systems |
170
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
152
click to vote
DCC
2008
IEEE
16 years 5 months ago
2008
IEEE
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...
135
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
— In this paper we present four methods for the identification of the inertial parameters of the load of a manipulator. The knowledge of the values of these parameters can be use...
139
click to vote
IEEECIT
2006
IEEE
16 years 10 days ago
2006
IEEE
Through as an important part of service-oriented system architecture, service retrieval receives much attention from industry and academia and many methods have been proposed, the...
174
click to vote
NAACL
2004
15 years 7 months ago
2004
This paper describes the application of discriminative reranking techniques to the problem of machine translation. For each sentence in the source language, we obtain from a basel...