Sciweavers

4359 search results - page 542 / 872
» Automated Pipeline Design
Sort
View
SEFM
2006
IEEE
16 years 22 days ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
MM
2006
ACM
151views Multimedia» more  MM 2006»
16 years 21 days ago
News video search with fuzzy event clustering using high-level features
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
Shi-Yong Neo, Yantao Zheng, Tat-Seng Chua, Qi Tian
HICSS
2005
IEEE
188views Biometrics» more  HICSS 2005»
16 years 10 days ago
Developing Group Decision Support Systems for Deception Detection
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
Amit V. Deokar, Therani Madhusudan
ICCAD
2005
IEEE
98views Hardware» more  ICCAD 2005»
16 years 10 days ago
An architecture and a wrapper synthesis approach for multi-clock latency-insensitive systems
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
Ankur Agiwal, Montek Singh
TRIDENTCOM
2005
IEEE
16 years 9 days ago
An Open Access Wideband Multi-Antenna Wireless Testbed with Remote Control Capability
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...
Weijun Zhu, David W. Browne, Michael P. Fitz