3709 search results - page 302 / 742 » Supporting experimentation with Side-Views |
158
click to vote
DFT
2009
IEEE
15 years 10 months ago
2009
IEEE
We present an error detection technique for a floating point adder which uses a checker adder of reduced precision to determine if the result is correct within some error bound. O...
162
click to vote
AAAI
2007
15 years 9 months ago
2007
Developing human-centered agent architectures requires the integral consideration of architectural flexibility, teamwork adaptability, and context reasoning capability. With the ...
180
click to vote
AAAI
2008
15 years 9 months ago
2008
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelik...
153
click to vote
AAAI
2008
15 years 9 months ago
2008
We introduce a multi-model variant of the EMT-based control algorithm. The new algorithm, MM-EMT, is capable of balancing several control tasks expressed using separate dynamic mo...
156
click to vote
AIPS
2007
15 years 9 months ago
2007
This paper treats the problem of managing personal tasks, through an adaptation of the Squeaky Wheel Optimization (SWO) framework, enhanced with powerful heuristics and full const...