Search results for "FORTH"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Finnian Kelly, Andrea Fröhlich, Volker Dellwo, Oscar Forth, Samuel Kent, Anil Alexander	Evaluation of VOCALISE under conditions reflecting those of a real forensic voice comparison case (forensic_eval_01).	Speech Commun.	2019	DBLP DOI BibTeX RDF
33	Ping Xiao, Hannu Toivonen, Oskar Gross, Amílcar Cardoso, João Correia 0001, Penousal Machado, Pedro Martins 0003, Hugo Gonçalo Oliveira, Rahul Sharma 0008, Alexandre Miguel Pinto, Alberto Díaz 0001, Virginia Francisco, Pablo Gervás, Raquel Hervás, Carlos León 0002, Jamie Forth, Matthew Purver, Geraint A. Wiggins, Dragana Miljkovic, Vid Podpecan, Senja Pollak, Jan Kralj, Martin Znidarsic, Marko Bohanec, Nada Lavrac, Tanja Urbancic, Frank van der Velde, Stuart Adam Battersby	Conceptual Representations for Computational Concept Creation.	ACM Comput. Surv.	2019	DBLP DOI BibTeX RDF
33	Bruce Christianson, Shaun A. Forth, Andreas Griewank	Preface.	Optim. Methods Softw.	2018	DBLP DOI BibTeX RDF
33	Geraint A. Wiggins, Jamie Forth	Computational Creativity and Live Algorithms.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Roger T. Dean, Jamie Forth	Towards a Deep Improviser: a prototype deep learning post-tonal free music generator.	CoRR	2017	DBLP BibTeX RDF
33	Sheila Pontis, Genovefa Kefalidou, Ann Blandford, Jamie Forth, Stephann Makri, Sarah Sharples, Geraint A. Wiggins, Mel Woods	Academics' responses to encountered information: Context matters.	J. Assoc. Inf. Sci. Technol.	2016	DBLP DOI BibTeX RDF
33	César Lincoln C. Mattos, Zhenwen Dai, Andreas C. Damianou, Jeremy Forth, Guilherme A. Barreto, Neil D. Lawrence	Recurrent Gaussian Processes.	ICLR (Poster)	2016	DBLP BibTeX RDF
33	Kat Agres, Jamie Forth, Geraint A. Wiggins	Evaluation of Musical Creativity and Musical Metacreation Systems.	Comput. Entertain.	2016	DBLP DOI BibTeX RDF
33	Finnian Kelly, Anil Alexander, Oscar Forth, Samuel Kent, Jonas Lindh, Joel Åkesson	Identifying Perceptually Similar Voices with a Speaker Recognition System Using Auto-Phonetic Features.	INTERSPEECH	2016	DBLP BibTeX RDF
33	Sascha S. Griffiths, Mariano Mora-Mcginity, Jamie Forth, Matthew Purver, Geraint A. Wiggins	Information-Theoretic Segmentation of Natural Language.	AIC	2015	DBLP BibTeX RDF
33	Jamie Forth, Athanasios Giannimaras, Geraint A. Wiggins, Robert J. Stewart 0001, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods	Demonstrating SerenA: Chance Encounters in the Space of Ideas.	PAAMS	2013	DBLP DOI BibTeX RDF
33	Jamie Forth, Thanasis Giannimaras, Geraint A. Wiggins, Robert J. Stewart 0001, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods	SerenA: A Multi-site Pervasive Agent Environment That Supports Serendipitous Discovery in Research.	PAAMS	2013	DBLP DOI BibTeX RDF
33	Mel Woods, Hadi Mehrpouya, Jamie Forth	Booksight: Visualising the Library of Ideas.	EVA	2013	DBLP BibTeX RDF
33	Marina Menshikova, Shaun A. Forth	Automatic differentiation of quadrature.	Optim. Methods Softw.	2012	DBLP DOI BibTeX RDF
33	Qian Yang, Bradford Diephuis, Virginia Chu, Katharine E. Forth	iBALANCE - Hardware and Software Design for a Mobile Diagnostic Device that Assesses Human Balance.	HEALTHINF	2011	DBLP BibTeX RDF
33	Shaun A. Forth, Naveen Kr. Sharma	A sparse matrix approach to reverse mode automatic differentiation in Matlab.	ICCS	2010	DBLP DOI BibTeX RDF
33	Jamie Forth, Geraint A. Wiggins, Alex McLean	Unifying Conceptual Spaces: Concept Formation in Musical Creative Systems.	Minds Mach.	2010	DBLP DOI BibTeX RDF
33	Thomas Forth, Glenn A. McConkey, David R. Westhead	MetNetMaker: a free and open-source tool for the creation of novel metabolic networks in SBML format.	Bioinform.	2010	DBLP DOI BibTeX RDF
33	Jeremy Forth, Rob Miller 0002	Ramifications: An Extension and Correspondence Result for the Event Calculus.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
33	Shaun A. Forth	An efficient overloaded implementation of forward mode automatic differentiation in MATLAB.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	efficient computation of Jacobians, MATLAB
33	Jeremy Forth, Kostas Stathis, Francesca Toni	Decision Making with a KGP Agent System.	J. Decis. Syst.	2006	DBLP DOI BibTeX RDF
33	Rahul V. Kharche, Shaun A. Forth	Source Transformation for MATLAB Automatic Differentiation.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
33	Trevor J. Ringrose, Shaun A. Forth	Simplifying Multivariate Second-Order Response Surfaces by Fitting Constrained Models Using Automatic Differentiation.	Technometrics	2005	DBLP DOI BibTeX RDF
33	Lawrence F. Shampine, Robert Ketzscher, Shaun A. Forth	Using AD to solve BVPs in MATLAB.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	BVP, Matlab, AD
33	Alexander Yip, Jeremy Forth, Kostas Stathis, Antonis C. Kakas	Software Anatomy of a KGP Agent.	EUMAS	2005	DBLP BibTeX RDF
33	Shaun A. Forth, Mohamed Tadjouddine, John D. Pryce, John K. Reid	Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	vertex elimination, Jacobian, source transformation
33	Jeremy Forth, Murray Shanahan	Indirect and Conditional Sensing in the Event Calculus.	ECAI	2004	DBLP BibTeX RDF
33	Marek Hatala, Steven Forth	System for Computer-aided Metadata Creation.	WWW (Posters)	2003	DBLP BibTeX RDF
33	Mohamed Tadjouddine, Shaun A. Forth, John D. Pryce	Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
33	Jeremy Forth	Indirect and Conditional Sensing in the Event Calculus.	IJCAI	2003	DBLP BibTeX RDF
33	Trevor J. Ringrose, Shaun A. Forth	Improved Fitting of Constrained Multivariate Regression Models using Automatic Differentiation.	COMPSTAT	2002	DBLP DOI BibTeX RDF
33	Mohamed Tadjouddine, Shaun A. Forth, John D. Pryce, John K. Reid	Performance Issues for Vertex Elimination Methods in Computing Jacobians Using Automatic Differentiation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
33	Riccardo Forth, Paul Molitor	An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines.	ASP-DAC	2000	DBLP DOI BibTeX RDF
33	Riccardo Forth, Paul Molitor	Permutation Independent Comparison of Pseudo Boolean Functions.	MBMV	2000	DBLP BibTeX RDF
33	Leslie Forth, Raymond S. Duley	A coded data transceiver for the Star Local Area Network (StarLAN).	IEEE J. Sel. Areas Commun.	1988	DBLP DOI BibTeX RDF
28	Paul Frenger	Forth & small systems report: potential unrealized: the MicroMED advisor.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
28	Juan Jesús Sánchez Sánchez, Gerardo Gómez, David Morales-Jiménez, José T. Entrambasaguas	Performance evaluation of OFDMA wireless systems using WM-SIM platform.	MOBIWAC	2006	DBLP DOI BibTeX RDF	simulator, performance, wireless, platform, OFDMA
28	Edmund M. Clarke, Anubhav Gupta 0001, Himanshu Jain, Helmut Veith	Model Checking: Back and Forth between Hardware and Software.	VSTTE	2005	DBLP DOI BibTeX RDF
28	Giorgos Kokkinidis, Vassilis Christophides	Semantic Query Routing and Processing in P2P Database Systems: The ICS-FORTH SQPeer Middleware.	EDBT Workshops	2004	DBLP DOI BibTeX RDF
28	Paul Frenger	EXTREME Forth.	ACM SIGPLAN Notices	2001	DBLP DOI BibTeX RDF
28	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
24	Hao Long, Shujie Song	The Analysis of Aircraft Maneuver Efficiency within Extend Flight Envelop.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Maneuver Efficiency, RHO, Flight Envelop, Flight Control
24	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
24	Robert E. Bruccoleri	WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	FORTRAN C
24	Eugene E. McDonnell	Life: Nasty, Brutish, and Short.	APL	1988	DBLP DOI BibTeX RDF	APL
24	Robert M. Henry	Skills possessed and skills useful for MIS practitioners: a research report.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
20	Sen-Zhe Xu 0001, Fiona Xiao Yu Chen, Ran Gong, Fang-Lue Zhang, Song-Hai Zhang	BiRD: Using Bidirectional Rotation Gain Differences to Redirect Users during Back-and-forth Head Turns in Walking.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
20	Hongliang Li, Pingbing Ming	An asymptotic-preserving finite element method for a forth order singular perturbation problem with boundary layers.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF
20	Yan Liu, Xiaolin Meng, Liangliang Hu, Yan Bao, Craig M. Hancock	Application of Response Surface-Corrected Finite Element Model and Bayesian Neural Networks to Predict the Dynamic Response of Forth Road Bridges under Strong Winds.	Sensors	2024	DBLP DOI BibTeX RDF
20	Xukai Mu, Wei Gao, Xiaolei Li 0004, Guangliang Li	Coverage Path Planning for UAV Based on Improved Back-and-Forth Mode.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Ignacio Nieto Larrain, José-Carlos Mariátegui, David Maulén de los Reyes	Back and forth: cybernetics interrelations and how it spread in Latin America.	AI Soc.	2022	DBLP DOI BibTeX RDF
20	Takashi Isobe, Xu Jia, Xin Tao 0001, Changlin Li, Ruihuang Li, Yongjie Shi, Jing Mu, Huchuan Lu, Yu-Wing Tai	Look Back and Forth: Video Super-Resolution with Explicit Temporal Difference Modeling.	CoRR	2022	DBLP DOI BibTeX RDF
20	Wenbin Dong, Yingjie Liu, Hansong Tang	Accuracy Enhancing Interface Treatment Algorithm: The Back and Forth Error Compensation and Correction Method.	J. Sci. Comput.	2022	DBLP DOI BibTeX RDF
20	Gibran Gómez, Pedro Moreno-Sanchez, Juan Caballero	Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration.	CCS	2022	DBLP DOI BibTeX RDF
20	Hong Zhang, Haruka Shoda, Saizo Aoyagi, Michiya Yamamoto	A Study on the Back and Forth Manzai of Milkboy by Focusing on Embodied Motions and Actions for Liven-Up.	HCI (45)	2022	DBLP DOI BibTeX RDF
20	Boguslaw Cyganek	Small Footprint Embedded Systems Paradigm Based on a Novel and Scalable Implementation of FORTH.	FedCSIS (Position Papers)	2022	DBLP DOI BibTeX RDF
20	Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink	Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
20	Takashi Isobe, Xu Jia, Xin Tao 0001, Changlin Li, Ruihuang Li, Yongjie Shi, Jing Mu, Huchuan Lu, Yu-Wing Tai	Look Back and Forth: Video Super-Resolution with Explicit Temporal Difference Modeling.	CVPR	2022	DBLP DOI BibTeX RDF
20	Dominik Kirst	Computational Back-And-Forth Arguments in Constructive Type Theory.	ITP	2022	DBLP DOI BibTeX RDF
20	Kazuki Yamada, Sho Yokota, Akihiro Matsumoto, Daisuke Chugo, Hiroshi Hashimoto	Development of a Walking Promotion Device using Arm Swing Induced by Parametric Excitation : Forth report: Consideration of Influence of Device on Circular Walking.	SII	2022	DBLP DOI BibTeX RDF
20	Thomas Body, Xiaohui Tao, Yuefeng Li, Lin Li 0001, Ning Zhong 0001	Using back-and-forth translation to create artificial augmented textual data for sentiment analysis models.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
20	Cleophas D. K. Mutepfe, Viranjay M. Srivastava	Designing of Novel Eighth-Mode Forth-Order Substrate Integrated Waveguide Band-Pass Filter with High Selectivity.	J. Commun.	2021	DBLP DOI BibTeX RDF
20	Peng Yu, Can Wan, Yonghua Song, Yibao Jiang	Distributed Control of Multi-Energy Storage Systems for Voltage Regulation in Distribution Networks: A Back-and-Forth Communication Framework.	IEEE Trans. Smart Grid	2021	DBLP DOI BibTeX RDF
20	Rik Koncel-Kedziorski, Noah A. Smith	Go Forth and Prosper: Language Modeling with Ancient Textual History.	CoRR	2021	DBLP BibTeX RDF
20	Wenbin Dong, Yingjie Liu, Hansong Tang	Accuracy Enhancing Interface Treatment Algorithm: the Back and Forth Error Compensation and Correction method.	CoRR	2021	DBLP BibTeX RDF
20	Rafael Correa, Abderrahim Hantoute, Marco A. López 0001	Subdifferential of the supremum function: moving back and forth between continuous and non-continuous settings.	Math. Program.	2021	DBLP DOI BibTeX RDF
20	Lucas Brivadis, Vincent Andrieu, Ulysse Serres, Jean-Paul Gauthier	Luenberger Observers for Infinite-Dimensional Systems, Back and Forth Nudging, and Application to a Crystallization Process.	SIAM J. Control. Optim.	2021	DBLP DOI BibTeX RDF
20	Kirill Ragozin, Kai Kunze, Teresa Hirzle, Benjamin Tag, Yuji Uema, Enrico Rukzio, Jamie A. Ward	Eyewear 2021 The Forth Workshop on Eyewear Computing - Augmenting Social Situations and Democratizing Tools.	UbiComp/ISWC Adjunct	2021	DBLP DOI BibTeX RDF
20	Lucas Brivadis, Ludovic Sacchelli	Approximate observability and back and forth observer of a PDE model of crystallization process.	CDC	2021	DBLP DOI BibTeX RDF
20	Zunjie Yu, Yong Zhao, Weihai Zhang	Study on Consensus of the Forth-Order Discrete-Time Multiagent System in Directed Networks.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Matt Jacobs, Flavien Léger	A fast approach to optimal transport: the back-and-forth method.	Numerische Mathematik	2020	DBLP DOI BibTeX RDF
20	Matt Jacobs, Wonjun Lee 0004, Flavien Léger	The back-and-forth method for Wasserstein gradient flows.	CoRR	2020	DBLP BibTeX RDF
20	Hyomin Choi, Robert A. Cohen, Ivan V. Bajic	Back-and-Forth prediction for deep tensor compression.	CoRR	2020	DBLP BibTeX RDF
20	Jie Tang, ChengYao Cai, LiuYing Huang, Xing Ji	New Digital Media Technologies Put Forth Cross-domain Design.	HCI (12)	2020	DBLP DOI BibTeX RDF
20	Tuuli Turja, Jaana Parviainen	The Use of Affective Care Robots Calls Forth Value-based Consideration.	RO-MAN	2020	DBLP DOI BibTeX RDF
20	Hyomin Choi, Robert A. Cohen, Ivan V. Bajic	Back-And-Forth Prediction for Deep Tensor Compression.	ICASSP	2020	DBLP DOI BibTeX RDF
20	Jean Roberto Antunes, Lisane B. de Brisolara, Paulo R. Ferreira Jr.	UAVs as Data Collectors in the WSNs: Investigating the Effects of Back-and-Forth and Spiral Coverage Paths in the Network Lifetime.	SBESC	2020	DBLP DOI BibTeX RDF
20	Xiaolin Meng, Dinh Tung Nguyen, John S. Owen, Yilin Xie, Panagiotis Psimoulis, George Ye	Application of GeoSHM System in Monitoring Extreme Wind Events at the Forth Road Bridge.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
20	E. Alexandra Micu, Abdollah Malekjafarian, Eugene J. OBrien, Michael Quilligan, Ross McKinstray, Ewan Angus, Myra Lydon, Fikret Necati Catbas	Evaluation of the extreme traffic load effects on the Forth Road Bridge using image analysis of traffic data.	Adv. Eng. Softw.	2019	DBLP DOI BibTeX RDF
20	Vivek Natarajan, Hua-Cheng Zhou, George Weiss, Emilia Fridman	Exact controllability of a class of nonlinear distributed parameter systems using back-and-forth iterations.	Int. J. Control	2019	DBLP DOI BibTeX RDF
20	Xin Wang 0016, Yingjie Liu	Back and forth error compensation and correction method for linear hyperbolic systems with application to the Maxwell's equations.	J. Comput. Phys. X	2019	DBLP DOI BibTeX RDF
20	Shuichi Fukuda	The New World IoT Is Bringing Forth.	TE	2019	DBLP DOI BibTeX RDF
20	Qusen Chen, Weiping Jiang, Xiaolin Meng, Peng Jiang, Kaihua Wang, Yilin Xie, Jun Ye	Vertical Deformation Monitoring of the Suspension Bridge Tower Using GNSS: A Case Study of the Forth Road Bridge in the UK.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
20	S. I. Khashin, S. E. Vaganov	Genetic algorithms in Forth.	CoRR	2018	DBLP BibTeX RDF
20	Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera	Back-and-forth systems for fuzzy first-order models.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
20	Vinay B. Y. Kumar, Deval Shah, Mandar Datar 0001, Sachin B. Patkar	Lightweight Forth Programmable NoCs.	VLSID	2018	DBLP DOI BibTeX RDF
20	Cai-Sen Chen, Xi Yu, Yang-Xia Xiang, Xiong Li 0002, Tengrun Li	An Improved DPA Attack on DES with Forth and Back Random Round Algorithm.	Int. J. Netw. Secur.	2017	DBLP BibTeX RDF
20	Attila Joó	Highly Connected Infinite Digraphs Without Edge-Disjoint Back and Forth Paths Between a Certain Vertex Pair.	J. Graph Theory	2017	DBLP DOI BibTeX RDF
20	Maria Cristina Martin, Matt-Mouley Bouamrane, Kimberley Kavanagh, Paul Woolman	Preventing Frail and Elderly Hospital Admissions: Developing an Evaluation Framework for the "Closer to Home" Quality Improvement Programme in NHS Forth Valley.	DH	2017	DBLP DOI BibTeX RDF
20	Vivek Natarajan, Hua-Cheng Zhou, George Weiss	How to establish the exact controllability of nonlinear DPS using iterations back and forth in time.	ACC	2017	DBLP DOI BibTeX RDF
20	Xiaozheng Huang	With 5G Approaching, How will Audio/Video Technology that Serves 800 Million QQ Users Bring Forth New Ideas.	ICMR	2017	DBLP DOI BibTeX RDF
20	Ryosuke Kohita, Hiroshi Noji, Yuji Matsumoto 0001	Multilingual Back-and-Forth Conversion between Content and Function Head for Easy Dependency Parsing.	EACL (2)	2017	DBLP DOI BibTeX RDF
20	Matko Bosnjak, Tim Rocktäschel, Jason Naradowsky, Sebastian Riedel 0001	Programming With a Differentiable Forth Interpreter.	ICLR (Workshop)	2017	DBLP BibTeX RDF
20	Matko Bosnjak, Tim Rocktäschel, Jason Naradowsky, Sebastian Riedel 0001	Programming with a Differentiable Forth Interpreter.	ICML	2017	DBLP BibTeX RDF
20	Lucca Hirschi	Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice. (Vérification automatique de la protection de la vie privée : entre théorie et pratique).		2017	RDF
20	Riccardo Petraglia, Adrien Nicolaï, Matthew D. Wodrich, Michele Ceriotti, Clémence Corminboeuf	Beyond static structures: Putting forth REMD as a tool to solve problems in computational organic chemistry.	J. Comput. Chem.	2016	DBLP DOI BibTeX RDF
20	Sebastian Riedel 0001, Matko Bosnjak, Tim Rocktäschel	Programming with a Differentiable Forth Interpreter.	CoRR	2016	DBLP BibTeX RDF
20	Lili Hu, Yao Li, Yingjie Liu	A limiting strategy for the back and forth error compensation and correction method for solving advection equations.	Math. Comput.	2016	DBLP DOI BibTeX RDF
20	Atte Aalto	Output error minimizing back and forth nudging method for initial state recovery.	Syst. Control. Lett.	2016	DBLP DOI BibTeX RDF
20	Sergey Baranov	Real-time multi-task simulation in Forth.	FRUCT	2016	DBLP DOI BibTeX RDF