1309 search results - page 204 / 262 » A Generic Approach to Topic Models |
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
111
click to vote
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
208
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...