4346 search results - page 585 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
157
click to vote
TOG
2008
15 years 4 months ago
2008
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...
143
click to vote
SIGSAND
2008
15 years 5 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
147
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
189
click to vote
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
In this paper, we propose a novel top-k learning to rank framework, which involves labeling strategy, ranking model and evaluation measure. The motivation comes from the difficul...
151
click to vote
ICN
2007
Springer
15 years 10 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 ...