Sciweavers

3073 search results - page 156 / 615
» Real World Verification
Sort
View
ADC
2004
Springer
97views Database» more  ADC 2004»
15 years 10 months ago
Static Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
Ce Dong, James Bailey
WSC
2001
15 years 5 months ago
Enabling smooth and scalable dynamic 3D visualization of discrete-event construction simulations
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...
Vineet R. Kamat, Julio C. Martínez
NAR
1998
129views more  NAR 1998»
15 years 4 months ago
The guide RNA database
The RNA editing process in protozoan parasites is controlled by small RNA molecules known as guide RNAs (gRNAs). The gRNA database is a comprehensive compilation of published guid...
Augustine E. Souza, H. Ulrich Göringer
IAT
2006
IEEE
15 years 10 months ago
Engaging in a Conversation with Synthetic Agents along the Virtuality Continuum
Abstract During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfac...
Elisabeth André
ICIP
2008
IEEE
16 years 6 months ago
Real-time face alignment with tracking in video
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
Yanchao Su, Haizhou Ai, Shihong Lao