2071 search results - page 86 / 415 » An Empirical Evaluation of LFG-DOP |
130
click to vote
VTC
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract—There has been a variety of rate adaptation solutions proposed for both indoor and mobile scenarios. However, dynamic channel changing conditions (e.g., temporal channel...
118
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
113
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We study decision making in environments where the reward is only partially observed, but can be modeled as a function of an action and an observed context. This setting, known as...
207
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
CHI
2005
ACM
16 years 2 months ago
2005
ACM
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...