4099 search results - page 285 / 820 » A Framework for Interactive Proof |
182
click to vote
ENTCS
2011
15 years 1 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
239
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
We consider the task of suggesting related queries to users after they issue their initial query to a web search engine. We propose a machine learning approach to learn the probab...
173
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
158
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
— Tracking in crowded urban areas is a daunting task. High crowdedness causes challenging data association problems. Different motion patterns from a wide variety of moving objec...
181
click to vote
AOSD
2004
ACM
16 years 1 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...