Sciweavers

1263 search results - page 149 / 253
» Packaging Mathematical Structures
Sort
View
PPAM
2007
Springer
15 years 4 months ago
Empowering Automatic Semantic Annotation in Grid
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
Michal Laclavik, Marek Ciglan, Martin Seleng, Ladi...
WADS
2007
Springer
121views Algorithms» more  WADS 2007»
15 years 4 months ago
Cauchy's Theorem and Edge Lengths of Convex Polyhedra
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
Therese C. Biedl, Anna Lubiw, Michael J. Spriggs
ICICIC
2006
IEEE
15 years 4 months ago
Sensing and Control for Geometry Stability of the Melt Pool and the Cross Sectional Area in Laser Cladding
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
Liangliang Nan, Weijun Liu
IJCNN
2006
IEEE
15 years 4 months ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel
SAC
2006
ACM
15 years 4 months ago
Provably faithful evaluation of polynomials
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
Sylvie Boldo, César Muñoz