6167 search results - page 952 / 1234 » Can Refinement be Automated |
80
Voted
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...
109
Voted
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
127
Voted
VR
2009
IEEE
15 years 7 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
107
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
109
Voted
ICDM
2009
IEEE
15 years 7 months ago
2009
IEEE
— Redistricting is the process of dividing a geographic area into districts or zones. This process has been considered in the past as a problem that is computationally too comple...