5664 search results - page 976 / 1133 » Creativity support tools |
120
Voted
TSD
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. In the paper we introduce the on-line captioning system developed by our teams and used by the Czech Television (CTV), the public service broadcaster in the Czech Republi...
120
Voted
TSE
2010
15 years 27 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
111
Voted
TVCG
2010
15 years 27 days ago
2010
—Most images used in visualization are computed with the planar pinhole camera. This classic camera model has important advantages such as simplicity, which enables efficient sof...
171
Voted
ACMIDC
2010
15 years 17 days ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
138
Voted
IDEAS
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...