1054 search results - page 22 / 211 » Translation Validation of System Abstractions |
167
click to vote
NLDB
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper describes a new technique for the direct translation of character n-grams for use in Cross-Language Information Retrieval systems. This solution avoids the nee...
148
click to vote
GLOBECOM
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...
176
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
155
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
142
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...