1174 search results - page 208 / 235 » A Logical Approach to Abstract Algebra |
114
Voted
CADE
2006
Springer
16 years 3 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 ...
117
click to vote
ICEIS
2009
IEEE
15 years 10 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...
135
Voted
LAWEB
2009
IEEE
15 years 10 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...
114
Voted
AI
2008
Springer
15 years 9 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...
141
Voted
FUZZIEEE
2007
IEEE
15 years 9 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...