Sciweavers

771 search results - page 59 / 155
» EasyCheck - Test Data for Free
Sort
View
FMCAD
2009
Springer
15 years 4 months ago
Finding heap-bounds for hardware synthesis
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey...
IROS
2008
IEEE
116views Robotics» more  IROS 2008»
15 years 4 months ago
A solution for SLAM through augmenting vision and range information
— This paper proposes a method for augmenting the information of a monocular camera and a range finder. This method is a valuable step towards solving the SLAM problem in unstruc...
Ali Akbar Aghamohammadi, Amir Hossein Tamjidi, Ham...
ICDIM
2007
IEEE
15 years 4 months ago
Pattern-based decision tree construction
Learning classifiers has been studied extensively the last two decades. Recently, various approaches based on patterns (e.g., association rules) that hold within labeled data hav...
Dominique Gay, Nazha Selmaoui, Jean-Françoi...
ICPADS
2007
IEEE
15 years 4 months ago
S/Kademlia: A practicable approach towards secure key-based routing
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...
Ingmar Baumgart, Sebastian Mies
IPCCC
2007
IEEE
15 years 4 months ago
Peer-to-Peer Multimedia Streaming Using BitTorrent
We propose a peer-to-peer multimedia streaming solution based on the BitTorrent content-distribution protocol. Our proposal includes two modifications that allow it to deliver mul...
Purvi Shah, Jehan-François Pâris