Sciweavers

1720 search results - page 146 / 344
» Unranking Combinations in Parallel
Sort
View
GCC
2003
Springer
15 years 9 months ago
A Research on the Framework of Grid Manufacturing
This paper presents firstly in the world the framework of Grid manufacturing, which neatly combines Grid technology with the infrastructure of advanced manufacturing technology. It...
Li Chen, Hong Deng, Qianni Deng, Zhenyu Wu
166
Voted
COMPOS
1997
Springer
15 years 8 months ago
Compositional Reasoning in Model Checking
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
Sergey Berezin, Sérgio Vale Aguiar Campos, ...
CEC
2007
IEEE
15 years 8 months ago
Final design interpretation of the complex-shaped beam optimizations for compliant mechanisms
Compliant mechanisms are one-piece devices that combine the features of both structures and mechanisms. Compliant mechanism design solutions were identified by using evolutionary t...
M. Sauter, T. Kern, P. Ermanni
AIPR
2001
IEEE
15 years 7 months ago
Towards Robust Face Recognition from Video
A novel, template-based method for face recognition is presented. The goals of the proposed method are to integrate multiple observations for improved robustness and to provide au...
Jeffery R. Price, Timothy F. Gee
COLING
2008
15 years 5 months ago
Linguistically-Based Sub-Sentential Alignment for Terminology Extraction from a Bilingual Automotive Corpus
We present a sub-sentential alignment system that links linguistically motivated phrases in parallel texts based on lexical correspondences and syntactic similarity. We compare th...
Lieve Macken, Els Lefever, Véronique Hoste