Sciweavers

920 search results - page 65 / 184
» Generating Satisfiable Problem Instances
Sort
View
WWW
2009
ACM
14 years 11 months ago
Efficient application placement in a dynamic hosting platform
Web hosting providers are increasingly looking into dynamic hosting to reduce costs and improve the performance of their platforms. Instead of provisioning fixed resources to each...
Zakaria Al-Qudah, Hussein A. Alzoubi, Mark Allman,...
ICML
2010
IEEE
13 years 11 months ago
Active Learning for Multi-Task Adaptive Filtering
In this paper, we propose an Active Learning (AL) framework for the Multi-Task Adaptive Filtering (MTAF) problem. Specifically, we explore AL approaches to rapidly improve an MTAF...
Abhay Harpale, Yiming Yang
ENTCS
2008
106views more  ENTCS 2008»
13 years 10 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
CGF
2006
139views more  CGF 2006»
13 years 10 months ago
Pose Controlled Physically Based Motion
In this paper we describe a new method for generating and controlling physically-realistic motion of complex articulated characters. Our goal is to create motion from scratch, whe...
Raanan Fattal, Dani Lischinski
AAIM
2009
Springer
123views Algorithms» more  AAIM 2009»
14 years 5 months ago
Efficiently Generating k-Best Solutions to Procurement Auctions
: © Efficiently Generating k-Best Solutions to Procurement Auctions Andrew Byde, Terence Kelly, Yunhong Zhou, Robert Tarjan HP Laboratories HPL-2009-163 procurement, auctions, dec...
Andrew Byde, Terence Kelly, Yunhong Zhou, Robert E...