3690 search results - page 102 / 738 » Computation with classical sequents |
193
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper introduces a bundle adjustment (BA) method that obtains accurate structure and motion from rolling shutter (RS) video sequences: RSBA. When a classical BA algorithm pro...
205
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...
166
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
168
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. We approach the themes “computing with chaos” and “reservoir computing” in a unified setting. Different neural architectures are mentioned which display chaotic...
189
click to vote
KER
2008
15 years 6 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...