Sciweavers

2208 search results - page 278 / 442
» Memory Practices in the Sciences
Sort
View
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 19 days ago
Magnifying-Lens Abstraction for Markov Decision Processes
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
Luca de Alfaro, Pritam Roy
HICSS
2006
IEEE
149views Biometrics» more  HICSS 2006»
16 years 15 days ago
An Efficient Heuristic Search for Real-Time Frequent Pattern Mining
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...
Rajanish Dass, Ambuj Mahanti
HICSS
2006
IEEE
131views Biometrics» more  HICSS 2006»
16 years 15 days ago
Design and Characterization of a Hardware Encryption Management Unit for Secure Computing Platforms
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
Anthony J. Mahar, Peter M. Athanas, Stephen D. Cra...
IMSCCS
2006
IEEE
16 years 14 days ago
Parallel Multicategory Support Vector Machines (PMC-SVM) for Classifying Microcarray Data
Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of biological classification problems. However, the proc...
Chaoyang Zhang, Peng Li, Arun Rajendran, Youping D...
HICSS
2005
IEEE
164views Biometrics» more  HICSS 2005»
16 years 2 days ago
An Efficient Technique for Frequent Pattern Mining in Real-Time Business Applications
Association rule mining in real-time is of increasing thrust in many business applications. Applications such as e-commerce, recommender systems, supply-chain management and group...
Rajanish Dass, Ambuj Mahanti