2593 search results - page 183 / 519 » On Two Problems of Nano-PLA Design |
74
Voted
CP
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
ECSA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract Architectural patterns are often combined with other, relevant architectural patterns during software architecture design. However, combining patterns effectively remains ...
108
click to vote
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
We present a new method for the incremental training of multiclass Support Vector Machines that provides computational efficiency for training problems in the case where the trai...
101
Voted
SMI
1999
IEEE
15 years 3 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
100
Voted
ICRE
1998
IEEE
15 years 3 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...