920 search results - page 123 / 184 » Generating Satisfiable Problem Instances |
158
Voted
HPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
118
Voted
EUROGP
1999
Springer
15 years 6 months ago
1999
Springer
Genetic programming is known to be capable of creating designs that satisfy prespecified high-level design requirements for analog electrical circuits and other complex structures...
136
Voted
DLOG
2006
15 years 4 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
119
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
124
Voted
NLE
2007
15 years 2 months ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...