2173 search results - page 397 / 435 » An operational semantics for skeletons |
COGSCI
2004
13 years 8 months ago
2004
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
ISCI
2000
13 years 8 months ago
2000
The branch of semiotics called semantics deals with the relation between meanings and representations, widely known as the symbol grounding problem. The other branches of semiotic...
VLDB
1998
ACM
13 years 8 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
TCS
2002
13 years 8 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...