Sciweavers

243 search results - page 19 / 49
» How to Solve It Automatically: Selection Among Problem Solvi...
Sort
View
EUROSPI
2005
Springer
14 years 1 months ago
Framework of Agile Patterns
The variety of agile methods and their similarity could be a problem for software engineers to select a single or a number of methods and to properly execute them in a project. A p...
Teodora Bozheva, Maria Elisa Gallo
INFOCOM
2005
IEEE
14 years 1 months ago
Optimal ISP subscription for Internet multihoming: algorithm design and implication analysis
— Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the...
Hao Wang, Haiyong Xie 0002, Lili Qiu, Abraham Silb...
TASLP
2010
144views more  TASLP 2010»
13 years 2 months ago
Active Learning With Sampling by Uncertainty and Density for Data Annotations
To solve the knowledge bottleneck problem, active learning has been widely used for its ability to automatically select the most informative unlabeled examples for human annotation...
Jingbo Zhu, Huizhen Wang, Benjamin K. Tsou, Matthe...
CVPR
2010
IEEE
14 years 3 months ago
Personalization of Image Enhancement
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
Sing Bing Kang, Ashish Kapoor, Dani Lischinski
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
13 years 12 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...