11066 search results - page 2049 / 2214 » Linearity in Process Languages |
153
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
148
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...
162
click to vote
MMSEC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we propose a new fragile watermarking scheme for 3D meshes. Firstly, the watermark information is adaptively embedded into the mesh geometry by slightly adjusting t...
122
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Informal communication (e-mail, bulletin boards) poses a difficult learning environment because traditional grammatical and lexical information are noisy. Other information is nec...
115
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...