10916 search results - page 307 / 2184 » On Constructive Connectives and Systems |
203
Voted
SOCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
134
click to vote
ORL
2000
15 years 6 months ago
2000
Projected dynamical systems have been introduced by Dupuis and Nagurney as dynamic extensions of variational inequalities. In the systems and control literature, complementarity s...
162
click to vote
ECEASST
2010
15 years 4 months ago
2010
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
209
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...
161
click to vote
COLING
1996
15 years 8 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...