1226 search results - page 175 / 246 » Generating Abstractions from Static Domain Analysis |
155
Voted
PAA
2006
15 years 2 months ago
2006
We present our studies on the application of Coupled Hidden Markov Models(CHMMs) to sports highlights extraction from broadcast video using both audio and video information. First,...
111
click to vote
DOCENG
2005
ACM
15 years 4 months ago
2005
ACM
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
100
click to vote
LREC
2010
15 years 4 months ago
2010
The vast amount of information freely available on the Web constitutes a unparalleled resource for the automatic knoweledge discovery and learning. In this paper we propose a study...
125
Voted
SAFECOMP
2004
Springer
15 years 8 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
109
Voted
DSD
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...