4066 search results - page 496 / 814 » Almost Complete Sets |
208
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
237
click to vote
VW
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...
245
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
206
Voted
AAAI
2008
15 years 9 months ago
2008
Usually a voting rule requires agents to give their preferences as linear orders. However, in some cases it is impractical for an agent to give a linear order over all the alterna...
224
click to vote
AAAI
2008
15 years 9 months ago
2008
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...