3938 search results - page 255 / 788 » Interactive Protocols on the Reals |
146
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
The research in the field of service discovery in mobile ad-hoc networks is characterised by a lack of quantitative research. Many ideas have been put forward but few have been tes...
181
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
We investigate three methods for defining a session on Web search engines. We examine 2,465,145 interactions from 534,507 Web searchers. We compare defining sessions using: 1) Int...
130
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
160
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
Many sources of empirical data can be used to evaluate an interface (e.g., time to learn, time to perform benchmark tasks, number of errors on benchmark tasks, answers on question...
195
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...