8699 search results - page 149 / 1740 » Elements of the Theory of Computation |
120
click to vote
EDCC
2008
Springer
15 years 1 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
WSCG
2003
15 years 25 days ago
2003
This paper proposes a rational classification of Islamic Geometric Patterns (IGP) based on the Minimum Number of Grids (MNG) and Lowest Geometric Shape (LGS) used in the construct...
192
click to vote
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
MICCAI
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper pr...