6583 search results - page 227 / 1317 » Semantic Analysis Patterns |
135
Voted
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
— aceMedia is a 4 year EC part-funded FP6 Integrated Project, ending in December 2007. The project has developed tools to enable users to manage and share both personal and purch...
133
Voted
COOPIS
2000
IEEE
15 years 8 months ago
2000
IEEE
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
149
Voted
JAIR
2007
15 years 3 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
158
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
102
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...