2293 search results - page 242 / 459 » Temporal Logic in Information Systems |
182
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...
182
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...
181
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—For an intelligent multi-camera multi-object surveillance system, object correspondence across time and space is important to many smart visual applications. In this pap...
188
click to vote
ICSOC
2004
Springer
16 years 16 hour ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
172
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...