184 search results - page 18 / 37 » da 2008 |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
TSMC
2008
13 years 7 months ago
2008
Abstract--This research proposes a use of an agent-based intelligent simulator to numerically examine the influence of a transmission line limit on the dynamics of a wholesale powe...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper shows how the relative size of components can be used to increase matching performance – saving orders of magnitude in component area. The relative size information...
ICMCS
2010
IEEE
13 years 8 months ago
2010
IEEE
ph is an abstracted flattened version of the view, just as the sound being emitted speakers is an abstracted and distorted version of that which is being recorded 1 K Goldsmith, `B...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper we present a new segmentation method for the Multidimensional Multiscale Parser (MMP) algorithm. In previous works we have shown that, for text and compound images, ...