25156 search results - page 135 / 5032 » Applications for conscious systems |
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
Grid computing is used to realize the connection of distributed, heterogeneous computing resources through grid, assist in accomplishing computing task. Focusing on the weakness of...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
BMVC
2001
14 years 18 days ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...