874 search results - page 78 / 175 » Computing Weighted Solutions in Answer Set Programming |
94
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
116
Voted
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Typical computational grid users target only a single cluster and have to estimate the runtime of their jobs. Job schedulers prefer short-running jobs to maintain a high system ut...
155
Voted
AAAI
2010
15 years 4 months ago
2010
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...
129
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
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...
137
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...