16091 search results - page 119 / 3219 » Solving |
131
Voted
EMNLP
2010
15 years 13 days ago
2010
In state-of-the-art approaches to information extraction (IE), dependency graphs constitute the fundamental data structure for syntactic structuring and subsequent knowledge elici...
107
click to vote
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
In this paper we present the venture of porting two different algorithms for solving the two-dimensional advection PDE on the CBE platform, an in-place and an outof-place one, and ...
128
click to vote
ICTAI
2009
IEEE
15 years 4 days ago
2009
IEEE
We introduce TiMDPpoly, an algorithm designed to solve planning problems with durative actions, under probabilistic uncertainty, in a non-stationary, continuous-time context. Miss...
151
click to vote
CONSTRAINTS
2010
14 years 12 months ago
2010
The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a global constraint and an associated ...
130
click to vote
CONSTRAINTS
2010
14 years 12 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...