378 search results - page 70 / 76 » Automating Coinduction with Case Analysis |
117
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
172
click to vote
TAOSD
2010
15 years 1 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
143
click to vote
GIS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
124
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
123
click to vote
GIS
2009
ACM
15 years 7 months ago
2009
ACM
Traditional regression analysis derives global relationships between variables and neglects spatial variations in variables. Hence they lack the ability to systematically discover...