1981 search results - page 246 / 397 » Model-Checking Hierarchical Structures |
TASLP
2008
13 years 9 months ago
2008
Abstract--Until quite recently, extending Phrase-based Statistical Machine Translation (PBSMT) with syntactic knowledge caused system performance to deteriorate. The most recent su...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
In extended video sequences, individual frames are grouped into shots which are defined as a sequence taken by a single camera, and related shots are grouped into scenes which are...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
1 To achieve more efficient video indexing and access, we introduce a video database management framework and strategies for video content structure and events mining. The video sh...