Sciweavers

897 search results - page 132 / 180
» promise 2010
Sort
View
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
14 years 7 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
WDAG
2010
Springer
164views Algorithms» more  WDAG 2010»
14 years 7 months ago
It's on Me! The Benefit of Altruism in BAR Environments
Abstract. Cooperation, a necessity for any peer-to-peer (P2P) cooperative service, is often achieved by rewarding good behavior now with the promise of future benefits. However, in...
Edmund L. Wong, Joshua B. Leners, Lorenzo Alvisi
WIOPT
2010
IEEE
14 years 7 months ago
Optimizing power allocation in interference channels using D.C. programming
Abstract--Power allocation is a promising approach for optimizing the performance of mobile radio systems in interference channels. In the present paper, the non-convex objective f...
Hussein Al-Shatri, Tobias Weber
AIM
2010
14 years 7 months ago
An Analysis of Current Trends in CBR Research Using Multi-View Clustering
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
Derek Greene, Jill Freyne, Barry Smyth, Pád...
BMVC
2010
14 years 7 months ago
Improving bag-of-features action recognition with non-local cues
Local space-time features have recently shown promising results within Bag-of-Features (BoF) approach to action recognition in video. Pure local features and descriptors, however,...
Muhammad Muneeb Ullah, Sobhan Naderi Parizi, Ivan ...