Sciweavers

4166 search results - page 515 / 834
» Automating the constraining process
Sort
View
TSMC
2002
80views more  TSMC 2002»
15 years 4 months ago
Performance metric alerting: a new design approach for complex alerting problems
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
L. C. Yang, J. K. Kuchar
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
15 years 3 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
179
Voted
SQJ
2010
152views more  SQJ 2010»
15 years 3 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
TMI
2010
318views more  TMI 2010»
15 years 3 months ago
elastix: A Toolbox for Intensity-Based Medical Image Registration
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
Stefan Klein, Marius Staring, Keelin Murphy, Max A...
EMNLP
2009
15 years 2 months ago
Bilingual dictionary generation for low-resourced language pairs
Bilingual dictionaries are vital resources in many areas of natural language processing. Numerous methods of machine translation require bilingual dictionaries with large coverage...
István Varga, Shoichi Yokoyama