72 search results - page 12 / 15 » Conflict Analysis in Search Algorithms for Satisfiability |
102
click to vote
MMDB
2004
ACM
15 years 3 months ago
2004
ACM
Multivariate time series (MTS) datasets are common in various multimedia, medical and financial applications. We propose a similarity measure for MTS datasets, Eros (Extended Fro...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
LCTRTS
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
JUCS
2008
14 years 9 months ago
2008
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
76
Voted
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Link Analysis has been a popular and widely used Web mining technique, especially in the area of Web search. Various ranking schemes based on link analysis have been proposed, of ...