Sciweavers

3146 search results - page 213 / 630
» Efficient Consequence Finding
Sort
View
149
Voted
ICFP
2003
ACM
16 years 6 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah
CEC
2009
IEEE
16 years 1 months ago
Symmetric networks foster to evolve desirable turn-taking rules in dispersion games
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...
Akira Namatame, Hiroshi Sato
EUROPAR
2007
Springer
16 years 13 days ago
Are P2P Data-Dissemination Techniques Viable in Today's Data-Intensive Scientific Collaborations?
The interest among a geographically distributed user base to mine massive collections of scientific data propels the need for efficient data dissemination solutions. An optimal dat...
Samer Al-Kiswany, Matei Ripeanu, Adriana Iamnitchi...
DATE
2006
IEEE
134views Hardware» more  DATE 2006»
16 years 10 days ago
Power constrained and defect-probability driven SoC test scheduling with test set partitioning
1 This paper presents a test scheduling approach for system-onchip production tests with peak-power constraints. An abort-onfirst-fail test approach is assumed, whereby the test is...
Zhiyuan He, Zebo Peng, Petru Eles
133
Voted
ICALT
2006
IEEE
16 years 9 days ago
Content-Based Positioning in Learning Networks
Positioning in learning networks is a process that assists learners in finding a starting point and an efficient route in the network that will foster competence building. In orde...
Jan van Bruggen, Ellen Rusman, Bas Giesbers, Rob K...