Sciweavers

955 search results - page 103 / 191
» A System for Solving Constraint Satisfaction Problems with S...
Sort
View
137
Voted
AAAI
2006
15 years 3 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 5 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
106
Voted
AAAI
2008
15 years 4 months ago
Anytime Local Search for Distributed Constraint Optimization
Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small prob...
Roie Zivan
IAT
2010
IEEE
14 years 11 months ago
A Voting-Based Agent System for Course Selection in E-Learning
Agent technology is a good approach for solving a number of problems concerned with personalized learning. In personal learning contexts individual students are given an environme...
Ali M. Aseere, Enrico H. Gerding, David E. Millard
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 8 months ago
Robust controller design by convex optimization based on finite frequency samples of spectral models
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
Gorka Galdos, Alireza Karimi, Roland Longchamp