994 search results - page 62 / 199 » Custom Computing Machines for the Set Covering Problem |
99
Voted
CSR
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
ASM
2008
ASM
15 years 2 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
106
Voted
COLING
2010
14 years 7 months ago
2010
In statistical machine translation, decoding without any reordering constraint is an NP-hard problem. Inversion Transduction Grammars (ITGs) exploit linguistic structure and can w...
114
click to vote
GPEM
2002
15 years 15 days ago
2002
In this paper we use genetic programming for changing the representation of the input data for machine learners. In particular, the topic of interest here is feature construction i...
107
click to vote
SAC
2005
ACM
15 years 6 months ago
2005
ACM
In parallel and distributed processing, tasks are ordinarily clustered and assigned to different processors or machines before they are scheduled. The assignment of tasks to proc...