950 search results - page 64 / 190 » Type Specialization in Aldor |
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper describes a novel algorithm for autonomous and incremental learning of motion pattern primitives by observation of human motion. Human motion patterns are ed...
BTW
2007
Springer
14 years 3 months ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
PCM
2004
Springer
14 years 2 months ago
2004
Springer
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...
MIS
2001
Springer
14 years 1 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...