2038 search results - page 334 / 408 » Improvements to the Psi-SSA representation |
SIGIR
2006
ACM
14 years 5 months ago
2006
ACM
We are interested in retrieving information from conversational speech corpora, such as call-center data. This data comprises spontaneous speech conversations with low recording q...
CIKM
2005
Springer
14 years 4 months ago
2005
Springer
We investigates language models for informational and navigational web search. Retrieval on the web is a task that differs substantially from ordinary ad hoc retrieval. We perfor...
SLSFS
2005
Springer
14 years 4 months ago
2005
Springer
We propose the use of latent space models applied to local invariant features for object classification. We investigate whether using latent space models enables to learn patterns...
VMCAI
2005
Springer
14 years 4 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
CP
2004
Springer
14 years 4 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...