Sciweavers

3971 search results - page 668 / 795
» On the Use of Properties in Java Applications
Sort
View
142
Voted
ATAL
2003
Springer
15 years 10 months ago
Transition-independent decentralized markov decision processes
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
Raphen Becker, Shlomo Zilberstein, Victor R. Lesse...
197
Voted
ICLP
2003
Springer
15 years 10 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink
LATIN
2010
Springer
15 years 10 months ago
Euclidean Prize-Collecting Steiner Forest
In this paper, we consider Steiner forest and its generalizations, prize-collecting Steiner forest and k-Steiner forest, when the vertices of the input graph are points in the Euc...
MohammadHossein Bateni, MohammadTaghi Hajiaghayi
120
Voted
ITNG
2010
IEEE
15 years 10 months ago
On the Design of User-Centric Supporting Service Composition Environments
—In a user-centric service creation process, users should drive the service creation, in which services can be composed out of existing services. However, the creation is expecte...
Eduardo Goncalves da Silva, Luís Ferreira P...
ICNP
2002
IEEE
15 years 10 months ago
Incentive Engineering in Wireless LAN Based Access Networks
Traffic regulation in public and private wireless LANs face a number of significant challenges, particularly in commercial networks where there is a need for efficient regulati...
Raymond R.-F. Liao, Rita H. Wouhaybi, Andrew T. Ca...