5550 search results - page 1025 / 1110 » Different Approaches to Proof Systems |
164
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Current ubiquitous computing environments provide many kinds of information. This information may be accessed by different users under varying conditions depending on various conte...
217
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Mining, discovering, and integrating process-oriented services has attracted growing attention in the recent year. Workflow precedence graph and workflow block structures are two i...
198
click to vote
MKWI
2008
15 years 8 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
155
click to vote
TREC
2003
15 years 7 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...
175
click to vote
TC
1998
15 years 7 months ago
1998
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...