713 search results - page 85 / 143 » Syntax and Semantics of Babel-17 |
104
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
110
Voted
ASP
2003
Springer
15 years 4 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
114
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
85
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
116
click to vote
KONVENS
2000
15 years 4 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...