[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Solving simplification ordering constraints
- 作者Jouannaud, Jean-Pierre
- 文件大小920.92KB
- 发表时间1994
- DOI10.1007/BFb0016865
- 页码352-367
[Lecture Notes in Electrical Engineering] Advances in Electrical Engineering and Electrical Machines Volume 134 ||Zheng, Dehuai · 2011
[Lecture Notes in Electrical Engineering] Advances in Electrical Engineering and Computational Science Volume 39 ||Ao, Sio-Iong; Gelman, Len · 2009
[Lecture Notes in Electrical Engineering] Recent Advances in Electrical Engineering and Control Applications Volume 411 ||Chadli, Mohammed; Bououden, Sofiane; Zelinka, Ivan · 2017
[Lecture Notes in Electrical Engineering] Advances in Mechanical and Electronic Engineering Volume 176 ||Jin, David; Lin, Sally · 2012
[Lecture Notes in Electrical Engineering] Advances in Mechanical and Electronic Engineering Volume 177 ||Jin, David; Lin, Sally · 2012
[Lecture Notes in Electrical Engineering] Advances in Mechanical and Electronic Engineering Volume 178 ||Jin, David; Lin, Sally · 2013
[Lecture Notes in Electrical Engineering] AETA 2013: Recent Advances in Electrical Engineering and Related Sciences Volume 282 ||Zelinka, Ivan; Duy, Vo Hoang; Cha, Jaesang · 2014
[Lecture Notes in Electrical Engineering] AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Volume 415 ||Duy, Vo Hoang; Dao, Tran Trong; Kim, Sang Bong; Tien, Nguyen Tan; Zelinka, Ivan · 2017
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Sarcasm Detection of Amazon Alexa Sample SetRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Performance Analysis of Comparator for IoT ApplicationsRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Sorted Outlier Detection Approach Based on Silhouette CoefficientRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Human Activity Recognition in Video Benchmarks: A SurveyRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Density-Based Approach for Outlier Detection and RemovalRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || The Internet of Things: A Vision for Smart WorldRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || Fabrication and Characterization of Photojunction Field-Effect TransistorRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019
[Lecture Notes in Electrical Engineering] Advances in Signal Processing and Communication Volume 526 (Select Proceedings of ICSC 2018) || R-Peaks Detection Using Shannon Energy for HRV AnalysisRawat, Banmali S.; Trivedi, Aditya; Manhas, Sanjeev; Karwal, Vikram · 2019