1598 search results - page 162 / 320 » A Unified Computation Model for Functional and Logic Program... |
188
click to vote
MFCS
1995
Springer
15 years 10 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
161
click to vote
STOC
2002
ACM
16 years 6 months ago
2002
ACM
We investigate the price of selfish routing in non-cooperative networks in terms of the coordination and bicriteria ratios in the recently introduced game theoretic network model ...
219
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present an approach for dictionary learning of action attributes via information maximization. We unify the class distribution and appearance information into an objective func...
220
click to vote
USS
2010
15 years 4 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
157
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...