2586 search results - page 442 / 518 » Automatic Abstraction for Congruences |
108
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...
112
click to vote
FIS
2009
14 years 9 months ago
2009
Abstract. Advertising on the World Wide Web is based around automatically matching web pages with appropriate advertisements, in the form of banner ads, interactive adverts, or tex...
GI
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: Research in the field of academic teaching and life focuses on the integration of recent technologies. Additionally, new trends within the current usage of e.g. the Inter...
125
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service a...