4767 search results - page 233 / 954 » Structures for Abstract Rewriting |
185
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Developing ontologies is not an easy task and often the resulting ontologies are not consistent or complete. Such ontologies, although often useful, also lead to problems...
180
click to vote
BIBE
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—This paper develops an algorithm for NMR backbone resonance assignment given a 3D structure and a set of relatively sparse 15 N-edited NMR data, with the through-space 1...
162
click to vote
ASIAN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
185
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
182
click to vote
MM
2005
ACM
16 years 2 days ago
2005
ACM
This paper presents a novel approach for content-based analysis of karaoke music, which utilizes multimodal contents including synchronized lyrics text from the video channel and ...