3333 search results - page 124 / 667 » Abstract Proof Search |
117
Voted
ISCIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
123
Voted
TREC
2003
15 years 5 months ago
2003
k gene annotations. Our indexing machinery produces per indexed MEDLINE abstract a list of concepts with an accompanying weight, termed a fingerprint. Searching is done by matching...
147
Voted
ICISS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...
112
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
119
Voted
IJFCS
2011
14 years 10 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...