Sciweavers

8067 search results - page 1382 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
ICDE
2009
IEEE
158views Database» more  ICDE 2009»
16 years 8 months ago
BioNav: Effective Navigation on Query Results of Biomedical Databases
Search queries on biomedical databases like PubMed often return a large number of results, only a small subset of which is relevant to the user. Ranking and categorization, which c...
Abhijith Kashyap, Vagelis Hristidis, Michalis Petr...
ICIP
2004
IEEE
16 years 8 months ago
Constant quality rate-control for video encoding based on activity segmentation
An enhanced, off-line, segment-based rate control approach is proposed for controlling the distortion variation across successive segments of a video sequence when encoding with s...
Luk Overmeire, Fabio Verdicchio, Joeri Barbarien, ...
DAC
2009
ACM
16 years 8 months ago
Computing bounds for fault tolerance using formal techniques
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
André Sülflow, Görschwin Fey, Rol...
DAC
1999
ACM
16 years 8 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
DAC
2002
ACM
16 years 8 months ago
Dynamic and leakage power reduction in MTCMOS circuits using an automated efficient gate clustering technique
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
Mohab Anis, Mohamed Mahmoud, Mohamed I. Elmasry, S...
« Prev « First page 1382 / 1614 Last » Next »