1174 search results - page 112 / 235 » A Logical Approach to Abstract Algebra |
105
click to vote
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
ICDAR
2007
IEEE
14 years 11 months ago
2007
IEEE
This paper presents a flexible and effective examplebased approach for labeling title pages which can be used for automated extraction of bibliographic data. The labels of intere...
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
DLOG
2010
14 years 8 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
BSL
2004
14 years 9 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...