2738 search results - page 172 / 548 » The Frobenius Problem and Its Generalizations |
145
Voted
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
146
click to vote
DRR
2009
15 years 2 months ago
2009
The implementation of word spotting is not an easy procedure and it gets even worse in the case of historical documents since it requires character recognition and indexing of the...
140
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we identify the constraints under which the generally ill-posed problem of the simultaneous recovery of surface shape and its photometric invariants can be rendered ...
138
Voted
JMMA
2010
14 years 11 months ago
2010
An original algorithm is presented that generates both restricted integer compositions and restricted integer partitions that can be constrained simultaneously by a) upper and low...
143
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
The problem of multi-robot patrol in adversarial environments has been gaining considerable interest during the recent years.In this problem, a team of mobile robots is required t...