22909 search results - page 4284 / 4582 » A System of Interaction and Structure |
238
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
196
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Brain surface conformal mapping research has been successful and this motivates our more general investigation of 3D volumetric brain harmonic mapping. By transforming the full 3D...
165
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
151
click to vote
SE
2007
15 years 8 months ago
2007
: Einige der g¨angigen Auffassungen zu ” Was ist Software-Architektur?“ stimmen nicht ¨uberein mit Beobachtungen aus der industriellen Praxis der Software-Entwicklung – so ...
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...