4866 search results - page 163 / 974 » UML for Global Computing |
113
click to vote
AMC
2005
15 years 4 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
136
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
137
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
115
click to vote
HPCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
142
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
Topographic maps are a common support for geographical information because they have the particularity to portray the relief through a set of contour lines. This topographic featu...