1519 search results - page 199 / 304 » The Domain Dependence of Parsing |
137
Voted
ATAL
2004
Springer
16 years 10 days ago
2004
Springer
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...
210
Voted
ESOP
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
230
Voted
EUROPAR
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
209
click to vote
IBERAMIA
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
187
Voted
INTELLCOMM
2004
Springer
16 years 9 days ago
2004
Springer
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...