5440 search results - page 730 / 1088 » Adapting Applications on the Fly |
171
click to vote
AML
2010
15 years 7 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
225
click to vote
APAL
2008
15 years 7 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
184
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
Data-based control design methods most often consist of iterative adjustment of the controller's parameters towards the parameter values which minimize an H2 performance crit...
196
click to vote
COR
2008
15 years 7 months ago
2008
In the past five years there has been a dramatic increase in work on Search Based Software Engineering (SBSE), an approach to software engineering in which search based optimisatio...
176
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose the design of a reconfigurable impedance matching network for the lower RF frequency band, based on a developed RF-MEMS technology. The circuit is composed of RF-MEMS o...