4987 search results - page 755 / 998 » Support Ordered Resolution |
172
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
229
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a new descriptor for images which allows the construction of efficient and compact classifiers with good accuracy on object category recognition. The descriptor is the...
208
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spam is serious problem that affects email users (e.g. phishing attacks, viruses and time spent reading unwanted messages). We propose a novel spam email filtering appr...
152
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Recent progress in information extraction has shown how to automatically build large ontologies from high-quality sources like Wikipedia. But knowledge evolves over time; facts ha...
186
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Building and maintaining thesauri are complex and laborious tasks. PoolParty is a Thesaurus Management Tool (TMT) for the Semantic Web, which aims to support the creation and maint...