Search results for "Refinements"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Oliver Knill	Eulerian edge refinements, geodesics, billiards and sphere coloring.	CoRR	2018	DBLP BibTeX RDF
17	Peter G. Boyvalenkov, Danyo Danev, Maya Stoyanova	Refinements of Levenshtein bounds in q-ary Hamming spaces.	CoRR	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.	Soft Comput.	2018	DBLP DOI BibTeX RDF
17	Leo Goldmakher, Paul Pollack	Refinements of Lagrange's Four-Square Theorem.	Am. Math. Mon.	2018	DBLP DOI BibTeX RDF
17	Ayleen Schinko, Walter Vogler	Fault-Free Refinements for Interface Automata.	Sci. Ann. Comput. Sci.	2018	DBLP BibTeX RDF
17	Chris Le Sueur	Determinacy of refinements to the difference hierarchy of co-analytic sets.	Ann. Pure Appl. Log.	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.	J. Optim. Theory Appl.	2018	DBLP DOI BibTeX RDF
17	Peter G. Boyvalenkov, Danyo Danev, Maya Stoyanova	Refinements of Levenshtein Bounds in q-ary Hamming Spaces.	Probl. Inf. Transm.	2018	DBLP DOI BibTeX RDF
17	Georg Hinkel, Kiana Busch, Robert Heinrich	Refinements and Structural Decompositions in Generated Code.	MODELSWARD	2018	DBLP DOI BibTeX RDF
17	Kim Wuyts, Dimitri Van Landuyt, Aram Hovsepyan, Wouter Joosen	Effective and efficient privacy threat modeling through domain refinements.	SAC	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.	ICASSP	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#.	CC	2018	DBLP DOI BibTeX RDF
17	Ebrahim Khalaj, Marwan Abi-Antoun	Inferring ownership domains from refinements.	GPCE	2018	DBLP DOI BibTeX RDF
17	Ayleen Schinko, Walter Vogler	Fault-Free Refinements for Interface Automata.	ACSD	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.	PCS	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.	ICLS	2018	DBLP BibTeX RDF
17	Oliver Kautz, Bernhard Rumpe	On Computing Instructions to Repair Failed Model Refinements.	MoDELS	2018	DBLP DOI BibTeX RDF
17	Gabriele Farina, Nicola Gatti 0001, Tuomas Sandholm	Practical exact algorithm for trembling-hand equilibrium refinements in games.	NeurIPS	2018	DBLP BibTeX RDF
17	Massimo Bartoletti, Laura Bocchi, Maurizio Murgia 0001	Progress-Preserving Refinements of CTA.	CONCUR	2018	DBLP DOI BibTeX RDF
17	Yinghua Shen, Witold Pedrycz	Collaborative fuzzy clustering algorithm: Some refinements.	Int. J. Approx. Reason.	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.	Int. J. Soc. Robotics	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.	CoRR	2017	DBLP BibTeX RDF
17	Jana Dunfield	Extensible Datasort Refinements.	CoRR	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.	J. Sci. Comput.	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.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
17	Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki	Specification refinements: Calculi, tools, and applications.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
17	Joshua Maglione	Efficient characteristic refinements for finite groups.	J. Symb. Comput.	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.	Comput. Intell.	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.	EURASIP J. Adv. Signal Process.	2017	DBLP DOI BibTeX RDF
17	Kristoffer Arnsfelt Hansen	The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games.	SAGT	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.	ICMT	2017	DBLP DOI BibTeX RDF
17	Khurram A. Jafery, Jana Dunfield	Sums of uncertainty: refinements go gradual.	POPL	2017	DBLP DOI BibTeX RDF
17	Jana Dunfield	Extensible Datasort Refinements.	ESOP	2017	DBLP DOI BibTeX RDF
17	Marek S. Makowski, Alexander Kushnerov	Canonical switched capacitor converters. Comments, complements, and refinements.	ECCTD	2017	DBLP DOI BibTeX RDF
17	Vivek Venugopalan, Cameron D. Patterson	Architectural refinements for enhancing trust and securing cyber-physical systems.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2017	DBLP DOI BibTeX RDF
17	Arnon Avron, Yoni Zohar	Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions.	ISMVL	2017	DBLP DOI BibTeX RDF
17	Robert Mitchell, Elizabeth Walkup	Further refinements to the foundations of cyber zone defense.	MILCOM	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.	IGARSS	2017	DBLP DOI BibTeX RDF
17	Justin Kruger, Stéphane Airiau	Refinements and Randomised Versions of Some Tournament Solutions.	AAMAS	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).		2017	RDF
17	James Mc Laughlin	Refinements of Some Partition Inequalities.	Integers	2016	DBLP BibTeX RDF
17	Duc-Phong Le, Chik How Tan	Further refinements of Miller's algorithm on Edwards curves.	Appl. Algebra Eng. Commun. Comput.	2016	DBLP DOI BibTeX RDF
17	Khurram A. Jafery, Jana Dunfield	Sums of Uncertainty: Refinements Go Gradual.	CoRR	2016	DBLP BibTeX RDF
17	Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma	On Generation of Time-based Label Refinements.	CoRR	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.	Medical Biol. Eng. Comput.	2016	DBLP DOI BibTeX RDF
17	Daniela Bubboloni, Michele Gori	Resolute refinements of social choice correspondences.	Math. Soc. Sci.	2016	DBLP DOI BibTeX RDF
17	Ivica Nikolic, Yu Sasaki	Refinements of the k-tree Algorithm for the Generalized Birthday Problem.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
17	Mukul Sati, Peter Lindstrom 0001, Jarek Rossignac	eBits: Compact stream of mesh refinements for remote visualization.	Comput. Aided Des.	2016	DBLP DOI BibTeX RDF
17	Bartosz Wieckowski	Refinements of subatomic natural deduction.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
17	János Flesch, Arkadi Predtetchinski	On refinements of subgame perfect $\epsilon $ -equilibrium.	Int. J. Game Theory	2016	DBLP DOI BibTeX RDF
17	Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma	On Generation of Time-based Label Refinements.	CS&P	2016	DBLP BibTeX RDF
17	Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin	Lexicographic Refinements in Possibilistic Decision Trees.	ECAI	2016	DBLP DOI BibTeX RDF
17	Stefania Boffa, Brunella Gerla	Sequences of Orthopairs Given by Refinements of Coverings.	WILF	2016	DBLP DOI BibTeX RDF
17	Achim D. Brucker, Burkhart Wolff	Monadic Sequence Testing and Explicit Test-Refinements.	TAP@STAF	2016	DBLP DOI BibTeX RDF
17	Pablo F. Castro, Nazareno Aguirre	Algebraic Foundations for Specification Refinements.	SBMF	2016	DBLP DOI BibTeX RDF
17	Stefano Aguzzoli, Stefania Boffa, Davide Ciucci, Brunella Gerla	Refinements of Orthopairs and IUML-algebras.	IJCRS	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.	FORTE	2016	DBLP DOI BibTeX RDF
17	Marco Console, Paolo Guagliardo, Leonid Libkin	Approximations and Refinements of Certain Answers via Many-Valued Logics.	KR	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.	ETFA	2016	DBLP DOI BibTeX RDF
17	Michael Löwe	Sesqui-Pushout Rewriting with Type Refinements.	ICGT	2016	DBLP DOI BibTeX RDF
17	Tobias J. Brix	Refinements of volume rendering algorithms and their application to non-volumetric data.		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.	Expert Syst. Appl.	2015	DBLP DOI BibTeX RDF
17	Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny	A Methodology for Verifying Refinements of Partial Models.	J. Object Technol.	2015	DBLP DOI BibTeX RDF
17	Claudio Carpineto, Giovanni Romano 0002	KΘ-affinity privacy: Releasing infrequent query refinements safely.	Inf. Process. Manag.	2015	DBLP DOI BibTeX RDF
17	Kathleen M. O'Hara, Dennis Stanton	Refinements of the Rogers-Ramanujan Identities.	Exp. Math.	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.	EAI Endorsed Trans. Self Adapt. Syst.	2015	DBLP DOI BibTeX RDF
17	Conner Hansen, Eugene Syriani, Levi Lucio	Towards Controlling Refinements of Statecharts.	CoRR	2015	DBLP BibTeX RDF
17	Oliver Knill	The graph spectrum of barycentric refinements.	CoRR	2015	DBLP BibTeX RDF
17	Susanne C. Brenner, Li-Yeng Sung	Piecewise H1 functions and vector fields associated with meshes generated by independent refinements.	Math. Comput.	2015	DBLP DOI BibTeX RDF
17	Oriol Carbonell-Nicolau, Richard P. McLean	On equilibrium refinements in supermodular games.	Int. J. Game Theory	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.	ISIT	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].	ROCLING	2015	DBLP BibTeX RDF
17	Mircea-Florin Vaida, Kuderna-Iulian Benta	Groupware refinements for collaborative teams.	RoEduNet	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.	RSFDGrC	2015	DBLP DOI BibTeX RDF
17	Ivica Nikolic, Yu Sasaki	Refinements of the k-tree Algorithm for the Generalized Birthday Problem.	ASIACRYPT (2)	2015	DBLP DOI BibTeX RDF
17	Vincent Cheval, Véronique Cortier, Eric le Morvan	Secure Refinements of Communication Channels.	FSTTCS	2015	DBLP DOI BibTeX RDF
17	David Hall 0006	Refinements in Syntactic Parsing.		2015	RDF
17	Christian Bahls	Space charge calculations using refinements on structured and unstructured grids.		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.	Math. Comput. Simul.	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.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
17	Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares	A Toolset for Checking SPL Refinements.	J. Univers. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Thomas Fankhauser, Thomas P. Wihler, Marcel Wirz	The hp-adaptive FEM based on continuous Sobolev embeddings: Isotropic refinements.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
17	Sergey Korotov, Michal Krízek	Red refinements of simplices into congruent subsimplices.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
17	Jingfeng Tian, Wen-Li Wang	Refinements of Aczél-Type Inequality and Their Applications.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
17	Jingfeng Tian, Wen-Li Wang, Donal O'Regan	Refinements of Generalized Hölder's Inequalities.	J. Appl. Math.	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.	IEEE Trans. Inf. Theory	2014	DBLP DOI BibTeX RDF
17	Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou	Query rewriting under query refinements.	Knowl. Based Syst.	2014	DBLP DOI BibTeX RDF
17	Manas Ghosh, Michael Winter 0001	Refinements of the RCC25 Composition Table.	RAMiCS	2014	DBLP DOI BibTeX RDF
17	Parisa Lak, Bora Çaglayan, Ayse Basar Bener	The Impact of Basic Matrix Factorization Refinements on Recommendation Accuracy.	BDC	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.	WWW (Companion Volume)	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.	ICASSP	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.	ISIT	2014	DBLP DOI BibTeX RDF
17	Ivan A. Matveev, Konstantin Gankin	Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements.	ICPR	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.	ECAI	2014	DBLP DOI BibTeX RDF
17	Manel Zarrouk, Mathieu Lafourcade	Inferring Knowledge with Word Refinements in a Crowdsourced Lexical-Semantic Network.	COLING	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.	EMNLP	2014	DBLP DOI BibTeX RDF
17	Manel Zarrouk, Mathieu Lafourcade	Relation Inference in Lexical Networks ... with Refinements.	LREC	2014	DBLP BibTeX RDF
17	Philipp Koehn, Chara Tsoukala, Herve Saint-Amand	Refinements to Interactive Translation Prediction Based on Search Graphs.	ACL (2)	2014	DBLP DOI BibTeX RDF
17	Behrooz Makki, Mona Noori Hosseini	Some refinements of the standard autoassociative neural network.	Neural Comput. Appl.	2013	DBLP DOI BibTeX RDF
17	Sergey Korotov, Michal Krízek	Local nonobtuse tetrahedral refinements around an edge.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF