2069 search results - page 194 / 414 » Linear time algorithms for Clobber |
168
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
167
click to vote
ICPADS
2005
IEEE
16 years 5 days ago
2005
IEEE
New biological experimental techniques are continuing to generate large amounts of data using DNA, RNA, human genome and protein sequences. The quantity and quality of data from t...
170
click to vote
IDA
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
176
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper presents a probabilistic algorithm for simultaneously estimating the pose of a mobile robot and the positions of nearby people in a previously mapped environm...
141
click to vote
CPM
2010
Springer
15 years 11 months ago
2010
Springer
A proper factor u of a string y is a cover of y if every letter of y is within some occurrence of u in y. The concept generalises the notion of periods of a string. An integer arra...