832 search results - page 92 / 167 » Characteristic Patterns for LTL |
226
click to vote
ROBOCOMM
2007
IEEE
16 years 1 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...
211
click to vote
GECCO
2007
Springer
16 years 1 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...
192
click to vote
ICMCS
2006
IEEE
16 years 1 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 ...
171
Voted
HPDC
2005
IEEE
16 years 1 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...
223
click to vote
WONS
2005
IEEE
16 years 1 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...