5799 search results - page 284 / 1160 » Position Paper |
115
Voted
IPL
2008
15 years 4 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
144
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....
132
click to vote
JIPS
2008
15 years 4 months ago
2008
: This paper deals with the geometric fitting algorithms for parametric curves and surfaces in 2-D/3-D space, which estimate the curve/surface parameters by minimizing the square s...
121
click to vote
ET
2007
15 years 4 months ago
2007
In this paper, testing of radio frequency (RF) devices with mixed-signal testers is discussed. General purpose automatic test equipment (ATE) will be used for this. A global posit...
112
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...