20441 search results - page 362 / 4089 » Locally Computable Structures |
185
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
158
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...
177
click to vote
ICVGIP
2004
15 years 7 months ago
2004
We propose a new unsupervised learning method to obtain a layered pictorial structure (LPS) representation of an articulated object from video sequences. It will be seen that this...
186
click to vote
JSYML
2008
15 years 6 months ago
2008
We say that A LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real , oracle B can also find patterns on . In o...
197
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...