1982 search results - page 209 / 397 » Parametricity and dependent types |
138
click to vote
COSIT
2007
Springer
16 years 20 days ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
167
click to vote
ECOWS
2007
Springer
16 years 20 days ago
2007
Springer
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
135
click to vote
MFCS
2007
Springer
16 years 19 days ago
2007
Springer
Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets P satisfying a certain closure property, a one-to-one corre...
160
click to vote
MICAI
2007
Springer
16 years 19 days ago
2007
Springer
Self-organizing neural networks (SONN) driven by softmax weight renormalization are capable of finding high quality solutions of difficult assignment optimization problems. The r...
159
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...