5995 search results - page 815 / 1199 » Algorithmic Game Theory |
159
click to vote
ASIAN
2003
Springer
16 years 26 days ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
222
click to vote
ICVS
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
206
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
211
click to vote
TACAS
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
230
click to vote
AOSE
2001
Springer
16 years 4 days ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...