Search results for "GSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
180	Stavroula-Evita Fotinea, Eleni Efthimiou, George Caridakis, Kostas Karpouzis	A knowledge-based sign synthesis architecture.	Univers. Access Inf. Soc.	2008	DBLP DOI BibTeX RDF	Sign synthesis, Lexicon and grammar coding, Virtual signing, Sign language resources, Linguistic knowledge
92	Carroll Morgan	The Generalised Substitution Language Extended to Probabilistic Programs.	B	1998	DBLP DOI BibTeX RDF	GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions
80	Eleni Efthimiou, Galini Sapountzaki, Kostas Karpouzis, Stavroula-Evita Fotinea	Developing an e-Learning Platform for the Greek Sign Language.	ICCHP	2004	DBLP DOI BibTeX RDF
72	Eleni Efthimiou, Stavroula-Evita Fotinea	GSLC: Creation and Annotation of a Greek Sign Language Corpus for HCI.	HCI (5)	2007	DBLP DOI BibTeX RDF	sign language corpus, GSL, sign recognition, human-computer interaction, annotation
60	Vassilia N. Paschaloudi, Konstantinos G. Margaritis	Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars.	SETN	2006	DBLP DOI BibTeX RDF
60	Klimis Antzakas, Bencie Woll	Head Movements and Negation in Greek Sign Language.	Gesture Workshop	2001	DBLP DOI BibTeX RDF
52	Ioanna Antoniou-Kritikou, Constandina Economou	Localization of Educational Software for Deaf Children: Suggestions and Perspectives.	WSKS (2)	2008	DBLP DOI BibTeX RDF	GSL, deaf children, localization, educational software
49	Bill Stoddart, Frank Zeyda	Expression Transformers in B-GSL.	ZB	2003	DBLP DOI BibTeX RDF	Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers
40	Ahmed M. Safwat, Hossam S. Hassanein, Hussein T. Mouftah	A Framework for Wireless Ad hoc Networks with a Quasi-Guaranteed Minimum System Lifetime.	ISCC	2003	DBLP DOI BibTeX RDF
40	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
40	Vassilia N. Pashaloudi, Konstantinos G. Margaritis	Towards an Assistive Tool for Greek Sign Language Communication.	ICALT	2003	DBLP DOI BibTeX RDF
29	Subhajit Sahu	GSL-LPA: Fast Label Propagation Algorithm (LPA) for Community Detection with no Internally-Disconnected Communities.	CoRR	2024	DBLP DOI BibTeX RDF
29	Wenhui Wei, Kaizhu Huang, Xin Liu, Yangfan Zhou	GSL-VO: A Geometric-Semantic Information Enhanced Lightweight Visual Odometry in Dynamic Environments.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
29	Antoine Honoré, Anubhab Ghosh, Saikat Chatterjee	Compressed Sensing of Generative Sparse-latent (GSL) Signals.	CoRR	2023	DBLP DOI BibTeX RDF
29	Dongcheng Zou, Hao Peng 0001, Xiang Huang, Renyu Yang, Jianxin Li 0002, Jia Wu 0001, Chunyang Liu, Philip S. Yu	SE-GSL: A General and Effective Graph Structure Learning Framework through Structural Entropy Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
29	Dongcheng Zou, Hao Peng 0001, Xiang Huang, Renyu Yang, Jianxin Li 0002, Jia Wu 0001, Chunyang Liu, Philip S. Yu	SE-GSL: A General and Effective Graph Structure Learning Framework through Structural Entropy Optimization.	WWW	2023	DBLP DOI BibTeX RDF
29	Katerina Papadimitriou, Galini Sapountzaki, Kyriaki Vasilaki, Eleni Efthimiou, Stavroula-Evita Fotinea, Gerasimos Potamianos	SL-REDU GSL: A Large Greek Sign Language Recognition Corpus.	ICASSP Workshops	2023	DBLP DOI BibTeX RDF
29	Antoine Honoré, Anubhab Ghosh, Saikat Chatterjee	Compressed Sensing of Generative Sparse-Latent (GSL) Signals.	EUSIPCO	2023	DBLP DOI BibTeX RDF
29	David Jammer, Peter Junglas, Sven Pawletta	Solving ARGESIM Benchmark CP2 'Parallel and Distributed Simulation' with Open MPI/GSL and Matlab PCT - Monte Carlo and PDE Case Studies.	Simul. Notes Eur.	2022	DBLP DOI BibTeX RDF
29	Ioannis Sfyrakis, Thomas Gross 0001	GSL: A Cryptographic Library for the strong RSA Graph Signature Scheme.	CoRR	2020	DBLP BibTeX RDF
29	Enhua Guo, Fuxin Zhang	From Offline to Online: The Reduced Embodiment in Teacher-Initiated Turn-Taking in GSL Instructions.	ICWL/SETE	2020	DBLP DOI BibTeX RDF
29	Mohammad Mahdi Modiri, Javad Mohajeri, Mahmoud Salmasizadeh	GSL-AKA: Group-based Secure Lightweight Authentication and Key Agreement Protocol for M2M Communication.	IST	2018	DBLP DOI BibTeX RDF
29	Shin-ichi Sato	gsl-dfs: A Lightweight Goal Selection Algorithm Based on a Goal Selection Criterion.	ACIT/CSII/BCD	2017	DBLP DOI BibTeX RDF
29	Ludwic Leonard Méndez, Ernesto Izquierdo Clua, Miguel Katrib Mora	GSL - Un Lenguaje de Dominio Específico para la Definición de Gráficos.	CIbSE	2013	DBLP BibTeX RDF
29	Stavroula-Evita Fotinea, Eleni Efthimiou, Athanasia-Lida Dimou	Sign Language Computer-Aided Education: Exploiting GSL Resources and Technologies for Web Deaf Communication.	ICCHP (2)	2012	DBLP DOI BibTeX RDF
29	José Ignacio Aliaga, Francisco Almeida, José M. Badía, Sergio Barrachina 0001, Vicente Blanco Pérez, María Isabel Castillo, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Alfredo Remón, Casiano Rodríguez, Francisco de Sande, Adrián Santos	Toward the parallelization of GSL.	J. Supercomput.	2009	DBLP DOI BibTeX RDF	GNU Scientific Library, Numerical scientific computing, Web services, Parallel algorithms and architectures
29	Mark Galassi, Jim Davies, James Theiler, Brian Gough, Gerard Jungman	GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12.		2009	RDF
29	José Ignacio Aliaga, José M. Badía, Sergio Barrachina 0001, Maribel Castillo, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Francisco Almeida, Vicente Blanco Pérez, Casiano Rodríguez, Francisco de Sande, Adrián Santos	Parallelization of GSL: The Web Service Interface.	PDP	2006	DBLP DOI BibTeX RDF
29	José Ignacio Aliaga, Francisco Almeida, José M. Badía, Sergio Barrachina 0001, Vicente Blanco Pérez, Maribel Castillo, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Casiano Rodríguez, Francisco de Sande, Adrián Santos	Parallelization of GSL on Clusters of Symmetric Multiprocessors.	PARCO	2005	DBLP BibTeX RDF
29	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
29	José Ignacio Aliaga, Francisco Almeida, José M. Badía, Sergio Barrachina-Mir, Vicente Blanco Pérez, María Isabel Castillo, U. Dorta, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Casiano Rodríguez, Francisco de Sande	Parallelization of GSL: Architecture, Interfaces, and Programming Models.	PVM/MPI	2004	DBLP DOI BibTeX RDF
29	José Ignacio Aliaga, Francisco Almeida, José M. Badía, Sergio Barrachina 0001, Vicente Blanco Pérez, María Isabel Castillo, U. Dorta, Rafael Mayo 0002, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Casiano Rodríguez, Francisco de Sande	Parallelization of GSL: Performance of Case Studies.	PARA	2004	DBLP DOI BibTeX RDF
29	Ahmed M. Safwat, Hossam S. Hassanein, Hussein T. Mouftah	Q-GSL: a framework for energy-conserving wireless multi-hop ad hoc networks.	ICC	2003	DBLP DOI BibTeX RDF
29	Bill Stoddart	An Execution Architecture for GSL.	ZB	2000	DBLP DOI BibTeX RDF	Animation, Virtual Machines, Reversible Computation, B
29	Pathirage Gamini Wijayarathna, Y. Kawata, A. Santosa, K. Isogai, Mamoru Maekawa	GSL: A Requirements Specification Language for End-User Intelligibility.	Softw. Pract. Exp.	1998	DBLP DOI BibTeX RDF
20	Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su 0001	Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.	ISSTA	2010	DBLP DOI BibTeX RDF	testing, stability, floating-point, perturbation, numerical code
20	Jonghwa Kim 0001, Johannes Wagner 0001, Matthias Rehm, Elisabeth André	Bi-channel sensor fusion for automatic sign language recognition.	FG	2008	DBLP DOI BibTeX RDF
20	Steve Dunne	Chorus Angelorum.	B	2007	DBLP DOI BibTeX RDF
20	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
20	Francisco Almeida, Sergio Barrachina 0001, Vicente Blanco Pérez, Enrique S. Quintana-Ortí, Adrián Santos	An Open Source Web Service Based Platform for Heterogeneous Clusters.	ISPA	2006	DBLP DOI BibTeX RDF
20	Walter Schreppers, Franky Backeljauw, Annie A. M. Cuyt	MPL: A Multiprecision Matlab - Like Environment.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
20	Britta Bauer, Hermann Hienz, Karl-Friedrich Kraiss	Video-Based Continuous Sign Language Recognition Using Statistical Methods.	ICPR	2000	DBLP DOI BibTeX RDF
20	Britta Bauer, Hermann Hienz	Relevant Features for Video-Based Continuous Sign Language Recognition.	FG	2000	DBLP DOI BibTeX RDF	video-based human-computer interaction, feature extraction, Hidden Markov Models, statistical pattern recognition, sign language recognition