Sciweavers

3928 search results - page 127 / 786
» order 2006
Sort
View
AIL
2006
90views more  AIL 2006»
15 years 4 months ago
Deontic logics for prioritized imperatives
When a conflict of duties arises, a resolution is often sought by determining an ordering of priority or importance. This paper examines how such a conflict resolution works, compa...
Jörg Hansen
ANOR
2006
58views more  ANOR 2006»
15 years 4 months ago
A management system for decompositions in stochastic programming
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
Robert Fourer, Leo Lopes
AUTOMATICA
2006
68views more  AUTOMATICA 2006»
15 years 4 months ago
State and unknown input estimation for linear discrete-time systems
: This paper deals with a new type of estimator for discrete-time linear systems with unknown inputs. A constructive algorithm is given in order to analyze the state observability ...
Thierry Floquet, Jean-Pierre Barbot
CLEIEJ
2006
142views more  CLEIEJ 2006»
15 years 4 months ago
About the Performance of SQLf Evaluation Mechanisms
In order to make more flexible database access the query language SQLf has been previously proposed. One of the SQLf features is the use of Fuzzy Quantifiers in Having Clause. For...
Yosmar Lopez, Leonid Tineo
CLEIEJ
2006
120views more  CLEIEJ 2006»
15 years 4 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto