4209 search results - page 191 / 842 » Abstract Dialectical Frameworks |
180
click to vote
TOMCCAP
2011
15 years 1 months ago
2011
tion problem in two steps. First, we formulate an abstract optimization problem for video streaming in wireless networks in general. This formulation exposes the important interact...
230
click to vote
PERVASIVE
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
184
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
135
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
149
click to vote
IAT
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we present a decision making framework to enable agents to dynamically select a coordination mechanism. To demonstrate our approach we introduce an abstract task env...