5995 search results - page 815 / 1199 » Algorithmic Game Theory |
145
click to vote
ASIAN
2003
Springer
16 years 19 hour ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
204
click to vote
ICVS
2003
Springer
15 years 12 months 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 ...
181
click to vote
CDC
2009
IEEE
15 years 11 months 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...
193
click to vote
TACAS
2009
Springer
15 years 11 months 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 ...
211
click to vote
AOSE
2001
Springer
15 years 11 months 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 ...