3128 search results - page 210 / 626 » Finite element method |
ACL
2010
15 years 2 months ago
2010
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
144
Voted
AISS
2010
15 years 1 months ago
2010
One of the important debates in service-oriented architecture is the competitive conditions in the side of service provider and service consumer. In service-oriented architecture ...
132
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
130
click to vote
ESANN
2004
15 years 5 months ago
2004
: In this paper we present a new self-tuning procedure for PID controllers based on neuro-predictive control. A finite horizon optimal control problem is solved on-line, permitting...
AMC
2010
15 years 4 months ago
2010
This article extends the Leitmann equivalence method to a class of problems featuring conjugate points. The class is characterised by the requirement that the set of indifference ...