Sciweavers

5639 search results - page 308 / 1128
» Timed Abstract Non-interference
Sort
View
JOT
2010
126views more  JOT 2010»
15 years 2 months ago
Inferring design patterns using the ReP graph
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
Tushar Sharma, Dharanipragada Janakiram
CVPR
2006
IEEE
16 years 5 months ago
Making a Long Video Short: Dynamic Video Synopsis
The power of video over still images is the ability to represent dynamic activities. But video browsing and retrieval are inconvenient due to inherent spatio-temporal redundancies...
Alex Rav-Acha, Yael Pritch, Shmuel Peleg
129
Voted
DASFAA
2007
IEEE
178views Database» more  DASFAA 2007»
15 years 10 months ago
ClusterSheddy : Load Shedding Using Moving Clusters over Spatio-temporal Data Streams
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
Rimma V. Nehme, Elke A. Rundensteiner
126
Voted
LCN
2007
IEEE
15 years 10 months ago
Dynamic Group Membership Management for Distributed Interactive Applications
Abstract—Distributed interactive applications have become increasingly popular, making it important to address their communication needs, where one of the needs is group communic...
Knut-Helge Vik, Carsten Griwodz, Pål Halvors...
KI
2007
Springer
15 years 10 months ago
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
Lutz Böhnstedt, Alexander Ferrein, Gerhard La...