3091 search results - page 398 / 619 » The Color Between Two Others |
153
click to vote
FOSSACS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
165
Voted
FOSSACS
2009
Springer
16 years 24 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
150
click to vote
HYBRID
2009
Springer
16 years 24 days ago
2009
Springer
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies ...
145
click to vote
GLOBECOM
2009
IEEE
16 years 23 days ago
2009
IEEE
—In 3G wireless technologies, competitive operators are assigned a fixed part of the spectrum from long-term auctions. This is known to lead to utilization inefficiencies becau...
160
click to vote
ICDAR
2009
IEEE
16 years 23 days ago
2009
IEEE
Currently, there have been several high performance OCR products for Chinese or for English. However, no one OCR technique can be simultaneously fit for both the English and the C...