Sciweavers

7167 search results - page 363 / 1434
» Answer Set Programming
Sort
View
FLAIRS
1998
15 years 4 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 4 months ago
Quadratic Programming based data assimilation with passive drifting sensors for shallow water flows
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
Andrew Tinka, Issam S. Strub, Qingfang Wu, Alexand...
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 3 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
GPEM
2006
89views more  GPEM 2006»
15 years 3 months ago
Morphological algorithm design for binary images using genetic programming
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
Marcos I. Quintana, Riccardo Poli, Ela Claridge
NETWORKS
2008
15 years 3 months ago
Lower bounds for two-period grooming via linear programming duality
In a problem arising in grooming for two-period optical networks, it is required to decompose the complete graph on n vertices into subgraphs each containing at most C edges, so t...
Charles J. Colbourn, Gaetano Quattrocchi, Violet R...