Sciweavers

4083 search results - page 623 / 817
» The EvA2 Optimization Framework
Sort
View
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
15 years 10 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
ICPR
2010
IEEE
15 years 10 months ago
Localized Multiple Kernel Regression
Multiple kernel learning (MKL) uses a weighted combination of kernels where the weight of each kernel is optimized during training. However, MKL assigns the same weight to a kerne...
Mehmet Gönen, Ethem Alpaydin
AAAI
2008
15 years 9 months ago
Hyperequivalence of Logic Programs with Respect to Supported Models
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
Miroslaw Truszczynski, Stefan Woltran
152
Voted
AIPS
2008
15 years 9 months ago
Structural Patterns Heuristics via Fork Decomposition
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
Michael Katz, Carmel Domshlak
3DIM
2005
IEEE
15 years 8 months ago
Multiresolution Interactive Modeling with Efficient Visualization
3D interactive modeling from range data aims at simultaneously producing and visualizing the surface model of an object while data is collected. The current research challenge is ...
Jean-Daniel Deschênes, Patrick Hébert...