5234 search results - page 407 / 1047 » Method Components - Rationale Revealed |
135
click to vote
EUSAI
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we describe methods to localize a mobile robot in an indoor environment from visual information. An appearance-based approach is adopted in which the environment is ...
136
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
182
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
192
Voted
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
177
Voted
MCSS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract Braided convolutional codes (BCCs) form a class of iteratively decodable convolutional codes that are constructed from component convolutional codes. In braided code divis...