Sciweavers

194 search results - page 22 / 39
» Algebraic Laws for Feature Models
Sort
View
82
Voted
CORR
2002
Springer
93views Education» more  CORR 2002»
14 years 9 months ago
Modeling Complex Domains of Actions and Change
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
Antonis C. Kakas, Loizos Michael
IROS
2007
IEEE
123views Robotics» more  IROS 2007»
15 years 3 months ago
Visual servoing of an airplane for auto-landing
— In this paper, a visual servoing scheme is proposed to control an airplane during its landing. A linearized model of the airplane dynamics and decoupled visual features are use...
Odile Bourquardez, François Chaumette
CSL
2001
Springer
15 years 1 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
VLDB
1997
ACM
132views Database» more  VLDB 1997»
15 years 1 months ago
A Foundation for Multi-dimensional Databases
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
Marc Gyssens, Laks V. S. Lakshmanan
CIDR
2009
181views Algorithms» more  CIDR 2009»
14 years 10 months ago
The Case for RodentStore: An Adaptive, Declarative Storage System
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
Philippe Cudré-Mauroux, Eugene Wu, Samuel M...