3994 search results - page 250 / 799 » A Linear Logical Framework |
255
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
181
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We describe a new approach for estimating the posterior probability of tissue labels. Conventional likelihood models are combined with a curve length prior on boundaries,...
163
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we address the problem of computing the transport capacity of Wireless Mesh Networks dedicated to Internet access. Routing and transmission scheduling have a majo...
176
click to vote
ISCOPE
1999
Springer
15 years 11 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
168
click to vote
CAIP
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a feature point matching strategy and motion recovery applied to vehicle navigation. A transformation of the image plane is used that keeps the motion of the v...