272 search results - page 22 / 55 » Some Results on Ordered Structures in Toposes |
IBPRIA
2003
Springer
14 years 1 months ago
2003
Springer
Many segmentation techniques are available in the literature and some of them have been widely used in different application problems. Most of these segmentation techniques were mo...
SAGA
2001
Springer
14 years 27 days ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
CDC
2008
IEEE
13 years 10 months ago
2008
IEEE
The paper deals with the problem of reconstructing the tree-like topological structure of a network of linear dynamical systems. A distance function is defined in order to evaluat...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
In the paper it is argued that for some linguistic phenomena, current discourse representation structures are insufficiently finegrained, both from the perspective of serving as r...
CORR
2011
Springer
13 years 8 days ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...