4850 search results - page 903 / 970 » Proof and Computation in Geometry |
119
click to vote
SIGMOD
2003
ACM
16 years 21 days ago
2003
ACM
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
106
click to vote
MOBIHOC
2007
ACM
16 years 4 days ago
2007
ACM
In this paper we study the capacity of wireless ad hoc networks with infrastructure support of an overlay of wired base stations. Such a network architecture is often referred to ...
111
click to vote
ICCV
2009
IEEE
15 years 7 months ago
2009
IEEE
Stereo matching and volumetric reconstruction are the most explored 3D scene recovery techniques in computer vision. Many existing approaches assume perspective input images and us...
101
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
95
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Graph drawing and visualization represent structural information ams of abstract graphs and networks. An important subset of graphs is directed acyclic graphs (DAGs). E-Spring alg...