5243 search results - page 675 / 1049 » Reasoning About Strategies |
206
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In recent years, some computer vision algorithms such as SIFT (Scale Invariant Feature Transform) have been employed in image similarity match to perform image-based search applic...
185
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
153
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
Affective reasoning has been the subject of increasing attention in recent years. Because negative affective states such as frustration and anxiety can impede progress toward learn...
155
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
197
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...