Sciweavers

14244 search results - page 180 / 2849
» Modeling Program Predictability
Sort
View
POPL
1992
ACM
15 years 6 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
99
Voted
ESOP
2008
Springer
15 years 4 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...
117
Voted
SIGIR
2008
ACM
15 years 2 months ago
A user browsing model to predict search engine click data from past observations
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...
Georges Dupret, Benjamin Piwowarski
100
Voted
ICPR
2000
IEEE
16 years 3 months ago
Image Representational Model for Predicting Visual Distinctness of Objects
Here we show that a notion of congruence in statistical structureacross2 0frequency bandsproduces a useful definition of visualpatterns for perceiving target distinctness. In orde...
J. Chamorro, Javier Martinez-Baena, Rosa Rodriguez...