6167 search results - page 952 / 1234 » Can Refinement be Automated |
104
Voted
ICASSP
2009
IEEE
15 years 10 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...
134
click to vote
SEFM
2009
IEEE
15 years 10 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 ...
150
click to vote
VR
2009
IEEE
15 years 10 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...
133
click to vote
KBSE
2009
IEEE
15 years 10 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...
134
Voted
ICDM
2009
IEEE
15 years 10 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...