Sciweavers

2440 search results - page 384 / 488
» Learn .MT: A New Approach to Incremental Learning
Sort
View
DAC
2003
ACM
16 years 7 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv
PAM
2009
Springer
16 years 26 days ago
PBS: Periodic Behavioral Spectrum of P2P Applications
Abstract. Due to the significant increase of peer-to-peer (P2P) traffic in the past few years, more attentions are put on designing effective methodologies of monitoring and ide...
Tom Z. J. Fu, Yan Hu, Xingang Shi, Dah-Ming Chiu, ...
161
Voted
IFIP
1993
Springer
15 years 10 months ago
Computer Science in Elementary and Secondary Schools
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
Viera K. Proulx
CGO
2007
IEEE
16 years 13 days ago
Rapidly Selecting Good Compiler Optimizations using Performance Counters
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
John Cavazos, Grigori Fursin, Felix V. Agakov, Edw...
184
Voted
ICRA
2005
IEEE
138views Robotics» more  ICRA 2005»
15 years 11 months ago
Urban Object Recognition from Informative Local Features
Abstract— Autonomous mobile agents require object recognition for high level interpretation and localization in complex scenes. In urban environments, recognition of buildings mi...
Gerald Fritz, Christin Seifert, Lucas Paletta