1684 search results - page 81 / 337 » The lexicographic decision function |
132
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
We present a GPU-based algorithm for computing discretized distance functions on road networks. As applications, we provide algorithms for computing discrete Order-k Network Voron...
115
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
101
Voted
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
Service-oriented computing provides the right means for building flexible systems that allow dynamic configuration and on-the-fly composition. In order to realize this vision, ...
124
click to vote
ICMAS
1998
15 years 4 months ago
1998
We describe a framework that can be used to model and predict the behavior of MASs with learning agents. It uses a difference equation for calculating the progression of an agent&...
156
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...