9989 search results - page 1808 / 1998 » A CLP Approach to Modelling Systems |
136
click to vote
FOCS
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
171
click to vote
ERCIMDL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
139
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
This research screens the tuning parameters of a combinatorial optimization heuristic. Specifically, it presents a Design of Experiments (DOE) approach that uses a Fractional Fac...
129
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
146
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...