3116 search results - page 301 / 624 » Positively dependent types |
164
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key...
143
click to vote
COSIT
2007
Springer
16 years 26 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...
168
click to vote
ECOWS
2007
Springer
16 years 26 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...
138
click to vote
MFCS
2007
Springer
16 years 25 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...
162
click to vote
MICAI
2007
Springer
16 years 25 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...