949 search results - page 152 / 190 » Theory of Constraints |
108
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
111
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a novel boosting algorithm which improves on current algorithms for weighted voting classification by striking a better balance between classification accuracy and the ...
109
Voted
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
101
Voted
CCR
2010
15 years 19 days ago
2010
There is significant research interest recently to understand the evolution of the current Internet, as well as to design clean-slate Future Internet architectures. Clearly, even ...
108
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodyna...