9166 search results - page 226 / 1834 » A framework for comparing models of computation |
133
click to vote
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
146
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
136
click to vote
CGF
2008
15 years 4 months ago
2008
We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...
119
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
122
click to vote
ARESEC
2011
14 years 4 months ago
2011
—With increasing amount of sensitive user data stored in social computing systems (SCSs) and lack of consensus on how it should be protected under meaningful control by the avera...