3061 search results - page 243 / 613 » integration 2006 |
164
click to vote
JOLLI
2006
15 years 6 months ago
2006
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
163
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper surveys recent technical research on the problems of privacy and security for radio frequency identification (RFID). RFID tags are small, wireless devices that help iden...
168
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...
183
click to vote
JVCA
2006
15 years 6 months ago
2006
We present an efficient approach that merges the virtual objects into video sequences taken by a freely moving camera in a realistic manner. The composition is visually and geomet...
182
click to vote
FTEDA
2007
15 years 6 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...