|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5840 occurrences of 3187 keywords
|
|
|
Results
Found 44749 publication records. Showing 40004 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Farhad Arbab |
Proper Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 65-87, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga |
A Compositional Approach to the Verification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 88-103, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 173-193, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Jozef Hooman |
Industrial Application of Formal Models Generated from Domain Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 277-293, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi |
Self-Reconfiguring Microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 194-210, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 407-426, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu |
Towards a \mathbb K K ool Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 325-343, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht |
Statically and Dynamically Verifiable SLA Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 211-225, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Martin Steffen |
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 393-406, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Michiel Helvensteijn, Farhad Arbab |
Toward a Formal Foundation for Time Travel in Stories and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 261-276, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
Formal Frameworks for Verifying Normative Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 294-308, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Reiner Hähnle, Nathan Wasser, Richard Bubel |
Array Abstraction with Symbolic Pivots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 104-121, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Elvira Albert, Jesús Correas, Guillermo Román-Díez |
Resource Analysis of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 33-46, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dave Clarke 0001, Tobias Wrigstad |
Vats: A Safe, Reactive Storage Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 140-154, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt |
Program Verification: To Err is Human. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 3-5, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | L. P. J. Groenewegen, Ruurd Kuiper 0001, Erik P. de Vink |
Towards a Proof Method for Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 242-260, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 15-32, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Philipp Rümmer, Wang Yi 0001 |
Characterization of Simulation by Probabilistic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 360-372, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Jacopo Mauro, Gianluigi Zavattaro |
On the Expressiveness of Synchronization in Component Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 344-359, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 47-64, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Robbert Krebbers, Louis Parlant, Alexandra Silva 0001 |
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 309-324, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 29(5), pp. 2235-2246, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 53(5), pp. 2226-2254, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 7(3), pp. 263-278, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Giampaolo Liuzzi, Francesco Rinaldi |
Solving ℓ0-penalized problems with simple constraints via the Frank-Wolfe reduced dimension method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 9(1), pp. 57-74, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Instrum. Meas. Mag. ![In: IEEE Instrum. Meas. Mag. 18(4), pp. 63-67, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rahul G. Krishnan, Simon Lacoste-Julien, David A. Sontag |
Barrier Frank-Wolfe for Marginal Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.02124, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Yijie Wang 0003, Xiaoning Qian |
Stochastic Block Coordinate Frank-Wolfe Algorithm for Large-Scale Biological Network Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.06607, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Simon Lacoste-Julien, Martin Jaggi |
On the Global Linear Convergence of Frank-Wolfe Optimization Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.05932, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Simon Lacoste-Julien, Fredrik Lindsten, Francis R. Bach |
Sequential Kernel Herding: Frank-Wolfe Optimization for Particle Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.02056, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens |
A PARTAN-Accelerated Frank-Wolfe Algorithm for Large-Scale SVM Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.01563, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Chu Wang, Yingfei Wang, Weinan E, Robert E. Schapire |
Functional Frank-Wolfe Boosting for General Loss Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.02558, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.07169, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Vasile Patrascu |
Multi-valued Color Representation Based on Frank t-norm Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.05565, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the 2015 SIAM International Conference on Data Mining, Vancouver, BC, Canada, April 30 - May 2, 2015, pp. 478-486, 2015, SIAM, 978-1-61197-401-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2015, Hong Kong, China, June 14-19, 2015, pp. 1537-1540, 2015, IEEE, 978-1-4673-7704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, pp. 4495-4498, 2015, IEEE, 978-1-4244-9271-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wouter Beek, Laurens Rietveld |
Frank: Algorithmic Access to the LOD Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC Developers Workshop ![In: Proceedings of the ESWC Developers Workshop 2015 co-located with the 12th Extended Semantic Web Conference (ESWC 2015), Portorož, Slovenia, May 31, 2015., pp. 41-46, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015, Boston, MA, USA, June 7-12, 2015, pp. 2737-2745, 2015, IEEE Computer Society, 978-1-4673-6964-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Nam-Luc Tran, Thomas Peel, Sabri Skhiri |
Distributed frank-wolfe under pipelined stale synchronous parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29 - November 1, 2015, pp. 184-192, 2015, IEEE Computer Society, 978-1-4799-9926-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mark C. Barlet |
A Frank Conversation about the "F" Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY ![In: Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2015, London, United Kingdom, October 5-7, 2015, pp. 1, 2015, ACM, 978-1-4503-3466-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rahul G. Krishnan, Simon Lacoste-Julien, David A. Sontag |
Barrier Frank-Wolfe for Marginal Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp. 532-540, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Simon Lacoste-Julien, Martin Jaggi |
On the Global Linear Convergence of Frank-Wolfe Optimization Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp. 496-504, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp. 1162-1170, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Emanuele Frandi, Ricardo Ñanculef, Johan A. K. Suykens |
A PARTAN-accelerated Frank-Wolfe algorithm for large-scale SVM classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: 2015 International Joint Conference on Neural Networks, IJCNN 2015, Killarney, Ireland, July 12-17, 2015, pp. 1-8, 2015, IEEE, 978-1-4799-1960-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Dan Garber, Elad Hazan |
Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015, pp. 541-549, 2015, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Junfeng Wen, Russell Greiner, Dale Schuurmans |
Correcting Covariate Shift with the Frank-Wolfe Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1010-1016, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Simon Lacoste-Julien, Fredrik Lindsten, Francis R. Bach |
Sequential Kernel Herding: Frank-Wolfe Optimization for Particle Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2015, San Diego, California, USA, May 9-12, 2015, 2015, JMLR.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 285, pp. 66-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ion Iancu |
Intuitionistic fuzzy similarity measures based on Frank t-norms family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 42, pp. 128-136, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Mark Buchanan, Antonia Scala |
Advances in Network Complexity by Matthias Dehmer, Abbe Mowshowitz and Frank Emmet-Streib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex Networks ![In: J. Complex Networks 2(1), pp. 85, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 72(1), pp. 1-5, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 923213:1-923213:24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ranxiao Frances Wang |
Stronger Evidence for Four-Dimensional Spatial Representations: A Response to Frank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cogn. Comput. ![In: Spatial Cogn. Comput. 14(2), pp. 121-123, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Cun Mu, Yuqian Zhang, John Wright 0001, Donald Goldfarb |
Scalable Robust Matrix Recovery: Frank-Wolfe Meets Proximal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.7588, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.6804, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.2644, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4062, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Dan Garber, Elad Hazan |
Faster Rates for the Frank-Wolfe Method over Strongly-Convex Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.1305, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Si Tiep Dinh, Huy Vui Ha, Tien Son Pham |
A Frank-Wolfe type theorem for nondegenerate polynomial programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 147(1-2), pp. 519-538, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 240, pp. 131-136, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jesús García Laborda |
Grand challenges in technology enhanced learning - By Frank Fischer et al. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 45(3), pp. 15-, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Yijie Wang 0003, Xiaoning Qian |
Stochastic coordinate descent Frank-Wolfe algorithm for large-scale biological network alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GlobalSIP ![In: 2014 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2014, Atlanta, GA, USA, December 3-5, 2014, pp. 1410-1413, 2014, IEEE, 978-1-4799-7088-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (6) ![In: Computer Vision - ECCV 2014 - 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part VI, pp. 253-268, 2014, Springer, 978-3-319-10598-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 31th International Conference on Machine Learning, ICML 2014, Beijing, China, 21-26 June 2014, pp. 487-495, 2014, JMLR.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 22nd European Signal Processing Conference, EUSIPCO 2014, Lisbon, Portugal, September 1-5, 2014, pp. 780-784, 2014, IEEE, 978-0-9928626-1-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Elena Maceviciute |
Review of: Bentley, Frank & Barrett, Edward. Building mobile experiences. Cambridge, MA: The MIT Press, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Res. ![In: Inf. Res. 18(1), 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 27(3), 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 46(5), pp. 494-519, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Héctor Allende, Emanuele Frandi, Ricardo Ñanculef, Claudio Sartori 0001 |
Novel Frank-Wolfe Methods for SVM Learning ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.1014, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Tomasa Calvo, Javier Martín, Gaspar Mayor |
Convex linear T-S functions: A generalization of Frank's equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 226, pp. 67-77, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Bernard De Baets, Hans E. De Meyer |
On a conjecture about the Frank copula family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 228, pp. 15-28, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sven Herrmann |
Review of bioinspired computation in combinatorial optimization by Frank Neumann and Carsten Witt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 44(2), pp. 22-26, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 47(2), pp. 280-293, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Simon Lacoste-Julien, Martin Jaggi, Mark Schmidt 0001, Patrick Pletscher |
Block-Coordinate Frank-Wolfe Optimization for Structural SVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML (1) ![In: Proceedings of the 30th International Conference on Machine Learning, ICML 2013, Atlanta, GA, USA, 16-21 June 2013, pp. 53-61, 2013, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Martin Jaggi |
Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML (1) ![In: Proceedings of the 30th International Conference on Machine Learning, ICML 2013, Atlanta, GA, USA, 16-21 June 2013, pp. 427-435, 2013, JMLR.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 63(7), pp. 1477-1479, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Samo Ribaric, Marjan Kordas |
Simulation of the Frank-Starling Law of the Heart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2012, pp. 267834:1-267834:12, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Durand de Gevigney |
On Frank's conjecture on k-connected orientations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.4086, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Simon Lacoste-Julien, Martin Jaggi, Mark Schmidt 0001, Patrick Pletscher |
Stochastic Block-Coordinate Frank-Wolfe Optimization for Structural SVMs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.4747, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.0695, 2012. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 28(5), pp. 348-349, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mikio Nakahara |
Frank Gaitan: Quantum error correction and fault tolerant quantum computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 11(2), pp. 629-631, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 677-680, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rodrigo Herrera Velazco |
Morphing arquitectónico: transformaciones entre las casas usonianas de Frank Lloyd Wright. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gov. Inf. Q. ![In: Gov. Inf. Q. 28(2), pp. 291-292, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Steven M. Bellovin |
Frank Miller: Inventor of the One-Time Pad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 35(3), pp. 203-222, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chris Christensen |
Review of Bletchley Park Trust Reports by Frank Carter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 35(2), pp. 192-195, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Claus Atzenbeck |
Interview with Frank Tompa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGWEB Newsl. ![In: SIGWEB Newsl. 2011(Summer), pp. 3:1-3:6, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(5), pp. 51-52, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(6), pp. 28-29, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 9(1), pp. 59-88, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2011, Boston, MA, USA, August 30 - Sept. 3, 2011, pp. 1335-1338, 2011, IEEE, 978-1-4244-4121-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2011, Boston, MA, USA, August 30 - Sept. 3, 2011, pp. 6825-6828, 2011, IEEE, 978-1-4244-4121-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth L. Clarkson |
Coresets, sparse greedy approximation, and the Frank-Wolfe algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 6(4), pp. 63:1-63:30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Charis Harley |
Hopscotch method: The numerical solution of the Frank-Kamenetskii partial differential equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 217(8), pp. 4065-4075, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 53(5), pp. 616-617, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hua Ouyang, Alexander G. Gray |
Fast Stochastic Frank-Wolfe Algorithms for Nonlinear SVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDM ![In: Proceedings of the SIAM International Conference on Data Mining, SDM 2010, April 29 - May 1, 2010, Columbus, Ohio, USA, pp. 245-256, 2010, SIAM, 978-0-89871-703-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hans E. De Meyer, Bernard De Baets |
Functional Inequalities Characterizing the Frank Family of Copulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Combining Soft Computing and Statistical Methods in Data Analysis, SMPS 2010, Oviedo, Spain, September 29 - October 1, 2010, pp. 165-172, 2010, Springer, 978-3-642-14745-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Eng. Rev. ![In: Knowl. Eng. Rev. 24(4), pp. 415, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 40004 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|