2836 search results - page 305 / 568 » Towards Hovering Information |
133
click to vote
AIPS
2009
15 years 8 months ago
2009
This paper explores the use of an oft-ignored information source in heuristic search: a search-distance-to-go estimate. Operators frequently have different costs and cost-to-go is...
194
click to vote
HT
2010
ACM
15 years 7 months ago
2010
ACM
Adaptive Hypermedia Systems (AHS) have long been concentrating on adaptive guidance of links between domain concepts. Here we show parallels between navigation and linking in adap...
187
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
171
click to vote
ECEASST
2006
15 years 6 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper develops a contention-based opportunistic feedback technique towards relay selection in a dense wireless network. This technique enables the forwarding of additional pa...