7452 search results - page 241 / 1491 » A Semantics for Multiprocessor Systems |
128
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
125
click to vote
WSPI
2008
15 years 6 months ago
2008
The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computa...
150
click to vote
NAACL
1994
15 years 5 months ago
1994
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
154
Voted
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
112
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...