Sciweavers

2621 search results - page 72 / 525
» Generalized Algorithms for Constructing Statistical Language...
Sort
View
FM
2001
Springer
130views Formal Methods» more  FM 2001»
14 years 1 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
DAC
2005
ACM
13 years 11 months ago
On the need for statistical timing analysis
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
Farid N. Najm
WWW
2002
ACM
14 years 9 months ago
An event-condition-action language for XML
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
James Bailey, Alexandra Poulovassilis, Peter T. Wo...
ICCV
2005
IEEE
14 years 2 months ago
On the Spatial Statistics of Optical Flow
We develop a method for learning the spatial statistics of optical flow fields from a novel training database. Training flow fields are constructed using range images of natur...
Stefan Roth, Michael J. Black
SIGIR
2003
ACM
14 years 2 months ago
Investigating the relationship between language model perplexity and IR precision-recall measures
An empirical study has been conducted investigating the relationship between the performance of a generative language model in terms of perplexity and the corresponding informatio...
Leif Azzopardi, Mark Girolami, Keith van Rijsberge...