Sciweavers

18918 search results - page 603 / 3784
» Using Technology in Teaching
Sort
View
IAW
2003
IEEE
16 years 15 days ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ISWC
2003
IEEE
16 years 15 days ago
Using Multiple Sensors for Mobile Sign Language Recognition
We build upon a constrained, lab-based Sign Language recognition system with the goal of making it a mobile assistive technology. We examine using multiple sensors for disambiguat...
Helene Brashear, Thad Starner, Paul Lukowicz, Holg...
IV
2003
IEEE
150views Visualization» more  IV 2003»
16 years 15 days ago
Adapting Single-User Visualization Software for Collaborative Use
This paper presents our experiences with adapting single-user visualization software for web-based collaboration. Sun’s Java JXTA API was used to adapt an opensource molecular v...
Francis T. Marchese, Jude Mercado, Yi Pan
DOLAP
2003
ACM
16 years 14 days ago
Using AutoMed metadata in data warehousing environments
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
Hao Fan, Alexandra Poulovassilis
CAISE
2003
Springer
16 years 13 days ago
Evaluation of the SRA Tool Using Data Mining Techniques
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
Andreas Gregoriades, Alistair G. Sutcliffe, Harala...