Sciweavers

3224 search results - page 212 / 645
» Abstract Error Projection
Sort
View
LPAR
2007
Springer
16 years 29 days ago
Complexity of Planning in Action Formalisms Based on Description Logics
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
LSSC
2007
Springer
16 years 29 days ago
Comments on the GMRES Convergence for Preconditioned Systems
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
Nabil Gmati, Bernard Philippe
REFSQ
2007
Springer
16 years 28 days ago
Information Flow Between Requirement Artifacts. Results of an Empirical Study
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...
Stefan Winkler
ICRA
2005
IEEE
110views Robotics» more  ICRA 2005»
16 years 13 days ago
Backstepping and Sliding-mode Techniques Applied to an Indoor Micro Quadrotor
Abstract— The latest technological progress in sensors, actuators and energy storage devices enables the developments of miniature VTOL1 systems. In this paper we present the res...
Samir Bouabdallah, Roland Siegwart
WISE
2005
Springer
16 years 12 days ago
Semantic Web Technologies for Interpreting DNA Microarray Analyses: The MEAT System
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry