384 search results - page 24 / 77 » Temporal Development Methods for Agent-Based |
FTRTFT
1998
Springer
14 years 25 days ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...
TMM
2010
13 years 3 months ago
2010
Abstract--Automatic video annotation is a challenging yet important problem for content-based video indexing and retrieval. In most existing works, annotation is formulated as a mu...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
Individuals show different cell classes when they are in the different stages of a disease, have different disease subtypes, or have different response to a treatment or envir...
TASLP
2010
13 years 7 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...