2740 search results - page 192 / 548 » Typing the Specialization Interface |
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Many emerging web and Internet applications are based on a group communications model. Thus, securing group communications is an important Internet design issue. The key graph app...
139
click to vote
AVSS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...
134
click to vote
ROMAN
2007
IEEE
15 years 10 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...
139
click to vote
BTW
2007
Springer
15 years 10 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...
146
click to vote
ESOP
2007
Springer
15 years 10 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...