77 search results - page 12 / 16 » On Array Theory of Bounded Elements |
112
Voted
STACS
2001
Springer
15 years 4 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
88
Voted
CORR
2007
Springer
15 years 6 days ago
2007
Springer
We use support theory, in particular the fretsaw extensions of Shklarski and Toledo [ST06a], to design preconditioners for the stiffness matrices of 2-dimensional truss structure...
86
Voted
KAIS
2006
15 years 6 days ago
2006
Abstract It has been proven that districted matching schemes (e.g., the US presidential election scheme, also called the Electoral College) are more stable than undistricted matchi...
ISVD
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this paper, we present a Delaunay refinement algorithm for meshing 3D medical images. We prove that (a) all the tetrahedra of the output mesh have radius-edge ratio less tha...
99
Voted
JACM
2000
15 years 1 days ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...