969 search results - page 161 / 194 » A New Metric Between Polygons and How to Compute it |
112
click to vote
VISUALIZATION
1999
IEEE
15 years 6 months ago
1999
IEEE
For types of data visualization where the cost of producing images is high, and the relationship between the rendering parameters and the image produced is less than obvious, a vi...
117
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
133
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...
132
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...
216
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...