Sciweavers

2949 search results - page 489 / 590
» Universal Sparse Modeling
Sort
View
WETICE
2006
IEEE
14 years 3 months ago
Security Verification Techniques Applied to PatchLink COTS Software
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
CSB
2005
IEEE
156views Bioinformatics» more  CSB 2005»
14 years 2 months ago
A Robust Meta-classification Strategy for Cancer Diagnosis from Gene Expression Data
One of the major challenges in cancer diagnosis from microarray data is to develop robust classification models which are independent of the analysis techniques used and can combi...
Gabriela Alexe, Gyan Bhanot, Babu Venkataraghavan,...
FOCS
2005
IEEE
14 years 2 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
HAPTICS
2005
IEEE
14 years 2 months ago
High Fidelity Multi Finger Haptic Display
The Fingertip Haptic Display (FHD) is a five bar mechanism developed at the University of Washington for haptic interaction with the fingertip of the operator. The twodegree-of-...
Rainer Leuschke, Elizabeth K. T. Kurihara, Jesse D...
ICMCS
2005
IEEE
70views Multimedia» more  ICMCS 2005»
14 years 2 months ago
A Multimodal Complexity Comprehension-Time Framework for Automated Presentation Synthesis
In this paper, we present a joint multimodal (audio, visual and text) framework to map the informational complexity of the media elements to comprehension time. The problem is imp...
Harini Sridharan, Aankus Mani, Hari Sundaram