2373 search results - page 132 / 475 » On the Theory of Structural Subtyping |
155
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Abstract--The recently introduced notion of Finite-Time Lyapunov Exponent to characterize Coherent Lagrangian Structures provides a powerful framework for the visualization and ana...
158
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Documents in the Web are often organized using category trees by information providers (e.g. CNN, BBC) or search engines (e.g. Google, Yahoo!). Such category trees are commonly kn...
170
click to vote
INFOSCALE
2006
ACM
16 years 15 days ago
2006
ACM
A fundamental paradigm in P2P is that of a large community of intermittently-connected nodes that cooperate to share files. Because nodes are intermittently connected, the P2P co...
164
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
170
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...