1247 search results - page 20 / 250 » A First Report on the A |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We report on two new portals for searching MEDLINE/PubMed with handheld devices, PICO (Patient, Intervention, Comparison, Outcome) and a WAP (Wireless Application Protocol) browse...
101
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
This paper reports a technique for Knowledge Extraction using Natural Language Processing for the purposes of semi-automatic Ontology learning. Determination of significant words ...
EUROMICRO
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper discusses two projects aimed at utilising the educational potential of hypermedia whilst avoiding the danger of the user becoming “lost in hyperspace”. The first pr...
JSAT
2008
14 years 11 months ago
2008
In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max...