11066 search results - page 2049 / 2214 » Linearity in Process Languages |
216
click to vote
ISORC
2005
IEEE
16 years 16 days 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...
196
click to vote
IUI
2005
ACM
16 years 15 days 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...
223
click to vote
MMSEC
2005
ACM
16 years 15 days 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...
169
click to vote
SIGIR
2005
ACM
16 years 15 days 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...
162
click to vote
AIED
2005
Springer
16 years 15 days 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...