Sciweavers

1317 search results - page 107 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
IROS
2008
IEEE
158views Robotics» more  IROS 2008»
16 years 24 days ago
A GPS and laser-based localization for urban and non-urban outdoor environments
— This paper introduces a localization based on GPS and laser measurements for urban and non-urban outdoor environments. In this approach, the GPS pose is Kalman filtered using w...
Matthias Hentschel, Oliver Wulf, Bernardo Wagner
163
Voted
MLQ
2002
83views more  MLQ 2002»
15 years 6 months ago
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
Nick Bezhanishvili
JOT
2007
123views more  JOT 2007»
15 years 6 months ago
The Systems Modeling Language for Products and Systems Development
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
Laurent Balmelli
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
15 years 12 months ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 4 months ago
Understanding and executing instructions for everyday manipulation tasks from the World Wide Web
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
Moritz Tenorth, Daniel Nyga, Michael Beetz