7167 search results - page 311 / 1434 » Answer Set Programming |
123
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
108
Voted
ECEASST
2008
15 years 2 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
140
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
117
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
133
click to vote
KDD
2005
ACM
16 years 3 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...