10539 search results - page 371 / 2108 » On L |
198
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
136
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
167
Voted
ARVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
Researchers at Oak Ridge National Laboratory (ORNL) are developing selectively coated cantilever arrays in a surface-micromachined MEMS process for very high sensitivities in chem...
175
Voted
WIA
1998
Springer
15 years 11 months ago
1998
Springer
A cover-automaton A of a finite language L is a finite automaton that accepts all words in L and possibly other words that are longer than any word in L. A minimal deterministic co...
179
click to vote
DCG
2006
15 years 6 months ago
2006
Let B be a Borel set in Ed with volume V (B) = . It is shown that almost all lattices L in Ed contain infinitely many pairwise disjoint d-tuples, that is sets of d linearly indepen...