Sciweavers

34 search results - page 7 / 7
» Intra-Class Testing of Abstract Class Features
Sort
View
ICARIS
2010
Springer
13 years 6 months ago
Biomedical Article Classification Using an Agent-Based Model of T-Cell Cross-Regulation
Abstract. We propose a novel bio-inspired solution for biomedical article classification. Our method draws from an existing model of T-cell cross-regulation in the vertebrate immun...
Alaa Abi-Haidar, Luis Mateus Rocha
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
13 years 12 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
IPPS
1999
IEEE
13 years 10 months ago
Non-Preemptive Scheduling of Real-Time Threads on Multi-Level-Context Architectures
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
Jan Jonsson, Henrik Lönn, Kang G. Shin
INFORMATICALT
2007
167views more  INFORMATICALT 2007»
13 years 5 months ago
Ultrasound Quantitative Evaluation of Human Eye Cataract
Abstract. A technique to improve an eye cataract early detection and quantitative evaluation of maturity using ultrasound was investigated. A broadband coherent signal, backscatter...
Alvydas Paunksnis, Skaidra Kurapkiene, Audris Maci...