Sciweavers

2191 search results - page 59 / 439
» Aspect - A Problem For MT
Sort
View
119
Voted
COLCOM
2008
IEEE
15 years 10 months ago
The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments
The Data Interoperability Problem appears in contexts where consumers need to peruse data owned by producers, and the syntax and/or semantics of such data—at both end points—ar...
Arturo J. Sánchez-Ruíz, Karthikeyan ...
110
Voted
CP
2003
Springer
15 years 9 months ago
Redundant Modeling for the QuasiGroup Completion Problem
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...
Iván Dotú, Alvaro del Val, Manuel Ce...
117
Voted
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 7 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
ICCBR
1995
Springer
15 years 7 months ago
On the use of CBR in optimisation problems such as the TSP
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
Padraig Cunningham, Barry Smyth, Neil J. Hurley
149
Voted
GECCO
2008
Springer
127views Optimization» more  GECCO 2008»
15 years 4 months ago
Metaheuristics for solving a real-world frequency assignment problem in GSM networks
The Frequency Assignment Problem (FAP) is one of the key issues in the design of GSM networks (Global System for Mobile communications), and will remain important in the foreseeab...
Francisco Luna, César Estébanez, Cor...