Sciweavers

2142 search results - page 155 / 429
» Representing Time in Multimedia Systems
Sort
View
IGPL
2010
132views more  IGPL 2010»
15 years 5 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
ARITH
2005
IEEE
16 years 3 days ago
A Linear-System Operator Based Scheme for Evaluation of Multinomials
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...
Pavan Adharapurapu, Milos D. Ercegovac
AMR
2005
Springer
88views Multimedia» more  AMR 2005»
16 years 16 hour ago
Context-Based Image Similarity Queries
Abstract. In this paper an effective context-based approach for interactive similarity queries is presented. By exploiting the notion of image “context”, it is possible to asso...
Ilaria Bartolini
ICMCS
2006
IEEE
123views Multimedia» more  ICMCS 2006»
16 years 15 days ago
Experiences with High Definition Interactive Video Conferencing
We review the design and implementation of UltraGrid, a new high definition video conferencing system, and present some experimental results. UltraGrid was the first system to s...
Ladan Gharai, Tom Lehman, Alvaro Saurin, Colin Per...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang