1677 search results - page 208 / 336 » On the Completeness of Quantum Computation Models |
182
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
164
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
146
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
In the context of automated feeding (orienting) of industrial parts, we study the algorithmic design of traps in the bowl feeder track that filter out all but one orientation of ...
176
click to vote
DIS
2007
Springer
16 years 18 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...