9730 search results - page 1695 / 1946 » Relating models of backtracking |
158
click to vote
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Telehealth innovations promise to provide extensive medical benefits by increasing access to healthcare services and lowering costs at the same time. However, while many telehealt...
141
click to vote
HPDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-The analysis of data usage in a large set of real traces from a high-energy physics collaboration revealed the existence of an emergent grouping of files that we coined &q...
149
Voted
AAECC
2007
Springer
15 years 5 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
142
Voted
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
135
Voted
ADT
2008
15 years 5 months ago
2008
This paper analyzes voice transmission capacity on IEEE 802.11 ad hoc networks by performing simulations related to delay, jitter, loss rate, and consecutive losses. We evaluate th...