4502 search results - page 771 / 901 » Regular Model Checking |
144
click to vote
ML
2000
ACM
15 years 4 months ago
2000
ACM
This paper discusses a novel distributed adaptive algorithm and representation used to construct populations of adaptive Web agents. These InfoSpiders browse networked information ...
133
click to vote
RAS
2000
15 years 4 months ago
2000
Mobile robot navigation under controlled laboratory conditions is, by now, state of the art and reliably achievable. To transfer navigation mechanisms used in such small-scale env...
121
click to vote
DAM
1998
15 years 4 months ago
1998
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
122
click to vote
TIP
2002
15 years 4 months ago
2002
We address the problem of Bayesian image reconstruction with a prior that captures the notion of a clustered intensity histogram. The problem is formulated in the framework of a j...
170
click to vote
TOG
2002
15 years 4 months ago
2002
Surface geometry is often modeled with irregular triangle meshes. The process of remeshing refers to approximating such geometry using a mesh with (semi)-regular connectivity, whi...