1174 search results - page 208 / 235 » A Logical Approach to Abstract Algebra |
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
ICEIS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. Due to the changing scope of data management towards the management of heterogeneous and distributed systems and applications, integration processes gain in importance. T...
LAWEB
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
AI
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Feature Selection (FS) is a technique for dimensionality reduction. Its aims are to select a subset of the original features of a dataset which are rich in the most use...