1315 search results - page 143 / 263 » Usability of dial-a-ride systems |
178
click to vote
TLDI
2005
ACM
16 years 34 min ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
147
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We present a multi-objective evolutionary algorithm approach to the map-labelling problem. Map-labelling involves placing labels for sites onto a map such that the result is easy ...
191
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
161
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
167
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months ago
2005
Springer
Building a distributed middleware infrastructure that provides the low latency required for massively multiplayer games while still maintaining consistency is non-trivial. Previous...