2373 search results - page 400 / 475 » On the Theory of Structural Subtyping |
157
click to vote
ALIFE
2005
15 years 6 months ago
2005
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
160
click to vote
TKDE
2008
15 years 6 months ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...
143
click to vote
TNN
2008
15 years 6 months ago
2008
There have been many theories about and computational models of the schizophrenic disease state. Brain imaging techniques have suggested that abnormalities of the thalamus may con...
166
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
140
click to vote
TVCG
2008
15 years 6 months ago
2008
The nature of an information visualization can be considered to lie in the visual metaphors it uses to structure information. The process of understanding a visualization therefore...