Sciweavers

2370 search results - page 101 / 474
» A Structured Set of Higher-Order Problems
Sort
View
SIAMCO
2010
119views more  SIAMCO 2010»
14 years 10 months ago
On the Structure of the Minimum Time Function
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
Giovanni Colombo, Khai T. Nguyen
ATAL
2009
Springer
15 years 10 months ago
Constraint-based dynamic programming for decentralized POMDPs with structured interactions
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
Akshat Kumar, Shlomo Zilberstein
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 7 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ATAL
2008
Springer
15 years 5 months ago
An improved dynamic programming algorithm for coalition structure generation
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exh...
Talal Rahwan, Nicholas R. Jennings
ACL
2011
14 years 7 months ago
Discovering Sociolinguistic Associations with Structured Sparsity
We present a method to discover robust and interpretable sociolinguistic associations from raw geotagged text data. Using aggregate demographic statistics about the authors’ geo...
Jacob Eisenstein, Noah A. Smith, Eric P. Xing