3238 search results - page 222 / 648 » Not Enough Points Is Enough |
198
click to vote
IVC
2008
15 years 6 months ago
2008
This research describes a novel approach that accurately detects depth edges with cluttered inner texture edges effectively ignored. We strategically project structured light and ...
185
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
165
Voted
JCIT
2008
15 years 6 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
180
click to vote
JCIT
2008
15 years 6 months ago
2008
This paper proposes a packet partition scheduling mechanism for bandwidth aggregation over end-to-end multi-path through multiple network interfaces. The proposed mechanism effect...
157
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Graphs are called navigable if one can find short paths through them using only local knowledge. It has been shown that for a graph to be navigable, its construction needs to mee...