Search results for "FRank"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Farhad Arbab	Proper Protocol.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga	A Compositional Approach to the Verification of Hybrid Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Björn Engelmann 0001, Ernst-Rüdiger Olderog	A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Jozef Hooman	Industrial Application of Formal Models Generated from Domain Specific Languages.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi	Self-Reconfiguring Microservices.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse	Quicksort Revisited - Verifying Alternative Versions of Quicksort.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu	Towards a \mathbb K K ool Future.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht	Statically and Dynamically Verifiable SLA Metrics.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Martin Steffen	A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Michiel Helvensteijn, Farhad Arbab	Toward a Formal Foundation for Time Travel in Stories and Games.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer	Formal Frameworks for Verifying Normative Multi-agent Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Reiner Hähnle, Nathan Wasser, Richard Bubel	Array Abstraction with Symbolic Pivots.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Elvira Albert, Jesús Correas, Guillermo Román-Díez	Resource Analysis of Distributed Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Dave Clarke 0001, Tobias Wrigstad	Vats: A Safe, Reactive Storage Abstraction.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt	Program Verification: To Err is Human.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	L. P. J. Groenewegen, Ruurd Kuiper 0001, Erik P. de Vink	Towards a Proof Method for Paradigm.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Bernhard K. Aichernig, Florian Lorber, Martin Tappler	Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Philipp Rümmer, Wang Yi 0001	Characterization of Simulation by Probabilistic Testing.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Jacopo Mauro, Gianluigi Zavattaro	On the Expressiveness of Synchronization in Component Deployment.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Robbert Krebbers, Louis Parlant, Alexandra Silva 0001	Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
17	Xin Zhang, Peide Liu, Yumei Wang	Multiple attribute group decision making methods based on intuitionistic fuzzy frank power aggregation operators.	J. Intell. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
17	James H. Adler, Timothy J. Atherton, David B. Emerson, Scott P. MacLachlan	An Energy-Minimization Finite-Element Approach for the Frank-Oseen Model of Nematic Liquid Crystals.	SIAM J. Numer. Anal.	2015	DBLP DOI BibTeX RDF
17	Guang-Bin Huang	What are Extreme Learning Machines? Filling the Gap Between Frank Rosenblatt's Dream and John von Neumann's Puzzle.	Cogn. Comput.	2015	DBLP DOI BibTeX RDF
17	Giampaolo Liuzzi, Francesco Rinaldi	Solving ℓ0-penalized problems with simple constraints via the Frank-Wolfe reduced dimension method.	Optim. Lett.	2015	DBLP DOI BibTeX RDF
17	Reza Zoughi, Brenna Arbello, Ruth A. Dyer, Alessandro Ferrero, Jorge Daher, Judy Scharmann, Dario Petri, Kristen M. Donnell, Robert Rassa, Max Cortner, Shirley Cortner, Mary Zoughi	In Memoriam Frank Reyes.	IEEE Instrum. Meas. Mag.	2015	DBLP DOI BibTeX RDF
17	Rahul G. Krishnan, Simon Lacoste-Julien, David A. Sontag	Barrier Frank-Wolfe for Marginal Inference.	CoRR	2015	DBLP BibTeX RDF
17	Yijie Wang 0003, Xiaoning Qian	Stochastic Block Coordinate Frank-Wolfe Algorithm for Large-Scale Biological Network Alignment.	CoRR	2015	DBLP BibTeX RDF
17	Simon Lacoste-Julien, Martin Jaggi	On the Global Linear Convergence of Frank-Wolfe Optimization Variants.	CoRR	2015	DBLP BibTeX RDF
17	Simon Lacoste-Julien, Fredrik Lindsten, Francis R. Bach	Sequential Kernel Herding: Frank-Wolfe Optimization for Particle Filtering.	CoRR	2015	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens	A PARTAN-Accelerated Frank-Wolfe Algorithm for Large-Scale SVM Classification.	CoRR	2015	DBLP BibTeX RDF
17	Chu Wang, Yingfei Wang, Weinan E, Robert E. Schapire	Functional Frank-Wolfe Boosting for General Loss Functions.	CoRR	2015	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Stefano Lodi, Claudio Sartori 0001, Johan A. K. Suykens	Fast and Scalable Lasso via Stochastic Frank-Wolfe Methods with a Convergence Guarantee.	CoRR	2015	DBLP BibTeX RDF
17	Vasile Patrascu	Multi-valued Color Representation Based on Frank t-norm Properties.	CoRR	2015	DBLP BibTeX RDF
17	Aurélien Bellet, Yingyu Liang, Alireza Bagheri Garakani, Maria-Florina Balcan, Fei Sha	A Distributed Frank-Wolfe Algorithm for Communication-Efficient Sparse Learning.	SDM	2015	DBLP DOI BibTeX RDF
17	Ki-Hyeon Park, Hong-Yeop Song, Dae San Kim	Families of perfect polyphase sequences from the array structure of Fermat-Quotient sequences and Frank-Zadoff sequences.	ISIT	2015	DBLP DOI BibTeX RDF
17	Alfonso Aranda, Pietro Bonizzi, Joël M. H. Karel, Ralf L. M. Peeters	Performance of Dower's inverse transform and Frank lead system for Identification of Myocardial Infarction.	EMBC	2015	DBLP DOI BibTeX RDF
17	Wouter Beek, Laurens Rietveld	Frank: Algorithmic Access to the LOD Cloud.	ESWC Developers Workshop	2015	DBLP BibTeX RDF
17	Neel Shah, Vladimir Kolmogorov, Christoph H. Lampert	A multi-plane block-coordinate frank-wolfe algorithm for training structural SVMs with a costly max-oracle.	CVPR	2015	DBLP DOI BibTeX RDF
17	Nam-Luc Tran, Thomas Peel, Sabri Skhiri	Distributed frank-wolfe under pipelined stale synchronous parallelism.	IEEE BigData	2015	DBLP DOI BibTeX RDF
17	Mark C. Barlet	A Frank Conversation about the "F" Word.	CHI PLAY	2015	DBLP DOI BibTeX RDF
17	Rahul G. Krishnan, Simon Lacoste-Julien, David A. Sontag	Barrier Frank-Wolfe for Marginal Inference.	NIPS	2015	DBLP BibTeX RDF
17	Simon Lacoste-Julien, Martin Jaggi	On the Global Linear Convergence of Frank-Wolfe Optimization Variants.	NIPS	2015	DBLP BibTeX RDF
17	François-Xavier Briol, Chris J. Oates, Mark A. Girolami, Michael A. Osborne	Frank-Wolfe Bayesian Quadrature: Probabilistic Integration with Theoretical Guarantees.	NIPS	2015	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens	A PARTAN-accelerated Frank-Wolfe algorithm for large-scale SVM classification.	IJCNN	2015	DBLP DOI BibTeX RDF
17	Dan Garber, Elad Hazan	Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets.	ICML	2015	DBLP BibTeX RDF
17	Junfeng Wen, Russell Greiner, Dale Schuurmans	Correcting Covariate Shift with the Frank-Wolfe Algorithm.	IJCAI	2015	DBLP BibTeX RDF
17	Simon Lacoste-Julien, Fredrik Lindsten, Francis R. Bach	Sequential Kernel Herding: Frank-Wolfe Optimization for Particle Filtering.	AISTATS	2015	DBLP BibTeX RDF
17	Ricardo Ñanculef, Emanuele Frandi, Claudio Sartori 0001, Héctor Allende	A novel Frank-Wolfe algorithm. Analysis and applications to large-scale SVM training.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
17	Ion Iancu	Intuitionistic fuzzy similarity measures based on Frank t-norms family.	Pattern Recognit. Lett.	2014	DBLP DOI BibTeX RDF
17	Mark Buchanan, Antonia Scala	Advances in Network Complexity by Matthias Dehmer, Abbe Mowshowitz and Frank Emmet-Streib.	J. Complex Networks	2014	DBLP DOI BibTeX RDF
17	John Bamberg, Jan De Beule, Nicola Durante, Michel Lavrauw	Editorial: Special issue on finite geometries in honor of Frank De Clerck.	Des. Codes Cryptogr.	2014	DBLP DOI BibTeX RDF
17	Jindong Qin, Xinwang Liu 0001	Frank Aggregation Operators for Triangular Interval Type-2 Fuzzy Set and Its Application in Multiple Attribute Group Decision Making.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
17	Ranxiao Frances Wang	Stronger Evidence for Four-Dimensional Spatial Representations: A Response to Frank.	Spatial Cogn. Comput.	2014	DBLP DOI BibTeX RDF
17	Cun Mu, Yuqian Zhang, John Wright 0001, Donald Goldfarb	Scalable Robust Matrix Recovery: Frank-Wolfe Meets Proximal Methods.	CoRR	2014	DBLP BibTeX RDF
17	Neel Shah, Vladimir Kolmogorov, Christoph H. Lampert	A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Structural SVMs with a Costly max-Oracle.	CoRR	2014	DBLP BibTeX RDF
17	Aurélien Bellet, Yingyu Liang, Alireza Bagheri Garakani, Maria-Florina Balcan, Fei Sha	Distributed Frank-Wolfe Algorithm: A Unified Framework for Communication-Efficient Sparse Learning.	CoRR	2014	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens	Complexity Issues and Randomization Strategies in Frank-Wolfe Algorithms for Machine Learning.	CoRR	2014	DBLP BibTeX RDF
17	Dan Garber, Elad Hazan	Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets.	CoRR	2014	DBLP BibTeX RDF
17	Si Tiep Dinh, Huy Vui Ha, Tien Son Pham	A Frank-Wolfe type theorem for nondegenerate polynomial programs.	Math. Program.	2014	DBLP DOI BibTeX RDF
17	Arturo Erdely, José M. González-Barrios, María M. Hernández-Cedillo	Frank's condition for multivariate Archimedean copulas.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
17	Jesús García Laborda	Grand challenges in technology enhanced learning - By Frank Fischer et al.	Br. J. Educ. Technol.	2014	DBLP DOI BibTeX RDF
17	Yijie Wang 0003, Xiaoning Qian	Stochastic coordinate descent Frank-Wolfe algorithm for large-scale biological network alignment.	GlobalSIP	2014	DBLP DOI BibTeX RDF
17	Armand Joulin, Kevin D. Tang, Li Fei-Fei 0001	Efficient Image and Video Co-localization with Frank-Wolfe Algorithm.	ECCV (6)	2014	DBLP DOI BibTeX RDF
17	Alexander G. Schwing, Tamir Hazan, Marc Pollefeys, Raquel Urtasun	Globally Convergent Parallel MAP LP Relaxation Solver using the Frank-Wolfe Algorithm.	ICML	2014	DBLP BibTeX RDF
17	Xiangrong Zeng, Mário A. T. Figueiredo	The atomic norm formulation of OSCAR regularization with application to the Frank-Wolfe algorithm.	EUSIPCO	2014	DBLP BibTeX RDF
17	Elena Maceviciute	Review of: Bentley, Frank & Barrett, Edward. Building mobile experiences. Cambridge, MA: The MIT Press, 2013.	Inf. Res.	2013	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Maria Grazia Gasparo, Stefano Lodi, Claudio Sartori 0001	Training Support Vector Machines using Frank-Wolfe Optimization Methods.	Int. J. Pattern Recognit. Artif. Intell.	2013	DBLP DOI BibTeX RDF
17	Selin Damla Ahipasaoglu, Michael J. Todd	A modified Frank-Wolfe algorithm for computing minimum-area enclosing ellipsoidal cylinders: Theory and algorithms.	Comput. Geom.	2013	DBLP DOI BibTeX RDF
17	Héctor Allende, Emanuele Frandi, Ricardo Ñanculef, Claudio Sartori 0001	Novel Frank-Wolfe Methods for SVM Learning	CoRR	2013	DBLP BibTeX RDF
17	Tomasa Calvo, Javier Martín, Gaspar Mayor	Convex linear T-S functions: A generalization of Frank's equation.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
17	Bernard De Baets, Hans E. De Meyer	On a conjecture about the Frank copula family.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
17	Sven Herrmann	Review of bioinspired computation in combinatorial optimization by Frank Neumann and Carsten Witt.	SIGACT News	2013	DBLP DOI BibTeX RDF
17	Maria Mitradjieva, Per Olov Lindberg	The Stiff Is Moving - Conjugate Direction Frank-Wolfe Methods with Applications to Traffic Assignment.	Transp. Sci.	2013	DBLP DOI BibTeX RDF
17	Simon Lacoste-Julien, Martin Jaggi, Mark Schmidt 0001, Patrick Pletscher	Block-Coordinate Frank-Wolfe Optimization for Structural SVMs.	ICML (1)	2013	DBLP BibTeX RDF
17	Martin Jaggi	Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization.	ICML (1)	2013	DBLP BibTeX RDF
17	Wilhelm Peekhaus	Information Markets: A Strategic Guideline for the I-Commerce. Frank Linde and Wolfgang G. Stock, Berlin, Germany: De Gruyter Saur, 2011. pp 617 $90. (isbn: 978-3-11-203609-5).	J. Assoc. Inf. Sci. Technol.	2012	DBLP DOI BibTeX RDF
17	Samo Ribaric, Marjan Kordas	Simulation of the Frank-Starling Law of the Heart.	Comput. Math. Methods Medicine	2012	DBLP DOI BibTeX RDF
17	Olivier Durand de Gevigney	On Frank's conjecture on k-connected orientations	CoRR	2012	DBLP BibTeX RDF
17	Simon Lacoste-Julien, Martin Jaggi, Mark Schmidt 0001, Patrick Pletscher	Stochastic Block-Coordinate Frank-Wolfe Optimization for Structural SVMs	CoRR	2012	DBLP BibTeX RDF
17	Emanuele Frandi, Ricardo Ñanculef, Maria Grazia Gasparo, Stefano Lodi, Claudio Sartori 0001	Training Support Vector Machines Using Frank-Wolfe Optimization Methods	CoRR	2012	DBLP BibTeX RDF
17	Alireza Isfandyari-Moghaddam	A Review of "Information Markets: A Strategic Guideline for the I-Commerce"by Frank Linde and Wolfgang G. Stock. Berlin, Germany: De Gruyter, 2011. xxi + 617 pp. $90.00 hardcover. ISBN 978-3-11-023609-5 (harcover).	Inf. Soc.	2012	DBLP DOI BibTeX RDF
17	Mikio Nakahara	Frank Gaitan: Quantum error correction and fault tolerant quantum computing.	Quantum Inf. Process.	2012	DBLP DOI BibTeX RDF
17	Daniel Guldenring, Dewar D. Finlay, David G. Strauss, Loriano Galeotti, Chris D. Nugent, Mark P. Donnelly, Raymond R. Bond	Transformation of the Mason-Likar 12-lead electrocardiogram to the Frank vectorcardiogram.	EMBC	2012	DBLP DOI BibTeX RDF
17	Rodrigo Herrera Velazco	Morphing arquitectónico: transformaciones entre las casas usonianas de Frank Lloyd Wright.		2012	RDF
17	Julia Proctor	Lobbying and Policy Change: Who Wins, Who Loses, and Why. Frank R. Baumgartner, Jeffrey M. Berry, Marie Hojnacki, David C. Kimball, Beth L. Leech. Chicago and London: University of Chicago Press, 2009, 360 pp. $66.00 (cloth), ISBN: 9780226039442.	Gov. Inf. Q.	2011	DBLP DOI BibTeX RDF
17	Steven M. Bellovin	Frank Miller: Inventor of the One-Time Pad.	Cryptologia	2011	DBLP DOI BibTeX RDF
17	Chris Christensen	Review of Bletchley Park Trust Reports by Frank Carter.	Cryptologia	2011	DBLP DOI BibTeX RDF
17	Claus Atzenbeck	Interview with Frank Tompa.	SIGWEB Newsl.	2011	DBLP DOI BibTeX RDF
17	Terry Ngo	Data mining: practical machine learning tools and technique, third edition by Ian H. Witten, Eibe Frank, Mark A. Hell.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
17	Howard Ausden	Building parallel, embedded, and real-time applications with Ada by John W. McCormick, Frank Singhoff and Jerome Hugues.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
17	David M. Ackerman, J. W. Evans	Boundary Conditions for Burton-Cabrera-Frank Type Step-Flow Models: Coarse-Graining of Discrete 2D Deposition-Diffusion Equations.	Multiscale Model. Simul.	2011	DBLP DOI BibTeX RDF
17	Michael Charles Stevens, Nicholas Richard Gaddum, Mark J. Pearcy, Robert F. Salamonsen, Daniel Lee Timms, David Glen Mason, John F. Fraser	Frank-starling control of a left ventricular assist device.	EMBC	2011	DBLP DOI BibTeX RDF
17	Shaun D. Gregory, Michael C. Stevens 0002, Daniel L. Timms, Mark J. Pearcy	Replication of the Frank-Starling response in a mock circulation loop.	EMBC	2011	DBLP DOI BibTeX RDF
17	Kenneth L. Clarkson	Coresets, sparse greedy approximation, and the Frank-Wolfe algorithm.	ACM Trans. Algorithms	2010	DBLP DOI BibTeX RDF
17	Charis Harley	Hopscotch method: The numerical solution of the Frank-Kamenetskii partial differential equation.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
17	Neil F. Johnson 0001	Frank Y. ShihDigital Watermarking and Steganography: Fundamentals and Techniques. CRC/Taylor & Francis (2008).ISBN-13: 9781420047578, 180 pp. Hardcover.	Comput. J.	2010	DBLP DOI BibTeX RDF
17	Hua Ouyang, Alexander G. Gray	Fast Stochastic Frank-Wolfe Algorithms for Nonlinear SVMs.	SDM	2010	DBLP DOI BibTeX RDF
17	Hans E. De Meyer, Bernard De Baets	Functional Inequalities Characterizing the Frank Family of Copulas.	SMPS	2010	DBLP DOI BibTeX RDF
17	Simon Parsons	A Semantic Web Primer, Second Edition by Antoniou Grigoris and Harmelen Frank van, MIT Press, 288 pp.	Knowl. Eng. Rev.	2009	DBLP DOI BibTeX RDF