4903 search results - page 245 / 981 » The Set Covering Machine |
150
click to vote
ECTEL
2007
Springer
16 years 26 days ago
2007
Springer
This paper proposes a model-driven, extensible platform, delivered on the Web, which is able to support long-distance collaboration of students’ teams working on complex projects...
153
click to vote
IISWC
2006
IEEE
16 years 22 days ago
2006
IEEE
Most space-sharing resources presently operated by high performance computing centers employ some sort of batch queueing system to manage resource allocation to multiple users. In...
164
click to vote
DEXAW
2005
IEEE
16 years 9 days ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...
155
Voted
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
140
click to vote
INTETAIN
2005
Springer
16 years 6 days ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...