937 search results - page 48 / 188 » On the Complexity of Partial Order Properties |
141
click to vote
FOSSACS
2007
Springer
16 years 3 days 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...
212
click to vote
TEC
2002
15 years 5 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
156
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
150
click to vote
ICRA
2007
IEEE
16 years 8 days ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
149
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--This paper presents an over-complete multiscale decomposition by combining the Laplacian pyramid and the complex directional filter bank (DFB). The filter bank is constru...