Seuraa
Khaled Bsaies
Khaled Bsaies
professeur Université Tunis El Manar
Ei vahvistettua sähköpostiosoitetta
Nimike
Viittaukset
Viittaukset
Vuosi
Computing preconditions and postconditions of while loops
O Mraihi, W Ghardallou, A Louhichi, L Labed Jilani, K Bsaies, A Mili
Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011
192011
Spes: A system for logic program transformation
F Alexandre, K Bsaïes, JP Finance, A Quere
Logic Programming and Automated Reasoning: International Conference LPAR'92 …, 1992
151992
Verifying while loops with invariant relations
A Louhichi, W Ghardallou, K Bsaies, LL Jilani, O Mraihi, A Mili
International Journal of Critical Computer-Based Systems 5 (1-2), 78-102, 2014
142014
Invariant functions and invariant relations: An alternative to invariant assertions
LL Jilani, O Mraihi, A Louhichi, W Ghardallou, K Bsaies, A Mili
Journal of Symbolic Computation 48, 1-36, 2013
142013
A versatile concept for the analysis of loops
W Ghardallou, O Mraihi, A Louhichi, LL Jilani, K Bsaies, A Mili
The Journal of Logic and Algebraic Programming 81 (5), 606-622, 2012
132012
Feature frequency inverse user frequency for dependant attribute to enhance recommendations
SB Ticha, A Roussanaly, A Boyer, K Bsaïes
SOTICS 2013, The Third International Conference on Social Eco-Informatics, 45-50, 2013
102013
Multi-temporal image change mining based on evidential conflict reasoning
F Haouas, B Solaiman, ZB Dhiaf, A Hamouda, K Bsaies
ISPRS journal of photogrammetry and remote sensing 151, 59-75, 2019
92019
User semantic preferences for collaborative recommendations
S Ben Ticha, A Roussanaly, A Boyer, K Bsaies
E-Commerce and Web Technologies: 13th International Conference, EC-Web 2012 …, 2012
92012
Invariant relations: An automated tool to analyze loops
A Louhichi, O Mraihi, W Ghardallou, LL Jilani, K Bsaies, A Mili
Fifth International Workshop on Verification and Evaluation of Computer and …, 2011
92011
On using mode input-output for transforming logic programs
F Alexandre, K Bsaies, A Quéré
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91 …, 1991
81991
User-feature model for hybrid recommender system
SB Ticha, A Roussanaly, A Boyer, K Bsaies
4th International Conference on Information Systems and Economic …, 2011
72011
A causal semantics for UML2. 0 sequence diagrams with nested combined fragments
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
12th International Conference on Evaluation of Novel Approaches to Software …, 2017
52017
Extending causal semantics of UML2. 0 sequence diagram for distributed systems
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015
42015
Static analysis for the synthesis of eureka properties for transforming logic programs
K Bsaïes
ALPUK92, 41-61, 1993
41993
Possibilistic BRISK method for an efficient registration (PBRISK)
WBEN Marzouka, B Solaiman, A Hammouda, ZB Dhief, K Bsaïes
2020 5th International Conference on Advanced Technologies for Signal and …, 2020
32020
Comparative study of feature detector and descriptor methods for registration
WB Marzouka, B Solaiman, A Hamouda, ZB Dhiaf, K Bsaies
Twelfth International Conference on Machine Vision (ICMV 2019) 11433, 949-954, 2020
32020
Refinement of UML2. 0 sequence diagrams for distributed systems
F Dhaou, I Mouakher, C Attiogbé, K Bsaïes
the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), 2016
32016
Construction de programmes logiques par synthèse de propriétés
K Bsaïes
Université Henri Poincaré-Nancy 1, 1993
31993
An Operational Semantics of UML2. X Sequence Diagrams for Distributed Systems
F Dhaou, I Mouakher, JC Attiogbé, K Bsaies
Evaluation of Novel Approaches to Software Engineering: 12th International …, 2018
22018
Rocchio algorithm to enhance semantically collaborative filtering
S Ben Ticha, A Roussanaly, A Boyer, K Bsaïes
Web Information Systems and Technologies: 10th International Conference …, 2015
22015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20