Sciweavers

4008 search results - page 125 / 802
» An expressive language of signatures
Sort
View
LREC
2008
126views Education» more  LREC 2008»
15 years 7 months ago
Extraction of Informative Expressions from Domain-specific Documents
What kinds of lexical resources are helpful for extracting useful information from domain-specific documents? Although domain-specific documents contain much useful knowledge, it ...
Eiko Yamamoto, Hitoshi Isahara, Akira Terada, Yasu...
IWEC
2004
15 years 7 months ago
Commedia Virtuale: Theatre Inspiration for Expressive Avatars
We are investigating face, hand and body expressions to be applied to avatars of a virtual environment to improve their communication capabilities and enrich and facilitate their p...
Ben Salem
JSW
2008
145views more  JSW 2008»
15 years 6 months ago
Analysis and Visualization of Gene Expressions and Protein Structures
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
Ashraf S. Hussein
JAVACARD
2000
15 years 10 months ago
Formal Specification and Verification of JavaCard's Application Identifier Class
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
Joachim van den Berg, Bart Jacobs, Erik Poll
SIGMOD
2005
ACM
150views Database» more  SIGMOD 2005»
16 years 6 months ago
Incremental Maintenance of Path Expression Views
Caching data by maintaining materialized views typically requires updating the cache appropriately to reflect dynamic source updates. Extensive research has addressed the problem ...
Arsany Sawires, Jun'ichi Tatemura, Oliver Po, Divy...