2314 search results - page 150 / 463 » Monoids over domains |
100
Voted
INTERACT
2003
15 years 3 months ago
2003
: An overview over the present situation in the domain of HCI in Switzerland is given. The history of our active group is provided, connections to related societies are shown and t...
119
Voted
JFPLC
2000
15 years 3 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
107
click to vote
ACL
1990
15 years 3 months ago
1990
We present a new grammatical formalism called Constraint Dependency Grammar (CDG) in which every grammatical rule is given as a constraint on wordto-word modifications. CDG parsin...
114
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
109
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive dis...