Sciweavers

12745 search results - page 2231 / 2549
» Automating test automation
Sort
View
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 7 months ago
The emerging field of language dynamics
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
Søren Wichmann
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 7 months ago
Life-Cycles and Mutual Effects of Scientific Communities
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
Václav Belák, Marcel Karnstedt, Cono...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 7 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
CORR
2008
Springer
68views Education» more  CORR 2008»
15 years 7 months ago
Comparing human and automatic thesaurus mapping approaches in the agricultural domain
Knowledge organization systems (KOS), like thesauri and other controlled vocabularies, are used to provide subject access to information systems across the web. Due to the heterog...
Boris Lauser, Gudrun Johannsen, Caterina Caracciol...
EOR
2010
107views more  EOR 2010»
15 years 7 months ago
An optimization-based heuristic for the robotic cell problem
This study investigates an optimization-based heuristic for the Robotic Cell Problem. This problem arises in automated cells and is a complex ow shop problem with a single transpo...
Jacques Carlier, Mohamed Haouari, Mohamed Kharbech...
« Prev « First page 2231 / 2549 Last » Next »