Search results for "refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Feixiang Chen, Xuefei Liu	Refinements on the Hermite-Hadamard Inequalities for r-Convex Functions.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
17	Jingfeng Tian, Shu-Yan Wang	Refinements of Generalized Aczél's Inequality and Bellman's Inequality and Their Applications.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
17	Scott N. Gerard, Munindar P. Singh	Formalizing and verifying protocol refinements.	ACM Trans. Intell. Syst. Technol.	2013	DBLP DOI BibTeX RDF
17	Marco Castellani 0002, Massimiliano Giuli	Refinements of existence results for relaxed quasimonotone equilibrium problems.	J. Glob. Optim.	2013	DBLP DOI BibTeX RDF
17	Youssef Mroueh, Lorenzo Rosasco	Quantization and Greed are Good: One bit Phase Retrieval, Robustness and Greedy Refinements.	CoRR	2013	DBLP BibTeX RDF
17	Duc-Phong Le	Further Refinements of Miller Algorithm on Edwards curves	CoRR	2013	DBLP BibTeX RDF
17	Jan Kretínský, Salomon Sickert	On Refinements of Boolean and Parametric Modal Transition Systems	CoRR	2013	DBLP BibTeX RDF
17	Jonathan Scarlett, Li Peng 0001, Neri Merhav, Alfonso Martinez, Albert Guillen i Fabregas	Expurgated Random-Coding Ensembles: Exponents, Refinements and Connections.	CoRR	2013	DBLP BibTeX RDF
17	Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata	Improved Authenticity Bound of EAX, and Refinements.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
17	Sandip Ray, Rob Sumners	Specification and Verification of Concurrent Programs Through Refinements.	J. Autom. Reason.	2013	DBLP DOI BibTeX RDF
17	Bryson Brown	Consequence as Preservation: Some Refinements.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
17	Mads Frost, Afsaneh Doryab, Maria Faurholt-Jepsen, Lars Vedel Kessing, Jakob E. Bardram	Supporting disease insight through data analysis: refinements of the monarca self-assessment system.	UbiComp	2013	DBLP DOI BibTeX RDF
17	Christine Choppy, Laure Petrucci, Alfred Sanogo	Coloured Petri Nets Refinements.	PNSE+ModPE	2013	DBLP BibTeX RDF
17	Jan Kretínský, Salomon Sickert	On Refinements of Boolean and Parametric Modal Transition Systems.	ICTAC	2013	DBLP DOI BibTeX RDF
17	Ivo Krka, Nenad Medvidovic	Distributing refinements of a system-level partial behavior model.	RE	2013	DBLP DOI BibTeX RDF
17	Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini	On requirements verification for model refinements.	RE	2013	DBLP DOI BibTeX RDF
17	Anton Wijs, Luc Engelen	Efficient Property Preservation Checking of Model Refinements.	TACAS	2013	DBLP DOI BibTeX RDF
17	Cyril Cohen, Maxime Dénès, Anders Mörtberg	Refinements for Free!	CPP	2013	DBLP DOI BibTeX RDF
17	Hongjin Liang 0001, Jan Hoffmann 0002, Xinyu Feng 0001, Zhong Shao	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.	CONCUR	2013	DBLP DOI BibTeX RDF
17	Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata	Improved Authenticity Bound of EAX, and Refinements.	ProvSec	2013	DBLP DOI BibTeX RDF
17	Victor Guana, Eleni Stroulia	Backward propagation of code refinements on transformational code generation environments.	TEFSE@ICSE	2013	DBLP DOI BibTeX RDF
17	Andrey Lizyayev	Stochastic dominance efficiency analysis of diversified portfolios: classification, comparison and refinements.	Ann. Oper. Res.	2012	DBLP DOI BibTeX RDF
17	Keisuke Otaki, Akihiro Yamamoto	Estimation of Generating Processes of Strings Represented with Patterns and Refinements.	ICGI	2012	DBLP BibTeX RDF
17	Bo Zhang 0044, Johan van Leeuwaarden, Bert Zwart	Staffing Call Centers with Impatient Customers: Refinements to Many-Server Asymptotics.	Oper. Res.	2012	DBLP DOI BibTeX RDF
17	Julia Schaumburg	Predicting extreme value at risk: Nonparametric quantile regression with refinements from extreme value theory.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
17	John H. Nixon	Investigations into refinements of Storey's method of multiple hypothesis testing minimising the FDR, and its application to test binomial data.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
17	Ljiljana Cvetkovic, Maja Nedovic	Eigenvalue localization refinements for the Schur complement.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
17	Huan-Nan Shi, Da-Mao Li, Jian Zhang	Refinements of Inequalities among Difference of Means.	Int. J. Math. Math. Sci.	2012	DBLP DOI BibTeX RDF
17	Feixiang Chen	Refinements of Kantorovich Inequality for Hermitian Matrices.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
17	Ali Barani, Saeed Barani, Sever Silvestru Dragomir	Refinements of Hermite-Hadamard Inequalities for Functions When a Power of the Absolute Value of the Second Derivative Is P-Convex.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
17	Ye Liang 0001	Real root refinements for univariate polynomial equations	CoRR	2012	DBLP BibTeX RDF
17	Yong-In Kim, Xiaojing Yang	Generalizations and refinements of Hölder's inequality.	Appl. Math. Lett.	2012	DBLP DOI BibTeX RDF
17	John Capper, Henrik Nilsson	Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations.	High. Order Symb. Comput.	2012	DBLP DOI BibTeX RDF
17	Luiz F. S. Coletta, Lucas Vendramin, Eduardo R. Hruschka, Ricardo J. G. B. Campello, Witold Pedrycz	Collaborative Fuzzy Clustering Algorithms: Some Refinements and Design Guidelines.	IEEE Trans. Fuzzy Syst.	2012	DBLP DOI BibTeX RDF
17	Kuei-Lin Tseng, Shiow-Ru Hwang, Sever Silvestru Dragomir	Refinements of Fejér's inequality for convex functions.	Period. Math. Hung.	2012	DBLP DOI BibTeX RDF
17	Nicola Gatti 0001, Fabio Panozzo	New results on the verification of Nash refinements for extensive-form games.	AAMAS	2012	DBLP BibTeX RDF
17	Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala	Nested refinements: a logic for duck typing.	POPL	2012	DBLP DOI BibTeX RDF
17	Sergio Giro, Markus N. Rabe	Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.	ATVA	2012	DBLP DOI BibTeX RDF
17	Rick Salay, Marsha Chechik, Jan Gorzny	Towards a Methodology for Verifying Partial Model Refinements.	ICST	2012	DBLP DOI BibTeX RDF
17	Carla Manni, Francesca Pelosi, Hendrik Speleers	Local Hierarchical h-Refinements in IgA Based on Generalized B-Splines.	MMCS	2012	DBLP DOI BibTeX RDF
17	Luis A. Leiva	Automatic web design refinements based on collective user behavior.	CHI Extended Abstracts	2012	DBLP DOI BibTeX RDF
17	Mark A. Livingston, Jonathan W. Decker	Evaluation of multivariate visualizations: a case study of refinements and user experience.	Visualization and Data Analysis	2012	DBLP DOI BibTeX RDF
17	Jie Geng, Zhenjiang Miao, Hai Chi	Temporal-Spatial Refinements for Video Concept Fusion.	ACCV (3)	2012	DBLP DOI BibTeX RDF
17	Klaus-Dieter Schewe, Qing Wang 0002	Preferential Refinements of Abstract State Machines for Service Mediators.	QSIC	2012	DBLP DOI BibTeX RDF
17	Nathaniel Oco, Rachel E. O. Roxas	Pattern Matching Refinements to Dictionary-Based Code-Switching Point Detection.	PACLIC	2012	DBLP BibTeX RDF
17	Gregory Druck, Bo Pang	Spice it up? Mining Refinements to Online Instructions from User Generated Content.	ACL (1)	2012	DBLP BibTeX RDF
17	Joseph E. Cavanaugh, Andrew A. Neath	Akaike's Information Criterion: Background, Derivation, Properties, and Refinements.	International Encyclopedia of Statistical Science	2011	DBLP DOI BibTeX RDF
17	Harry Buhrman, Peter T. S. van der Gulik, Steven Kelk, Wouter M. Koolen, Leen Stougie	Some Mathematical Refinements Concerning Error Minimization in the Genetic Code.	IEEE ACM Trans. Comput. Biol. Bioinform.	2011	DBLP DOI BibTeX RDF
17	Cristinel Mortici	Refinements of Gurland's formula for pi.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF
17	Jun Ma 0017, Yeong-Nan Yeh	Refinements of (n, m)-Dyck paths.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
17	Petr Buryan, Jirí Kubalík	Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programming.	Artif. Intell. Rev.	2011	DBLP DOI BibTeX RDF
17	Rajesh Kumar Aggarwal, Mayank Dave	Acoustic modeling problem for automatic speech recognition system: advances and refinements (Part II).	Int. J. Speech Technol.	2011	DBLP DOI BibTeX RDF
17	Zhengjie Sun, Ling Zhu	Some Refinements of Inequalities for Circular Functions.	J. Appl. Math.	2011	DBLP DOI BibTeX RDF
17	Guido Montúfar, Nihat Ay	Refinements of Universal Approximation Results for Deep Belief Networks and Restricted Boltzmann Machines.	Neural Comput.	2011	DBLP DOI BibTeX RDF
17	Ljiljana Cvetkovic, Vladimir Kostic, Juan Manuel Peña 0001	Eigenvalue Localization Refinements for Matrices Related to Positivity.	SIAM J. Matrix Anal. Appl.	2011	DBLP DOI BibTeX RDF
17	Duc-Phong Le, Chao-Liang Liu	Refinements of Miller's Algorithm over Weierstrass Curves Revisited	CoRR	2011	DBLP BibTeX RDF
17	Sergey Korotov, Michal Krízek	Nonobtuse local tetrahedral refinements towards a polygonal face/interface.	Appl. Math. Lett.	2011	DBLP DOI BibTeX RDF
17	H. M. Srivastava 0001, Zhi-Hua Zhang, Yu-Dong Wu	Some further refinements and extensions of the Hermite-Hadamard and Jensen inequalities in several variables.	Math. Comput. Model.	2011	DBLP DOI BibTeX RDF
17	Duc-Phong Le, Chao-Liang Liu	Refinements of Miller's Algorithm over Weierstrass Curves Revisited.	Comput. J.	2011	DBLP DOI BibTeX RDF
17	Zhicheng Zheng, Xiance Si, Edward Y. Chang, Xiaoyan Zhu	K2Q: Generating Natural Language Questions from Keywords with User Refinements.	IJCNLP	2011	DBLP BibTeX RDF
17	Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer 0001	Verification of microarchitectural refinements in rule-based systems.	MEMOCODE	2011	DBLP DOI BibTeX RDF
17	Bryan Temprado-Battad, Antonio Sarasa Cabezuelo, José Luis Sierra-Rodríguez	Checking the Conformance of Grammar Refinements with Respect to Initial Context-Free Grammars.	FedCSIS	2011	DBLP BibTeX RDF
17	Thierry-Marie Guerra, Abdelhafidh Jaadari, Juntao Pan, Antonio Sala 0001	Some refinements for non quadratic stabilization of continuous TS models.	FUZZ-IEEE	2011	DBLP DOI BibTeX RDF
17	Martin Schmidt 0002, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack	Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.	KI	2011	DBLP DOI BibTeX RDF
17	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.	FSEN	2011	DBLP DOI BibTeX RDF
17	Vijay Kumar, Somnath Sengupta	Decoder driven multi resolution side information refinements and mode decisions for improved rate-distortion performance in distributed video coding.	ICME	2011	DBLP DOI BibTeX RDF
17	Ilenia Tinnirello, Giuseppe Bianchi 0001, Yang Xiao 0001	Refinements on IEEE 802.11 Distributed Coordination Function Modeling Approaches.	IEEE Trans. Veh. Technol.	2010	DBLP DOI BibTeX RDF
17	Ángel García-Crespo, Alejandro Rodríguez González, Myriam Mencke, Juan Miguel Gómez-Berbís, Ricardo Colomo Palacios	ODDIN: Ontology-driven differential diagnosis based on logical inference and probabilistic refinements.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
17	Joan Daemen, Vincent Rijmen	Refinements of the ALRED construction and MAC security claims.	IET Inf. Secur.	2010	DBLP DOI BibTeX RDF
17	Mohammad Wajeeh Alomari, Maslina Darus, Ugur S. Kirmaci	Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
17	Wengui Yang	Refinements of generalized Aczél-Popoviciu's inequality and Bellman's inequality.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
17	Zhicheng Hu, Aimin Xu	Refinements of Aczél and Bellman's inequalities.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
17		The Gene Ontology in 2010: extensions and refinements.	Nucleic Acids Res.	2010	DBLP DOI BibTeX RDF
17	Florian Roemer, Martin Haardt	Tensor-based channel estimation and iterative refinements for two-way relaying with multiple antennas and spatial reuse.	IEEE Trans. Signal Process.	2010	DBLP DOI BibTeX RDF
17	Zhen-Gang Xiao, H. M. Srivastava 0001, Zhi-Hua Zhang	Further refinements of the Jensen inequalities based upon samples with repetitions.	Math. Comput. Model.	2010	DBLP DOI BibTeX RDF
17	Richard P. Anstee, Balin Fleming	Two refinements of the bound of Sauer, Perles and Shelah, and of Vapnik and Chervonenkis.	Discret. Math.	2010	DBLP DOI BibTeX RDF
17	Richard Banach, Gerhard Schellhorn	Atomic actions, and their refinements to isolated protocols.	Formal Aspects Comput.	2010	DBLP DOI BibTeX RDF
17	Antti Hannukainen, Sergey Korotov, Michal Krízek	On global and local mesh refinements by a generalized conforming bisection algorithm.	J. Comput. Appl. Math.	2010	DBLP DOI BibTeX RDF
17	Afredo Alzaga, Rodrigo Iglesias, Ricardo Pignol	Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements.	J. Comb. Theory, Ser. B	2010	DBLP DOI BibTeX RDF
17	Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen	The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements.	SAGT	2010	DBLP DOI BibTeX RDF
17	Dominik Domis, Kai Höfig, Mario Trapp	A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.	ISSRE	2010	DBLP DOI BibTeX RDF
17	Patrik Lundh, Britte Haugan Cheng, William R. Penuel, Aasha Joshi	Using design personas to inform refinements to software for science learning.	ICLS	2010	DBLP BibTeX RDF
17	Laura Moss, Derek H. Sleeman, Malcolm Sim	Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements.	EKAW	2010	DBLP DOI BibTeX RDF
17	Mohamed Elhadi, Amjad Al-Tobi	Refinements of Longest Common Subsequence algorithm.	AICCSA	2010	DBLP DOI BibTeX RDF
17	Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf	Soundness-Preserving Refinements of Service Compositions.	WS-FM	2010	DBLP DOI BibTeX RDF
17	Huan-Wen Liu, Le-Le Fan	Lagrange interpolations using bivariate C2 quintic supersplines on double Clough-Tocher refinements.	Comput. Math. Appl.	2009	DBLP DOI BibTeX RDF
17	Jean-Marie Jacquet, Isabelle Linden	Fully abstract models and refinements as tools to compare agents in timed coordination languages.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Jan Mikác, Paul Caspi	Flush: an example of development by refinements in SCADE/Lustre.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
17	Tongsuo Wu, Qiong Liu, Li Chen	Zero-divisor semigroups and refinements of a star graph.	Discret. Math.	2009	DBLP DOI BibTeX RDF
17	Lionel C. Briand, Yvan Labiche, Tao Yue 0002	Automated traceability analysis for UML model refinements.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
17	Qaisar A. Malik, Johan Lilius, Linas Laibinis	Model-Based Testing Using Scenarios and Event-B Refinements.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
17	Alexandre Hanft, Norman Ihle, Régis Newo	Refinements for Retrieval and Adaptation of the CookIIS Application.	Wissensmanagement	2009	DBLP BibTeX RDF
17	John Impagliazzo	Graduate attributes and performance measures: refinements in assessing programs.	ITiCSE	2009	DBLP DOI BibTeX RDF	graduate attributes, assessment, performance measures, quality assurance, accreditation, computing programs
17	Rachid Rahmoune, Andrea Della Vecchia, Paolo Ferrazzoli, Leila Guerriero, Fernando Martín-Porqueras	Refinements and Tests of a Microwave Emission Model for Forests.	IGARSS (2)	2009	DBLP DOI BibTeX RDF
17	Teck-Kuen Chua, David C. Pheanis	Quantifying Improvements from Refinements in a VoIP Teleconference System.	AICT	2009	DBLP DOI BibTeX RDF
17	Christine Choppy, Micaela Mayero, Laure Petrucci	Experimenting Formal Proofs of Petri Nets Refinements.	Refine@FM	2008	DBLP DOI BibTeX RDF
17	Claudia Pons, Diego García	A Lightweight Approach for the Semantic Validation of Model Refinements.	MBT@ETAPS	2008	DBLP DOI BibTeX RDF
17	André Didier, Adalberto Farias, Alexandre Mota 0001	Checking Z Data Refinements Using Traces Refinement.	SBMF	2008	DBLP DOI BibTeX RDF
17	Feng Qi 0001, Bai-Ni Guo	Wendel's and Gautschi's inequalities: Refinements, extensions, and a class of logarithmically completely monotonic functions.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
17	José Luis Díaz-Barrero, Miquel Grau-Sánchez, Pantelimon George Popescu	Refinements of Aczél, Popoviciu and Bellman's inequalities.	Comput. Math. Appl.	2008	DBLP DOI BibTeX RDF