553 search results - page 73 / 111 » Learning Meets Verification |
BCSHCI
2007
13 years 11 months ago
2007
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...
DAGSTUHL
2008
13 years 11 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
ICIP
1995
IEEE
14 years 11 months ago
1995
IEEE
Traditionally, Markov models have not been successfully used for compression of signal data other than binary image data. Due to the fact that exact substring matches in non-binar...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
CBMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Performance on an information gathering task is shown to be superior in teleconference. Analysis of errors in an exercise revealed the data sources used in co-located and teleconf...