1633 search results - page 249 / 327 » On the Verification of Temporal Properties |
ICVGIP
2004
14 years 5 days ago
2004
A segmentation algorithm, which can detect different regions of a handwritten document such as text lines, tables and sketches will be extremely useful in a variety of application...
IJCAI
2001
14 years 5 days ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
ICANN
2010
Springer
13 years 12 months ago
2010
Springer
We propose a model of the hippocampus aimed at learning the timed association between subsequent sensory events. The properties of the neural network allow it to learn and predict ...
ICASSP
2010
IEEE
13 years 11 months ago
2010
IEEE
We propose a new type of audio feature (HFCC-ENS) as well as an unsupervised method for detecting short sequences of spoken words (key-phrases) within long speech recordings. Our ...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...