10435 search results - page 1775 / 2087 » Computational Biology and Language |
196
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
196
click to vote
ACMSE
2005
ACM
16 years 11 days ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...
167
click to vote
GROUP
2005
ACM
16 years 11 days ago
2005
ACM
In this paper FrameDrops is presented. FrameDrops is a mobile VideoBlog—it allows users to capture videos and pictures on the move with modern mobile phones, and to send these d...
190
click to vote
IUI
2005
ACM
16 years 11 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...
220
click to vote
MMSEC
2005
ACM
16 years 11 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...