8828 search results - page 1273 / 1766 » Formal methods in practice |
198
click to vote
ECML
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. In this paper we consider latent variable models and introduce a new U-likelihood concept for estimating the distribution over hidden variables. One can derive an estimat...
183
click to vote
GECCO
2005
Springer
16 years 20 days ago
2005
Springer
A genetic algorithm encoding is proposed which is able to automatically satisfy a class of important cardinality constraints where the set of distinct values of the design variabl...
199
click to vote
ICANN
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...
219
click to vote
PPSWR
2005
Springer
16 years 19 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
149
click to vote
SACRYPT
2005
Springer
16 years 19 days ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...