2920 search results - page 286 / 584 » Finite information logic |
173
click to vote
DAS
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
167
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
154
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
While traditional algorithms concern positive associations between binary or quantitative attributes of databases, this paper focuses on mining both positive and negative fuzzy ass...
154
click to vote
IDA
2003
Springer
15 years 12 months ago
2003
Springer
A broad range of mathematical techniques, ranging from statistics to fuzzy logic, have been used to great advantage in intelligent data analysis. Topology – the fundamental mathe...
180
Voted
CADE
1999
Springer
15 years 11 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...