4650 search results - page 406 / 930 » Generating and evaluating evaluative arguments |
211
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
193
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
229
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
Detecting structural similarities between XML documents has been the subject of several recent work, and the proposed algorithms mostly use tree edit distance between the correspo...
181
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
Third generation wireless systems can simultaneously accommodate flow transmissions of users with widely heterogeneous applications. As resources are limited (particularly in the...
240
click to vote
RTCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a real-time message scheduling algorithm which is applied to schedule periodic realtime messages in IEEE 802.15.4 for LR-WPAN(Low Rate Wireless Personal Area Network). ...