2907 search results - page 576 / 582 » Presentations of Structures in Admissible Sets |
ENTCS
1998
14 years 9 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
PRL
2007
14 years 9 months ago
2007
In this paper we develop a theory for characterizing how deformable a shape is given a sequence of its observations. We define a term called ‘‘deformability index’’ (DI) ...
112
click to vote
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
With the proliferation of online distribution methods for videos, content owners require easier and more effective methods for monetization through advertising. Matching advertis...
DAGM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...
DIS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...