1078 search results - page 190 / 216 » Modelling and Verifying of e-Commerce Systems |
106
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Recently, it appears on the agenda of many organizations the concept of IT governance in order to justify and mainly optimize IT investments. Some studies have shown that companie...
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
116
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
125
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose a person-dependent, manifold-based approach for modeling and tracking rigid and nonrigid 3D facial deformations from a monocular video sequence. The rigid and nonrigid ...
134
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Speaker verification is a technology of verifying the claimed identity of a speaker based on the speech signal from the speaker (voice print). To learn the score of similarity be...