3913 search results - page 215 / 783 » complexity 2006 |
134
click to vote
LOGCOM
2010
15 years 3 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
127
Voted
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We present an extremely simple yet robust multi-view stereo algorithm and analyze its properties. The algorithm first computes individual depth maps using a window-based voting ap...
244
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...
129
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for...
161
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...