Search results for "ETPS"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Amnon Meisels, Natalia Lusternik	Experiments on Networks of Employee Timetabling Problems.	PATAT	1997	DBLP DOI BibTeX RDF	Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks
108	Peter B. Andrews, Chad E. Brown	Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic.	CADE	2000	DBLP DOI BibTeX RDF
96	Tatiana Evreinova	Visualization of math expressions through modality-nonspecific signals.	Univers. Access Inf. Soc.	2009	DBLP DOI BibTeX RDF	Math accessibility, Visually challenged people, Modality-nonspecific signals
96	Tatiana Evreinova	Manipulating trigonometric expressions encodedthrough electro-tactile signals.	ICMI	2008	DBLP DOI BibTeX RDF	electro-tactile signals, trigonometry accessibility, visually challenged people
96	Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi	ETPS: A System to Help Students Write Formal Proofs.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	ETPS, GRADER, teaching logic, education, proofs
72	Andrea Schaerf, Amnon Meisels	Solving Employee Timetabling Problems by Generalized Local Search.	AI*IA	1999	DBLP DOI BibTeX RDF
36	Mohammad Tabrez Quasim, Khair ul Nisa, Khan Muhammad 0001, Mohammad Shahid Husain, Shadab Alam, Mohammed Shuaib, Mohammad Meraj, Monir Abdullah	An internet of things enabled machine learning model for Energy Theft Prevention System (ETPS) in Smart Cities.	J. Cloud Comput.	2023	DBLP DOI BibTeX RDF
36	Catalina I. Hurwitz, Suchismita Mishra, Robert T. Daigler, Ihsan Badshah	Dynamics of information leadership in the volatility complex with trading time changes: Evidence from VIX futures and VIX ETPs.	Algorithmic Finance	2022	DBLP DOI BibTeX RDF
36	Vignesh V. Menon, Hadi Amirpour, Mohammad Ghanbari 0001, Christian Timmerer	ETPS: Efficient Two-Pass Encoding Scheme for Adaptive Live Streaming.	ICIP	2022	DBLP DOI BibTeX RDF
36	Shuyu Zhang 0002, Chuanrong Li, Shi Qiu 0002, Caixia Gao, Feng Zhang 0009, Zhenhong Du, Renyi Liu	EMMCNN: An ETPS-Based Multi-Scale and Multi-Feature Method Using CNN for High Spatial Resolution Image Land-Cover Classification.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
36	Li Ming	RFID positioning algorithm based on electronic tracking system (ETPS).	Int. J. RF Technol. Res. Appl.	2018	DBLP DOI BibTeX RDF
24	Frank Pfenning	Analytic and Non-analytic Proofs.	CADE	1984	DBLP DOI BibTeX RDF