15660 search results - page 193 / 3132 » The Unbalance of Set Systems |
165
click to vote
LOGCOM
2010
15 years 5 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
189
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
191
click to vote
EMNLP
2009
15 years 4 months ago
2009
Current system combination methods usually use confusion networks to find consensus translations among different systems. Requiring one-to-one mappings between the words in candid...
126
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Setting electric transmission tariffs is a classical multi-objective problem. The tariff problem is particularly challenging in modern power markets where transmission has been se...
175
click to vote
GLOBECOM
2007
IEEE
16 years 29 days ago
2007
IEEE
—Network coordinates (NC) system is an efficient mechanism for Internet distance prediction with limited measurements. In this paper, we identify the intrinsical cause for the i...