832 search results - page 92 / 167 » Characteristic Patterns for LTL |
136
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
154
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Speciation is an important concept in evolutionary computation. It refers to an enhancements of evolutionary algorithms to generate a set of diverse solutions. The concept is stud...
137
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Block-matching motion estimation plays an important role in video coding and faster, more robust and more effective search algorithms are needed. Recently, a great number of fast ...
115
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Information dissemination is a fundamental and frequently occuring problem in large, dynamic, distributed systems. We propose a novel approach to this problem, interest-aware info...
150
click to vote
WONS
2005
IEEE
15 years 9 months ago
2005
IEEE
Developing and evaluating protocols and applications for mobile ad-hoc networks requires significant organisational effort when real mobile ad-hoc networks with several mobile te...