2989 search results - page 436 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ICIC
2005
Springer
15 years 3 months ago
2005
Springer
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
WEBI
2004
Springer
15 years 3 months ago
2004
Springer
Content analysis and citation analysis are two common methods in recommending system. Compared with content analysis, citation analysis can discover more implicitly related papers...
87
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
AAAI
2010
14 years 11 months ago
2010
The AI community has achieved great success in designing high-performance algorithms for hard combinatorial problems, given both considerable domain knowledge and considerable eff...
NAACL
2007
14 years 11 months ago
2007
This paper studies methods that automatically detect action-items in e-mail, an important category for assisting users in identifying new tasks, tracking ongoing ones, and searchi...