5775 search results - page 952 / 1155 » A Rationale-based Analysis Tool |
166
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
185
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
155
click to vote
ADAEUROPE
2004
Springer
16 years 2 days ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
180
click to vote
AMAST
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
158
click to vote
CIVR
2004
Springer
16 years 2 days ago
2004
Springer
There has been a concerted effort from the Video Retrieval community to develop tools that automate the annotation process of Sports video. In this paper, we provide an in-depth i...