2790 search results - page 234 / 558 » A generative theory of relevance |
169
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
210
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
142
click to vote
IUI
2005
ACM
16 years 7 days ago
2005
ACM
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
197
click to vote
MFCS
2005
Springer
16 years 4 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
141
click to vote
ILP
2004
Springer
16 years 1 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...