Sciweavers

2607 search results - page 516 / 522
» Complete Functional Synthesis
Sort
View
ICRA
2010
IEEE
202views Robotics» more  ICRA 2010»
14 years 11 months ago
A robust state estimation method against GNSS outage for unmanned miniature helicopters
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
Tak-Kit Lau, Yun-hui Liu, Kai-wun Lin
INFOCOM
2010
IEEE
14 years 11 months ago
Socially-Aware Network Design Games
—In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wh...
Jocelyne Elias, Fabio Martignon, Konstantin Avrach...
IPL
2010
98views more  IPL 2010»
14 years 11 months ago
Distinguishing attacks on stream ciphers based on arrays of pseudo-random words
In numerous modern stream ciphers, the internal state consists of a large array of pseudo-random words, and the output key-stream is a relatively simple function of the state. In ...
Nathan Keller, Stephen D. Miller
OIR
2010
101views more  OIR 2010»
14 years 11 months ago
Supporting information access in e-learning by integrating digital libraries and ontology
Purpose – The purpose of this paper is to examine the integration of digital library (DL) technologies with ontology-based knowledge representation in providing semantic rich in...
Daqing He, Yefei Peng, Ming Mao, Dan Wu
SCN
2010
Springer
122views Communications» more  SCN 2010»
14 years 11 months ago
Recursive Lattice Reduction
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
Thomas Plantard, Willy Susilo