Sciweavers

3238 search results - page 35 / 648
» On the Computational Interpretation of Negation
Sort
View
CVPR
2001
IEEE
14 years 12 months ago
Small Sample Learning during Multimedia Retrieval using BiasMap
All positive examples are alike; each negative example is negative in its own way. During interactive multimedia information retrieval, the number of training samples fed-back by ...
Xiang Sean Zhou, Thomas S. Huang
CCECE
2006
IEEE
14 years 3 months ago
Linearization Techniques for Cross-Coupled Transconductor Circuits Used in Integrated Q-Enhanced LC Filters
Integrated Q-enhanced RF LC filters using negative resistances implemented using cross coupled pairs frequently suffer from poor linearity performance. Several linearization met...
Holly Pekau, Jim Kulyk, James W. Haslett, Leonid B...
DSN
2003
IEEE
14 years 3 months ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
WOLLIC
2009
Springer
14 years 4 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari