3116 search results - page 148 / 624 » Positively dependent types |
142
click to vote
FINTAL
2006
15 years 8 months ago
2006
This work presents a strategy that aims to extract and rank predicted answers from the web based on the eigenvalues of a specially designed matrix. This matrix models the strength ...
136
click to vote
DMIN
2006
15 years 5 months ago
2006
This paper proposed structural analysis and mathematical methods for destabilizing terrorist networks. The three different approaches are discussed for example: (i) cohesion analys...
113
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes the architecture and the implementation of a full-scale pronunciation lexicon for Turkish using finite state technology. The system produces at its output, a ...
133
click to vote
AAI
2004
15 years 4 months ago
2004
Location awareness is a key ingredient to many applications of mobile devices. Devices with the ability to determine their own position in space can retrieve, filter or present in...
126
click to vote
MOC
1998
15 years 4 months ago
1998
We show that the multiple zeta sum: ζ(s1, s2, ..., sd) = n1>n2>...>nd 1 ns1 1 ns2 2 ...n sd d , for positive integers si with s1 > 1, can always be written as a finit...