13376 search results - page 2312 / 2676 » Problem Solving with |
135
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
135
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
153
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
It has been of great interest to find sparse and/or nonnegative representations in computer vision literature. In this paper we propose a novel method to such a purpose and refer...
142
click to vote
CONCURRENCY
2010
15 years 5 months ago
2010
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
121
click to vote
IJON
2007
15 years 4 months ago
2007
Intrinsic plasticity (IP) refers to a neuron’s ability to regulate its firing activity by adapting its intrinsic excitability. Previously, we showed that model neurons combinin...