3229 search results - page 322 / 646 » Theories with the Independence Property |
160
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a self-organizing sleep-wake sensor system that is scalable, easily implemented, and energy conserving. An application of concepts from cellular automata theory account...
197
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a novel energy minimization method, namely iterated cross entropy with partition strategy (ICEPS), into the Markov random field theory. The solver, which is...
175
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
158
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
205
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...