4078 search results - page 128 / 816 » On the Emergence of New Computer Technologies |
178
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a novel recovery mechanism from large-scale network failures caused by earthquakes, terrorist attacks, large-scale power outages and software bugs. Our metho...
198
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
169
click to vote
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Multiple Input - Multiple Output (MIMO) wireless technology involves highly complex vectors and matrix computations which are directly related to increased power and area consumpt...
157
click to vote
ICMCS
2007
IEEE
16 years 25 days ago
2007
IEEE
The recent emergence of multi-core processors enables a new trend in the usage of computers. Computer vision applications, which require heavy computation and lots of bandwidth, u...
149
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a localization system for mobile robots that are able to navigate autonomously in industrial environments like factory and exhibition halls. Previous approache...