1127 search results - page 165 / 226 » Theory Extension in ACL2(r) |
165
click to vote
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
171
click to vote
APN
2007
Springer
16 years 10 days ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
168
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
The TAC Supply Chain Management (TAC/SCM) game presents a challenging dynamic environment for autonomous decision-making in a salient application domain. Strategic interactions co...
181
click to vote
CIKM
2007
Springer
16 years 10 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
187
click to vote
CIVR
2007
Springer
16 years 10 days ago
2007
Springer
In the present study, an efficient strategy for retrieving texture images from large texture databases is introduced and studied within a distributional-statistical framework. Our...