12981 search results - page 2458 / 2597 » Model Checking and Abstraction |
103
click to vote
SECON
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— While physical layer capture has been observed in real implementations of wireless devices which randomly accessing shared channels, fair rate control algorithms based ...
127
click to vote
APPROX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
127
click to vote
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
129
click to vote
ERCIMDL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
111
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...