3628 search results - page 569 / 726 » Approaching the Physical Limits of Computing |
98
Voted
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
97
Voted
RTA
1991
Springer
15 years 4 months ago
1991
Springer
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
99
Voted
PAKDD
2010
ACM
15 years 4 months ago
2010
ACM
We present a general framework for the task of extracting specific information “on demand” from a large corpus such as the Web under resource-constraints. Given a database wit...
109
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Recovering the 3D shape of deformable surfaces from single images is difficult because many different shapes have very similar projections. This is commonly addressed by restricti...
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper proposes a novel method for generating arbitrary stereoscopic view from multiple omnidirectional image sequences. Although conventional methods for arbitrary v...