497 search results - page 49 / 100 » On combinations of local theory extensions |
103
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
107
click to vote
LOGCOM
2008
15 years 1 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
116
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper we propose a practical and efficient method for finding the globally optimal solution to the problem of pose estimation of a known object. We present a framework tha...
121
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Goal-directed guidance of gaze control based on coordinated task and stimulus parameters is essential for steering a mobile cognitive system efficiently and autonomously through t...
101
click to vote
CONIELECOMP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a wavelet neural-network for learning and approximation of chaotic time series. Wavelet-networks are inspired by both feed-forward neural networks and the theo...