6047 search results - page 360 / 1210 » Modeling with Extend |
118
Voted
IWDC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...
155
click to vote
PRIMA
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
160
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
197
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
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...
125
click to vote
ISAAC
2003
Springer
15 years 10 months ago
2003
Springer
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...