Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Oliver Knill |
Eulerian edge refinements, geodesics, billiards and sphere coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.07207, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Peter G. Boyvalenkov, Danyo Danev, Maya Stoyanova |
Refinements of Levenshtein bounds in q-ary Hamming spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.01982, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Hamzeh Agahi, Milad Yadollahzadeh |
Refinements of Hölder's and Minkowski's type inequalities for $$\sigma $$ σ - $$\oplus $$ ⊕ -measures and pseudo-expectation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 22(24), pp. 8051-8058, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Leo Goldmakher, Paul Pollack |
Refinements of Lagrange's Four-Square Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 125(3), pp. 258-263, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ayleen Schinko, Walter Vogler |
Fault-Free Refinements for Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 28(2), pp. 289-337, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Chris Le Sueur |
Determinacy of refinements to the difference hierarchy of co-analytic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(1), pp. 83-115, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jun Li 0012, Giandomenico Mastroeni |
Refinements on Gap Functions and Optimality Conditions for Vector Quasi-Equilibrium Problems via Image Space Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 177(3), pp. 696-716, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Peter G. Boyvalenkov, Danyo Danev, Maya Stoyanova |
Refinements of Levenshtein Bounds in q-ary Hamming Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probl. Inf. Transm. ![In: Probl. Inf. Transm. 54(4), pp. 329-342, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Georg Hinkel, Kiana Busch, Robert Heinrich |
Refinements and Structural Decompositions in Generated Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., pp. 303-310, 2018, SciTePress, 978-989-758-283-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Kim Wuyts, Dimitri Van Landuyt, Aram Hovsepyan, Wouter Joosen |
Effective and efficient privacy threat modeling through domain refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1175-1178, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Miriam Cha, Arjun Majumdar, H. T. Kung 0001, Jarred Barber |
Improving Sar Automatic Target Recognition Using Simulated Images Under Deep Residual Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018, pp. 2606-2610, 2018, IEEE, 978-1-5386-4658-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
A session type provider: compile-time API generation of distributed protocols with refinements in F#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria, pp. 128-138, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ebrahim Khalaj, Marwan Abi-Antoun |
Inferring ownership domains from refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018, pp. 53-65, 2018, ACM, 978-1-4503-6045-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ayleen Schinko, Walter Vogler |
Fault-Free Refinements for Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 85-94, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xin Zhao 0003, Vadim Seregin, Amir Said, Kai Zhang 0007, Hilmi E. Egilmez, Marta Karczewicz |
Low-Complexity Intra Prediction Refinements for Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCS ![In: 2018 Picture Coding Symposium, PCS 2018, San Francisco, CA, USA, June 24-27, 2018, pp. 139-143, 2018, IEEE, 978-1-5386-4160-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Victor R. Lee, Mimi Recker, Abigail Leigh Phillips |
Conjecture Mapping the Library: Iterative Refinements Toward Supporting Maker Learning Activities in Small Community Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Rethinking learning in the digital age: Making the Learning Sciences count - Proceedings of the 13th International Conference of the Learning Sciences, ICLS 2018, London, UK, June 23-27, 2018, 2018, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Oliver Kautz, Bernhard Rumpe |
On Computing Instructions to Repair Failed Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 289-299, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Gabriele Farina, Nicola Gatti 0001, Tuomas Sandholm |
Practical exact algorithm for trembling-hand equilibrium refinements in games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada., pp. 5044-5054, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia 0001 |
Progress-Preserving Refinements of CTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 40:1-40:19, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yinghua Shen, Witold Pedrycz |
Collaborative fuzzy clustering algorithm: Some refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 86, pp. 41-61, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Chin-Chang Ho, Karl F. MacDorman |
Measuring the Uncanny Valley Effect - Refinements to Indices for Perceived Humanness, Attractiveness, and Eeriness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Soc. Robotics ![In: Int. J. Soc. Robotics 9(1), pp. 129-139, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Niek Tax, Emin Alasgarov, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma |
Time-Based Label Refinements to Discover More Precise Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.09359, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Jana Dunfield |
Extensible Datasort Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.02842, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Junyu Zhang, Zaiwen Wen, Yin Zhang 0010 |
Subspace Methods with Local Refinements for Eigenvalue Computation Using Low-Rank Tensor-Train Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 70(2), pp. 478-499, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Orion Fausto Reyes-Galaviz, Witold Pedrycz |
Enhancement of the classification and reconstruction performance of fuzzy C-means with refinements of prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 318, pp. 80-99, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki |
Specification refinements: Calculi, tools, and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 144, pp. 1-49, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Joshua Maglione |
Efficient characteristic refinements for finite groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 80, pp. 511-520, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Antonio A. Sánchez-Ruiz, Santiago Ontañón |
Structural plan similarity based on refinements in the space of partial plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 33(4), pp. 926-947, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ting-An Chang, Xiao Lu, Jar-Ferr Yang |
Robust stereo matching with trinary cross color census and triple image-based refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Adv. Signal Process. ![In: EURASIP J. Adv. Signal Process. 2017, pp. 27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Kristoffer Arnsfelt Hansen |
The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory - 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings, pp. 119-130, 2017, Springer, 978-3-319-66699-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Christopher Gerking, David Schubert, Ingo Budde |
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, pp. 19-34, 2017, Springer, 978-3-319-61472-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Khurram A. Jafery, Jana Dunfield |
Sums of uncertainty: refinements go gradual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 804-817, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jana Dunfield |
Extensible Datasort Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 476-503, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marek S. Makowski, Alexander Kushnerov |
Canonical switched capacitor converters. Comments, complements, and refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCTD ![In: 2017 European Conference on Circuit Theory and Design, ECCTD 2017, Catania, Italy, September 4-6, 2017, pp. 1-4, 2017, IEEE, 978-1-5386-3974-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Vivek Venugopalan, Cameron D. Patterson |
Architectural refinements for enhancing trust and securing cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco, CA, USA, August 4-8, 2017, pp. 1-8, 2017, IEEE, 978-1-5386-0435-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Arnon Avron, Yoni Zohar |
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017, pp. 118-123, 2017, IEEE Computer Society, 978-1-5090-5496-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Robert Mitchell, Elizabeth Walkup |
Further refinements to the foundations of cyber zone defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2017 IEEE Military Communications Conference, MILCOM 2017, Baltimore, MD, USA, October 23-25, 2017, pp. 823-828, 2017, IEEE, 978-1-5386-0595-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ziping Frank Sun, Frank J. De Luccia, Gabriel Moy |
Viirs rsbautocal refinements to allow DNB dark signals & gain ratios transition to automated operation mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2017 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2017, Fort Worth, TX, USA, July 23-28, 2017, pp. 2786-2789, 2017, IEEE, 978-1-5090-4951-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Justin Kruger, Stéphane Airiau |
Refinements and Randomised Versions of Some Tournament Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1584-1586, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Zeineb El Khalfi |
Lexicographic refinements in possibilistic sequential decision-making models. (Raffinements lexicographiques en prise de décision séquentielle possibiliste). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
17 | James Mc Laughlin |
Refinements of Some Partition Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 16, pp. A66, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Duc-Phong Le, Chik How Tan |
Further refinements of Miller's algorithm on Edwards curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 27(3), pp. 205-217, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Khurram A. Jafery, Jana Dunfield |
Sums of Uncertainty: Refinements Go Gradual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.02392, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma |
On Generation of Time-based Label Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.03333, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Li Zhou, Adriana Nicholson Vest, Raymond A. Peck, Jonathan Sredl, Xuechen Huang, Yaniv Bar-Cohen, Michael J. Silka, Jay D. Pruetz, Ramen H. Chmait, Gerald E. Loeb |
Minimally invasive implantable fetal micropacemaker: mechanical testing and technical refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Biol. Eng. Comput. ![In: Medical Biol. Eng. Comput. 54(12), pp. 1819-1830, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Daniela Bubboloni, Michele Gori |
Resolute refinements of social choice correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 84, pp. 37-49, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ivica Nikolic, Yu Sasaki |
Refinements of the k-tree Algorithm for the Generalized Birthday Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 312, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Mukul Sati, Peter Lindstrom 0001, Jarek Rossignac |
eBits: Compact stream of mesh refinements for remote visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 78, pp. 168-178, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Bartosz Wieckowski |
Refinements of subatomic natural deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 26(5), pp. 1567-1616, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | János Flesch, Arkadi Predtetchinski |
On refinements of subgame perfect \(\epsilon \) -equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 45(3), pp. 523-542, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma |
On Generation of Time-based Label Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016., pp. 25-36, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin |
Lexicographic Refinements in Possibilistic Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 202-208, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Stefania Boffa, Brunella Gerla |
Sequences of Orthopairs Given by Refinements of Coverings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Soft Computing Applications - 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers, pp. 95-105, 2016, 978-3-319-52961-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Achim D. Brucker, Burkhart Wolff |
Monadic Sequence Testing and Explicit Test-Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, pp. 17-36, 2016, Springer, 978-3-319-41134-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Pablo F. Castro, Nazareno Aguirre |
Algebraic Foundations for Specification Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, pp. 112-128, 2016, 978-3-319-49814-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla |
Refinements of Orthopairs and IUML-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCRS ![In: Rough Sets - International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings, pp. 87-96, 2016, 978-3-319-47159-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ákos Hajdu, Tamás Tóth, András Vörös 0001, István Majzik |
A Configurable CEGAR Framework with Interpolation-Based Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 158-174, 2016, Springer, 978-3-319-39569-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Marco Console, Paolo Guagliardo, Leonid Libkin |
Approximations and Refinements of Certain Answers via Many-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 349-358, 2016, AAAI Press, 978-1-57735-755-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Thomas Cochard, David Gouyon, Jean-François Pétin |
Generation of safe operation sequences using iterative refinements and abstractions of timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-1314-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Michael Löwe |
Sesqui-Pushout Rewriting with Type Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 21-36, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Tobias J. Brix |
Refinements of volume rendering algorithms and their application to non-volumetric data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
17 | Abdullah Saeed Balamash, Witold Pedrycz, Rami Al-Hmouz, Ali Morfeq |
An expansion of fuzzy information granules through successive refinements of their information content and their use to system modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 42(6), pp. 2985-2997, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny |
A Methodology for Verifying Refinements of Partial Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 14(3), pp. 3:1-31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Carpineto, Giovanni Romano 0002 |
KΘ-affinity privacy: Releasing infrequent query refinements safely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 51(2), pp. 74-88, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kathleen M. O'Hara, Dennis Stanton |
Refinements of the Rogers-Ramanujan Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 24(4), pp. 410-418, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Göthel, Verena Klös, Björn Bartels |
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Self Adapt. Syst. ![In: EAI Endorsed Trans. Self Adapt. Syst. 1(1), pp. e5, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Conner Hansen, Eugene Syriani, Levi Lucio |
Towards Controlling Refinements of Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.07266, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Oliver Knill |
The graph spectrum of barycentric refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.02027, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Susanne C. Brenner, Li-Yeng Sung |
Piecewise H1 functions and vector fields associated with meshes generated by independent refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 84(293), pp. 1017-1036, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Oriol Carbonell-Nicolau, Richard P. McLean |
On equilibrium refinements in supermodular games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 44(4), pp. 869-890, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Scarlett, Alfonso Martinez, Albert Guillen i Fabregas |
Refinements of the third-order term in the fixed error asymptotics of constant-composition codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2015, Hong Kong, China, June 14-19, 2015, pp. 2954-2958, 2015, IEEE, 978-1-4673-7704-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ting-Hao Chang, Hsiao-Tsung Hung, Kuan-Yu Chen, Hsin-Min Wang, Berlin Chen |
調變頻譜分解之改良於強健性語音辨識(Several Refinements of Modulation Spectrum Factorization for Robust Speech Recognition) [In Chinese]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROCLING ![In: Proceedings of the 27th Conference on Computational Linguistics and Speech Processing, ROCLING 2015, National Chiao Tung University, Hsinchu, Taiwan, October 1-2, 2015, 2015, Association for Computational Linguistics and Chinese Language Processing (ACLCLP), Taiwan, 978-957-30792-8-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Mircea-Florin Vaida, Kuderna-Iulian Benta |
Groupware refinements for collaborative teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoEduNet ![In: 2015 14th RoEduNet International Conference - Networking in Education and Research (RoEduNet NER), Craiova, Romania, September 24-26, 2015, pp. 56-62, 2015, IEEE, 978-1-4673-8179-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kao-Yi Shen, Gwo-Hshiung Tzeng |
Knowledge Supported Refinements for Rough Granular Computing: A Case of Life Insurance Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - 15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015, Proceedings, pp. 233-244, 2015, Springer, 978-3-319-25782-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ivica Nikolic, Yu Sasaki |
Refinements of the k-tree Algorithm for the Generalized Birthday Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (2) ![In: Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015, Proceedings, Part II, pp. 683-703, 2015, Springer, 978-3-662-48799-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Cheval, Véronique Cortier, Eric le Morvan |
Secure Refinements of Communication Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 575-589, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | David Hall 0006 |
Refinements in Syntactic Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Christian Bahls |
Space charge calculations using refinements on structured and unstructured grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Alberto Márquez 0001, Auxiliadora Moreno-González, Ángel Plaza, José P. Suárez |
There are simple and robust refinements (almost) as good as Delaunay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 106, pp. 84-94, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Shiow-Ru Hwang, Shu-Ying Yeh, Kuei-Lin Tseng |
Refinements and similar extensions of Hermite-Hadamard inequality for fractional integrals and their applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 249, pp. 103-113, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares |
A Toolset for Checking SPL Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 20(5), pp. 587-614, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Fankhauser, Thomas P. Wihler, Marcel Wirz |
The hp-adaptive FEM based on continuous Sobolev embeddings: Isotropic refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(4), pp. 854-868, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sergey Korotov, Michal Krízek |
Red refinements of simplices into congruent subsimplices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(12), pp. 2199-2204, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jingfeng Tian, Wen-Li Wang |
Refinements of Aczél-Type Inequality and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 581354:1-581354:7, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jingfeng Tian, Wen-Li Wang, Donal O'Regan |
Refinements of Generalized Hölder's Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 274310:1-274310:9, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Scarlett, Li Peng 0001, Neri Merhav, Alfonso Martinez, Albert Guillen i Fabregas |
Expurgated Random-Coding Ensembles: Exponents, Refinements, and Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 60(8), pp. 4449-4462, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou |
Query rewriting under query refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 56, pp. 36-48, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Manas Ghosh, Michael Winter 0001 |
Refinements of the RCC25 Composition Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings, pp. 379-394, 2014, Springer, 978-3-319-06250-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Parisa Lak, Bora Çaglayan, Ayse Basar Bener |
The Impact of Basic Matrix Factorization Refinements on Recommendation Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDC ![In: 1st IEEE/ACM International Symposium on Big Data Computing, BDC 2014, London, UK, December 8-11, 2014, pp. 105-112, 2014, IEEE Computer Society, 978-1-4799-1897-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Anastasia Dimou, Miel Vander Sande, Tom De Nies, Erik Mannens, Rik Van de Walle |
RDF mapping rules refinements according to data consumers' feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014, Companion Volume, pp. 249-250, 2014, ACM, 978-1-4503-2745-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Guangsen Wang, Khe Chai Sim |
Refinements of regression-based context-dependent modelling of deep neural networks for automatic speech recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2014, Florence, Italy, May 4-9, 2014, pp. 3022-3026, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Marco Tomamichel, Vincent Yan Fu Tan |
Second order refinements for the classical capacity of quantum channels with separable input states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29 - July 4, 2014, pp. 141-145, 2014, IEEE, 978-1-4799-5186-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ivan A. Matveev, Konstantin Gankin |
Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 22nd International Conference on Pattern Recognition, ICPR 2014, Stockholm, Sweden, August 24-28, 2014, pp. 1704-1709, 2014, IEEE Computer Society, 978-1-4799-5208-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Cermák, Branislav Bosanský, Viliam Lisý |
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 201-206, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Manel Zarrouk, Mathieu Lafourcade |
Inferring Knowledge with Word Refinements in a Crowdsourced Lexical-Semantic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2014, 25th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, August 23-29, 2014, Dublin, Ireland, pp. 365-375, 2014, ACL, 978-1-941643-26-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Thomas Müller 0009, Richárd Farkas, Alex Judea, Helmut Schmid, Hinrich Schütze |
Dependency parsing with latent refinements of part-of-speech tags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014, October 25-29, 2014, Doha, Qatar, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 963-967, 2014, ACL, 978-1-937284-96-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Manel Zarrouk, Mathieu Lafourcade |
Relation Inference in Lexical Networks ... with Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Ninth International Conference on Language Resources and Evaluation, LREC 2014, Reykjavik, Iceland, May 26-31, 2014., pp. 2995-3000, 2014, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Philipp Koehn, Chara Tsoukala, Herve Saint-Amand |
Refinements to Interactive Translation Prediction Based on Search Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (2) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 2: Short Papers, pp. 574-578, 2014, The Association for Computer Linguistics, 978-1-937284-73-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Behrooz Makki, Mona Noori Hosseini |
Some refinements of the standard autoassociative neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 22(7-8), pp. 1461-1475, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sergey Korotov, Michal Krízek |
Local nonobtuse tetrahedral refinements around an edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(13), pp. 7236-7240, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|