4966 search results - page 288 / 994 » its 2010 |
210
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
179
click to vote
EOR
2006
15 years 6 months ago
2006
Flexibility and automation in assembly lines can be achieved by the use of robots. The robotic assembly line balancing (RALB) problem is defined for robotic assembly line, where d...
176
click to vote
EOR
2006
15 years 6 months ago
2006
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...
152
click to vote
DSP
2007
15 years 6 months ago
2007
In the situation that a radar platform is moving very fast, the number of training data used in space-time adaptive processing (STAP) is a major concern. Less number of training d...
157
click to vote
DSS
2007
15 years 6 months ago
2007
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...