1425 search results - page 187 / 285 » Semantic Based Schema Analysis |
LREC
2008
15 years 3 months ago
2008
This paper discusses findings of a frame-based contrastive text analysis, using the large-scale and precise descriptions of semantic frames provided by the FrameNet project (Baker...
ICPR
2000
IEEE
16 years 2 months ago
2000
IEEE
For more efficient organizing, browsing, and retrieving digital video content, it is important to extract video structure information at both scene and shot levels. This paper pre...
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
119
click to vote
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...