4525 search results - page 89 / 905 » Distributed multirobot localization |
161
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of multiple sequence alignment is one of the most important problems in computational biology. In this paper we present a new method that simultaneously performs multi...
131
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
144
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
121
click to vote
ADMA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Most of the work in Machine Learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
143
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Abstract. Clustering has become an increasingly important task in modern application domains such as marketing and purchasing assistance, multimedia, molecular biology as well as m...