4767 search results - page 369 / 954 » Structures for Abstract Rewriting |
187
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
193
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
165
click to vote
IJCAT
2010
15 years 5 months ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
145
click to vote
IJRR
2010
15 years 5 months ago
2010
Abstract The problem of generating uniform deterministic samples over the rotation group, SO(3), is fundamental to many fields, such as computational structural biology, robotics,...
199
click to vote
IWSEC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...