Sciweavers

3972 search results - page 279 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
ISORC
2005
IEEE
15 years 10 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
SIGIR
2004
ACM
15 years 10 months ago
Language-specific models in multilingual topic tracking
Topic tracking is complicated when the stories in the stream occur in multiple languages. Typically, researchers have trained only English topic models because the training storie...
Leah S. Larkey, Fangfang Feng, Margaret E. Connell...
IJCV
2010
249views more  IJCV 2010»
15 years 3 months ago
A Computational Model of Multidimensional Shape
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
Xiuwen Liu, Yonggang Shi, Ivo D. Dinov, Washington...
PAMI
2010
192views more  PAMI 2010»
15 years 2 months ago
Esaliency (Extended Saliency): Meaningful Attention Using Stochastic Image Modeling
Computer-vision attention processes allocate computational resources to different parts of visual input and can lead to faster object recognition and image analysis. This paper p...
Tamar Avraham, Michael Lindenbaum
CIKM
2007
Springer
15 years 10 months ago
Predictive user click models based on click-through history
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
Benjamin Piwowarski, Hugo Zaragoza