Sciweavers

3838 search results - page 184 / 768
» Techniques for Optimization of Net Algorithms
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
15 years 10 months ago
Optimizing sequential cycles through Shannon decomposition and retiming
—Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pip...
Cristian Soviani, Olivier Tardieu, Stephen A. Edwa...
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 4 months ago
Optimal Scheduling of File Transfers with Divisible Sizes on Multiple Disjoint Paths
In this paper I investigate several offline and online data transfer scheduling problems and propose efficient algorithms and techniques for addressing them. In the offline case, ...
Mugurel Ionut Andreica
ICIP
2002
IEEE
16 years 5 months ago
Rate-distortion optimized image compression using wedgelets
Most wavelet-based image coders fail to model the joint coherent behavior of wavelet coefficients near edges. Wedgelets offer a convenient parameterization for the edges in an ima...
Justin K. Romberg, Michael B. Wakin, Hyeokho Choi,...
AAAI
2008
15 years 6 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 4 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans