Gila Kamhi

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 5

Top Topics

Discriminative Learning

Measurement Error

Gaussian Density

Top Venues

Publications

Guy Azov, Tatiana Pelc, Adi Fledel Alon, Gila Kamhi
Self-Improving Customer Review Response Generation Based on LLMs. CoRR (2024)
Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Omer Tsimhoni, Aharon Bar-Hillel, Naftali Tishby
Modeling the Effect of Driver's Eye Gaze Pattern Under Workload: Gaussian Mixture Approach. CogSci (2020)
Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Aharon Bar-Hillel, Naftali Tishby
Information Constrained Control for Visual Detection of Important Areas. ICASSP (2019)
Michael Baltaxe, Ruben Mergui, Kobi Nistel, Gila Kamhi
Marker-less Vision-based Detection of Improper Seat Belt Routing. IV (2019)
Ariel Telpaz, Michael Baltaxe, Ron M. Hecht, Guy Cohen-Lazry, Asaf Degani, Gila Kamhi
An Approach for Measurement of Passenger Comfort: Real-Time Classification based on In-Cabin and Exterior Data. ITSC (2018)
Sinem Aslan, Zehra Cataltepe, Itai Diner, Onur Dundar, Asli Arslan Esme, Ron Ferens, Gila Kamhi, Ece Oktay, Canan Soysal, Murat Yener
Learner Engagement Measurement and Classification in 1: 1 Learning. ICMLA (2014)
Eman Copty, Gila Kamhi, Sasha Novakovsky
Transaction level statistical analysis for efficient micro-architectural power and performance studies. DAC (2011)
Pinkesh J. Shah, Yoni Aizik, Muhammad K. Mhameed, Gila Kamhi
Challenges and methodologies for efficient power budgeting across the die. ACM Great Lakes Symposium on VLSI (2010)
Roni Wiener, Gila Kamhi, Moshe Y. Vardi
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. J. Low Power Electron. 5 (1) (2009)
Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg
MAGENTA: transaction-based statistical micro-architectural root-cause analysis. DAC (2009)
Roni Wiener, Gila Kamhi, Moshe Y. Vardi
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS (2008)
Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed
Power-Aware Design via Micro-architectural Link to Implementation. PATMOS (2008)
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman
A Temporal Language for SystemC. FMCAD (2008)
Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed
A new paradigm for synthesis and propagation of clock gating conditions. DAC (2008)
Pietro Babighian, Gila Kamhi, Moshe Y. Vardi
Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE (2007)
Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis
Early Power-Aware Design & Validation: Myth or Reality? DAC (2007)
Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron
Pattern search in hierarchical high-level designs. ICECS (2004)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient debugging in a formal verification environment. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS (2003)
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
A hybrid verification approach: getting deep into the design. DAC (2002)
Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem
Accelerated verification of RTL assertions based on satisfiability solvers. HLDVT (2002)
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
Benefits of Bounded Model Checking at an Industrial Setting. CAV (2001)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient Debugging in a Formal Verification Environment. CHARME (2001)
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
Is There a Best Symbolic Cycle-Detection Algorithm? TACAS (2001)
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV (2000)
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Gila Kamhi, Limor Fix
Adaptive variable reordering for symbolic model checking. ICCAD (1998)
Gila Kamhi, Limor Fix, Ziv Binyamini
Symbolic Model Checking Visualization. FMCAD (1998)
Gila Kamhi, Osnat Weissberg, Limor Fix
Automatic Datapath Extraction for Efficient Usage of HDD. CAV (1997)