Sciweavers

279 search results - page 34 / 56
» Typability in Partial Applicative Structures
Sort
View
COMGEO
2008
ACM
13 years 7 months ago
Recursive geometry of the flow complex and topology of the flow complex filtration
The flow complex is a geometric structure, similar to the Delaunay tessellation, to organize a set of (weighted) points in Rk. Flow shapes are topological spaces corresponding to ...
Kevin Buchin, Tamal K. Dey, Joachim Giesen, Matthi...
CORR
1999
Springer
124views Education» more  CORR 1999»
13 years 7 months ago
An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
T. B. Dinesh, Magne Haveraaen, Jan Heering
FSTTCS
2010
Springer
13 years 5 months ago
Generalizing the powerset construction, coalgebraically
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
CVPR
2010
IEEE
14 years 1 months ago
3D Curve Sketch: Flexible Curve-Based Stereo Reconstruction and Calibration
Interest point-based multiview 3D reconstruction and calibration methods have been very successful in select applications but are not applicable when an abundance of feature point...
Ricardo Fabbri, Benjamin Kimia
ER
2003
Springer
98views Database» more  ER 2003»
14 years 23 days ago
Extracting Relations from XML Documents
XML is becoming a prevalent format for data exchange. Many XML documents have complex schemas that are not always known, and can vary widely between information sources and applica...
Eugene Agichtein, C. T. Howard Ho, Vanja Josifovsk...