4166 search results - page 145 / 834 » Automating the constraining process |
74
Voted
ECOOPW
2001
Springer
15 years 2 months ago
2001
Springer
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
81
Voted
CBMS
2001
IEEE
15 years 1 months ago
2001
IEEE
With the rapid expansion and utilization of the Internet and Web technologies, there is an increasing number of on-line medical journals. On-line journals pose new challenges in t...
CPAIOR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
62
Voted
SNPD
2007
14 years 11 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
65
Voted
IAAI
2003
14 years 11 months ago
2003
This paper describes a deployed educational technology application: the CriterionSM Online Essay Evaluation Service, a web-based system that provides automated scoring and evaluat...