Sciweavers

24 search results - page 4 / 5
» Physically Independent Stream Merging
Sort
View
ICDE
2003
IEEE
180views Database» more  ICDE 2003»
14 years 6 months ago
Medical Video Mining for Efficient Database Indexing, Management and Access
1 To achieve more efficient video indexing and access, we introduce a video database management framework and strategies for video content structure and events mining. The video sh...
Xingquan Zhu, Walid G. Aref, Jianping Fan, Ann Chr...
SCOPES
2005
Springer
13 years 10 months ago
The Bit-reversal SDRAM Address Mapping
The performance contributions of SDRAM address mapping techniques in the main memory of an embedded system are studied and examined. While spatial locality existing in the access ...
Jun Shao, Brian T. Davis
ATAL
2007
Springer
13 years 11 months ago
EBDI: an architecture for emotional agents
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
Hong Jiang, José M. Vidal, Michael N. Huhns
PODS
2012
ACM
281views Database» more  PODS 2012»
11 years 7 months ago
Mergeable summaries
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...
Pankaj K. Agarwal, Graham Cormode, Zengfeng Huang,...
HYBRID
1998
Springer
13 years 9 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch