6274 search results - page 901 / 1255 » Proofs, Programs, Processes |
140
click to vote
ICN
2007
Springer
15 years 9 months ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
184
Voted
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
131
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
130
Voted
MHCI
2007
Springer
15 years 9 months ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
109
click to vote
MKM
2007
Springer
15 years 9 months ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...