2152 search results - page 303 / 431 » An Abstract Account of Composition |
110
click to vote
ATMOS
2008
15 years 3 months ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...
124
click to vote
LFP
1992
15 years 3 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
110
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...
141
click to vote
LICS
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
113
click to vote
TE
2010
14 years 8 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...