740 search results - page 60 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...
134
click to vote
JAISE
2011
14 years 8 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
153
click to vote
IMR
2004
Springer
15 years 6 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
116
click to vote
SRDS
1998
IEEE
15 years 5 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...
130
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Today, it is possible to associate multiple CPUs and multiple GPUs in a single shared memory architecture. Using these resources efficiently in a seamless way is a challenging issu...