2465 search results - page 300 / 493 » Automata on Linear Orderings |
154
click to vote
ISBI
2007
IEEE
16 years 26 days ago
2007
IEEE
We present an adaptive hybrid FEM/FDM method for an inverse scattering problem in scanning acoustic microscopy with a special focus on new application in medical imaging. The prob...
133
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
－ This paper presents a 2GS/s 10-bit CMOS digital-to-analog converter (DAC). This DAC consists of a unit current-cell matrix for 6MSBs and another unit current-cell matrix for 4L...
140
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
147
click to vote
CPAIOR
2007
Springer
16 years 22 days ago
2007
Springer
One of the most important policies adopted in inventory control is the (R,S) policy (also known as the “replenishment cycle” policy). Under the non-stationary demand assumption...
177
click to vote
DIS
2007
Springer
16 years 22 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...