Fadoua Ghourabi

19 papers C 1Misc 5Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Grid-LOGAT: Grid Based Local and Global Area Transcription for Video Question Answering.
CoRR
Md Intisar Chowdhury, Kittinun Aukkapinyo, Hiroshi Fujimura, Joo Ann Woo, Wasu Wasusatein, Fadoua Ghourabi
2025 C conf
PITR-Select: Partial Image Token Reduction via Temporal Selection for Efficient Video Understanding on Edge.
VCIP
Fadoua Ghourabi, Kittinun Aukkapinyo, Hiroshi Fujimura, Kriti Agarwal, Wasu Wasusatein
2018 J jnl
A Proof of the Compositions of Time Interval Relations.
CoRR
Fadoua Ghourabi, Kazuko Takahashi
2018 Misc conf
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?
AISC
Fadoua Ghourabi, Kazuko Takahashi
2017 Misc conf
Toward Non-flat Geometrical Origami Folds with Eos System.
SYNASC
Fadoua Ghourabi
2016 — ed.
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016
SCSS
James H. Davenport, Fadoua Ghourabi
2016 J jnl
Allen's Interval Calculus.
Arch. Formal Proofs
Fadoua Ghourabi
2015 J jnl
Formalizing polygonal knot origami.
J. Symb. Comput.
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2015 — conf
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.
ICAART (2)
Fadoua Ghourabi, Kazuko Takahashi
2013 Misc conf
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.
SYNASC
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2013 — conf
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.
SCSS
Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi
2012 — conf
Algebraic Analysis of Huzita's Origami Operations and Their Extensions.
Automated Deduction in Geometry
Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk
2011 J jnl
Morley's theorem revisited: Origami construction and automated proof.
J. Symb. Comput.
Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi
2011 Misc conf
Origami axioms and circle extension.
SAC
Asem Kasem, Fadoua Ghourabi, Tetsuo Ida
2010 — conf
Proof Documents for Automated Origami Theorem Proving.
Automated Deduction in Geometry
Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
2007 — conf
Computational Origami Construction as Constraint Solving and Rewriting.
WFLP@RDP
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi
2007 Misc conf
Logical and algebraic view of Huzita's origami axioms with applications to computational origami.
SAC
Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem
2007 — conf
Modeling Origami for Computational Construction and Beyond.
ICCSA (2)
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi
2006 — conf
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.
ICMS
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem