1700 search results - page 223 / 340 » Specifying and implementing refactorings |
135
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
168
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...
141
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
147
click to vote
ICADL
2005
Springer
15 years 11 months ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
131
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...