13383 search results - page 327 / 2677 » Abstractions from proofs |
173
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...
170
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
133
click to vote
DIS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
138
click to vote
ER
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
172
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...