Bibek Kabi
Orcid: 0000-0003-1001-3641
According to our database1,
Bibek Kabi
authored at least 9 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Synthesizing invariants : a constraint programming approach based on zonotopic abstraction. (Synthèse d'invariants : une approche programmation par contraintes basée sur l'abstraction zonotopique).
PhD thesis, 2020
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020
2019
Range Analysis of Matrix Factorization Algorithms for an Overflow Free Fixed-point Design.
J. Signal Process. Syst., 2019
2017
An overflow free fixed-point eigenvalue decomposition algorithm: Case study of dimensionality reduction in hyperspectral images.
Proceedings of the 2017 Conference on Design and Architectures for Signal and Image Processing, 2017
2016
Development of numerical linear algebra algorithms in dynamic fixed-point format: a case study of Lanczos tridiagonalization.
Int. J. Circuit Theory Appl., 2016
2015
Comparative Evaluation of Symmetric SVD Algorithms for Real-time Face and Eye Tracking.
CoRR, 2015
A novel approach of speech emotion recognition with prosody, quality and derived features using SVM classifier for a class of North-Eastern Languages.
Proceedings of the 2nd IEEE International Conference on Recent Trends in Information Systems, 2015
2013
Voice Cues, Keyboard Entry and Mouse Click for Detection of Affective and Cognitive States: A Case for Use in Technology-Based Pedagogy.
Proceedings of the 2013 IEEE Fifth International Conference on Technology for Education, 2013