Sciweavers

5275 search results - page 732 / 1055
» Computing by observing
Sort
View
FMCAD
2008
Springer
15 years 8 months ago
BackSpace: Formal Analysis for Post-Silicon Debug
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steve...
CE
2008
82views more  CE 2008»
15 years 6 months ago
An empirical study on students' ability to comprehend design patterns
Design patterns have become a widely acknowledged software engineering practice and therefore have been incorporated in the curricula of most computer science departments. This pa...
Alexander Chatzigeorgiou, Nikolaos Tsantalis, Igna...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 3 months ago
Comparing Prediction Market Structures, With an Application to Market Making
Ensuring sufficient liquidity is one of the key challenges for designers of prediction markets. Various market making algorithms have been proposed in the literature and deployed ...
Aseem Brahma, Sanmay Das, Malik Magdon-Ismail
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
16 years 1 months ago
Seamless Execution of Action Sequences
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
Freek Stulp, Wolfram Koska, Alexis Maldonado, Mich...
ECAI
2006
Springer
15 years 10 months ago
Compact Representation of Sets of Binary Constraints
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
Jussi Rintanen