3996 search results - page 526 / 800 » A Publish |
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
198
Voted
IJCGA
2008
15 years 6 months ago
2008
Published as Technical Report LU-CS-TR:2005-238 on February 13, 2006, ISSN 1650-1276 Report 158, Lund University, Sweden 2006 We discuss and compare four fixed parameter algorithm...
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...
194
click to vote
EOR
2006
15 years 6 months ago
2006
The Generalized Traveling Salesman Problem is a variation of the well known Traveling Salesman Problem in which the set of nodes is divided into clusters; the objective is to find...
185
click to vote
IJCV
2008
15 years 6 months ago
2008
Multi-class image segmentation has made significant advances in recent years through the combination of local and global features. One important type of global feature is that of i...