18429 search results - page 224 / 3686 » Typing dynamic typing |
207
click to vote
ADC
2008
Springer
16 years 28 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
183
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
184
click to vote
MIRAGE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper we describe a method for re-mapping animation parameters between multiple types of facial model for performance driven animation. A facial performance can b...
183
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
151
click to vote
SCALESPACE
2007
Springer
16 years 20 days ago
2007
Springer
Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image recons...