3323 search results - page 132 / 665 » Computational Semantics with Functional Programming |
119
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
175
click to vote
HCI
1993
15 years 6 months ago
1993
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
151
click to vote
FLAIRS
2008
15 years 7 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
132
click to vote
MFCS
2004
Springer
15 years 10 months ago
2004
Springer
In learning theory and genetic programming, OBDDs are used to represent approximations of Boolean functions. This motivates the investigation of the OBDD complexity of approximatin...
147
click to vote
SOCASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...