Search results for "deriving"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Shachar Itzhaky, Rohit Singh 0002, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury	Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.	OOPSLA	2016	DBLP DOI BibTeX RDF
12	Anzhela Yu. Matrosova, Valentina Andreeva, Alexey Melnikov 0002	ROBDDs application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself.	EWDTS	2016	DBLP DOI BibTeX RDF
12	Thorsten Haendler, Stefan Sobernig, Mark Strembeck	Deriving UML-based specifications of inter-component interactions from runtime tests.	SAC	2016	DBLP DOI BibTeX RDF
12	Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia	Deriving Inverse Operators for Modal Logic.	ICTAC	2016	DBLP DOI BibTeX RDF
12	Bernhard Peischl, Ingo Pill, Franz Wotawa	Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.	KI	2016	DBLP DOI BibTeX RDF
12	Timo Kehrer, Gabriele Taentzer, Michaela Rindt, Udo Kelter	Automatically Deriving the Specification of Model Editing Operations from Meta-Models.	ICMT	2016	DBLP DOI BibTeX RDF
12	Nader H. Bshouty, Catherine A. Haddad-Zaknoon	The Maximum Cosine Framework for Deriving Perceptron Based Linear Classifiers.	ALT	2016	DBLP DOI BibTeX RDF
12	Elisabeth Paulson, Booz Allen Hamilton, Christopher Griffin 0001	Deriving an optimally deceptive policy in two-player iterated games.	ACC	2016	DBLP DOI BibTeX RDF
12	Janine Viol Hacker, Alexander Piazza, Trevor Kelley	Do You Write What You Are in Business Communications? Deriving Psychometrics from Enterprise Social Networks.	BIS (Workshops)	2016	DBLP DOI BibTeX RDF
12	Bernhard K. Aichernig, Richard Schumi	Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models.	ICST Workshops	2016	DBLP DOI BibTeX RDF
12	Eduard Alibekov, Jirí Kubalík, Robert Babuska	Symbolic method for deriving policy in reinforcement learning.	CDC	2016	DBLP DOI BibTeX RDF
12	Bharat Garg, G. K. Sharma 0001	A block matching algorithm for deriving quality-tunable motion estimation architecture.	ICIIS	2016	DBLP DOI BibTeX RDF
12	Heidelinde Hobel, Paolo Fogliaroni, Andrew U. Frank	Deriving the Geographic Footprint of Cognitive Regions.	AGILE Conf.	2016	DBLP DOI BibTeX RDF
12	Elena Troubitsyna	An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases.	COMPSAC Workshops	2016	DBLP DOI BibTeX RDF
12	Md. Rashed Iqbal Nekvi, Ibtehal Noorwali, Nazim H. Madhavji	Deriving Metrics for Estimating the Effort Needed in Requirements Compliance Work.	REFSQ	2016	DBLP DOI BibTeX RDF
12	Wazim Mohammed Ismail, Chung-chieh Shan	Deriving a probability density calculator (functional pearl).	ICFP	2016	DBLP DOI BibTeX RDF
12	Marc Berges, Michael Striewe, Philipp Shah, Michael Goedicke, Peter Hubwieser	Towards Deriving Programming Competencies from Student Errors.	LaTiCE	2016	DBLP DOI BibTeX RDF
12	Roman Haas, Benjamin Hummel	Deriving Extract Method Refactoring Suggestions for Long Methods.	SWQD	2016	DBLP DOI BibTeX RDF
12	Hongmin Zhang, Guowang Jin, Qing Xu 0005, Yage Zhang	Performance analysis and simulation of 3D information deriving from InSAR with different baselines.	ICNC-FSKD	2016	DBLP DOI BibTeX RDF
12	Sachithra Lokuge, Darshana Sedera	Is your IT eco-system ready to facilitate organizational innovation? Deriving an IT eco-system readiness measurement model.	ICIS	2016	DBLP BibTeX RDF
12	Ivan Slivar, Lea Skorin-Kapov, Mirko Suznjevic	Cloud gaming QoE models for deriving video encoding adaptation strategies.	MMSys	2016	DBLP DOI BibTeX RDF
12	Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró	Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules.	COMMitMDE@MoDELS	2016	DBLP BibTeX RDF
12	Charles Palmer, Lee A. Angelelli, Jeb Linton, Harmeet Singh, Michael Muresan	Cognitive Cyber Security Assistants - Computationally Deriving Cyber Intelligence and Course of Actions.	AAAI Fall Symposia	2016	DBLP BibTeX RDF
12	Kay Massow, Birgit Kwella, Niko Pfeifer, Florian Hausler, Jens Pontow, Ilja Radusch, Jochen Hipp, Frank Dölitzscher, Martin Haueis	Deriving HD maps for highly automated driving from vehicular probe data.	ITSC	2016	DBLP DOI BibTeX RDF
12	Julius Schöning, Gunther Heidemann	Bio-Inspired Architecture for Deriving 3D Models from Video Sequences.	ACCV Workshops (2)	2016	DBLP DOI BibTeX RDF
12	Chi-Yo Huang, Hsin-Hung Wu, Hsueh-Hsin Lu	A MCDM Methods Based TAM for Deriving Influences of Privacy Paradox on User's Trust on Social Networks.	IEA/AIE	2016	DBLP DOI BibTeX RDF
12	Vincentzio Roman, Jakub J. Moskal, Mieczyslaw M. Kokar, Roger P. Guseman, Robert B. Normoyle, David H. Scheidt	Reusability of knowledge for deriving latent situational information in EW scenarios.	MILCOM	2016	DBLP DOI BibTeX RDF
12	Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle	Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.	SPICE	2016	DBLP DOI BibTeX RDF
12	Jeremy R. Millar, Douglas D. Hodson, Richard Seymour	Deriving LVC State Synchronization Parameters from Interaction Requirements.	DS-RT	2016	DBLP DOI BibTeX RDF
12	Paul Tarau	A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.	LOPSTR	2016	DBLP DOI BibTeX RDF
12	Konstantinos Georgiou, George Karakostas, Evangelos Kranakis, Danny Krizanc	Know When to Persist: Deriving Value from a Stream Buffer - (Extended Abstract).	AAIM	2016	DBLP DOI BibTeX RDF
12	Shameek Ghosh, Yi Zheng, Thorsten Lammers, Ying Ying Chen, Carolyn Fitzmaurice, Scott Johnston, Jinyan Li 0001	Deriving Public Sector Workforce Insights: A Case Study Using Australian Public Sector Employment Profiles.	ADMA	2016	DBLP DOI BibTeX RDF
12	Markus Forsberg, Mans Hulden	Deriving Morphological Analyzers from Example Inflections.	LREC	2016	DBLP BibTeX RDF
12	Paul A. Fontelo, Fang Liu 0007	Deriving the "Number Needed to Treat" from PubMed Structured Abstracts.	AMIA	2016	DBLP BibTeX RDF
12	Xiangfu Zhao, Dantong Ouyang	Deriving all minimal hitting-sets by merging.	ICIA	2016	DBLP DOI BibTeX RDF
12	Abdelmounaam Rezgui, Daniel Fahey, Ian Smith	AffinityFinder: A System for Deriving Hidden Affinity Relationships on Twitter Utilizing Sentiment Analysis.	FiCloud Workshops	2016	DBLP DOI BibTeX RDF
12	Konrad Kulakowski	On the Properties of the Priority Deriving Procedure in the Pairwise Comparisons Method.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
12	Asep Saepuloh, Katsuaki Koike, Minoru Urai, Josaphat Tetuko Sri Sumantyo	Identifying Surface Materials on an Active Volcano by Deriving Dielectric Permittivity From Polarimetric SAR Data.	IEEE Geosci. Remote. Sens. Lett.	2015	DBLP DOI BibTeX RDF
12	Chuck Lindsay, Jiang Zhu, Amy E. Miller, Peter Kirchner, Tammy L. Wilson	Deriving Snow Cover Metrics for Alaska from MODIS.	Remote. Sens.	2015	DBLP DOI BibTeX RDF
12	Dominik Sojer, Christian Buckl, Alois C. Knoll	Deriving fault-detection mechanisms from safety requirements.	Comput. Sci. Res. Dev.	2015	DBLP DOI BibTeX RDF
12	Decui Liang, Dun Liu	Deriving three-way decisions from intuitionistic fuzzy decision-theoretic rough sets.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
12	Raed Shatnawi	Deriving metrics thresholds using log transformation.	J. Softw. Evol. Process.	2015	DBLP DOI BibTeX RDF
12	Burcu Demirelli Okkalioglu, Murat Okkalioglu, Mehmet Koç, Huseyin Polat 0001	A survey: deriving private information from perturbed data.	Artif. Intell. Rev.	2015	DBLP DOI BibTeX RDF
12	Xiangfu Zhao, Dantong Ouyang	Deriving All Minimal Hitting Sets Based on Join Relation.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
12	Susana Nascimento, Sérgio Casca, Boris G. Mirkin	A seed expanding cluster algorithm for deriving upwelling areas on sea surface temperature images.	Comput. Geosci.	2015	DBLP DOI BibTeX RDF
12	Darshika Palamakumbure, Phil Flentje, David Stirling	Consideration of optimal pixel resolution in deriving landslide susceptibility zoning within the Sydney Basin, New South Wales, Australia.	Comput. Geosci.	2015	DBLP DOI BibTeX RDF
12	Qiusheng Wu, Hongxing Liu, Shujie Wang, Bailang Yu, Richard A. Beck, Kenneth M. Hinkel	A localized contour tree method for deriving geometric and topological properties of complex surface depressions based on high-resolution topographical data.	Int. J. Geogr. Inf. Sci.	2015	DBLP DOI BibTeX RDF
12	Lars Holst, Takis Konstantopoulos	Runs in coin tossing: a general approach for deriving distributions for functionals.	J. Appl. Probab.	2015	DBLP DOI BibTeX RDF
12	Teng Wang 0001, Sigurjón Jónsson	Improved SAR Amplitude Image Offset Measurements for Deriving Three-Dimensional Coseismic Displacements.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2015	DBLP DOI BibTeX RDF
12	Chunxiang Cao, Haijing Tian, Yuxing Zhang, Yongfeng Dang, Xiliang Ni, Yunfei Xu, Min Xu 0007, Xiaowen Li 0001, Haibing Xiang, Tianyu Yang	Deriving Regional Crown Closure Using Spectral Mixture Analysis Based on Up-Scaling Endmember Extraction Approach and Validation.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2015	DBLP DOI BibTeX RDF
12	Germán Kruszewski, Denis Paperno, Marco Baroni	Deriving Boolean Structures from Distributional Vectors.	Trans. Assoc. Comput. Linguistics	2015	DBLP DOI BibTeX RDF
12	Erik Buchmann, Patrick Erik Bradley, Klemens Böhm	Deriving Bounds on the Size of Spatial Areas.	Open J. Databases	2015	DBLP BibTeX RDF
12	Ronald Garcia, Éric Tanter	Deriving a Simple Gradual Security Language.	CoRR	2015	DBLP BibTeX RDF
12	Katrin Hölldobler, Bernhard Rumpe, Ingo Weisemöller	Systematically Deriving Domain-Specific Transformation Languages.	CoRR	2015	DBLP BibTeX RDF
12	Lorenzo Gatti, Marco Guerini, Marco Turchi	SentiWords: Deriving a High Precision and High Coverage Lexicon for Sentiment Analysis.	CoRR	2015	DBLP BibTeX RDF
12	Aharon Ben-Tal, Dick den Hertog, Jean-Philippe Vial	Deriving robust counterparts of nonlinear uncertain inequalities.	Math. Program.	2015	DBLP DOI BibTeX RDF
12	Yingqing He, Bin Ai, Yao Yao, Fajun Zhong	Deriving urban dynamic evolution rules from self-adaptive cellular automata with multi-temporal remote sensing images.	Int. J. Appl. Earth Obs. Geoinformation	2015	DBLP DOI BibTeX RDF
12	Jurandy Almeida, Jefersson Alex dos Santos, Waner O. Miranda, Bruna Alberton, Leonor Patricia C. Morellato, Ricardo da Silva Torres	Deriving vegetation indices for phenology analysis using genetic programming.	Ecol. Informatics	2015	DBLP DOI BibTeX RDF
12	Yao Liu 0008, Sujit Dey, Fatih Ulupinar, Michael Luby, Yinian Mao	Deriving and Validating User Experience Model for DASH Video Streaming.	IEEE Trans. Broadcast.	2015	DBLP DOI BibTeX RDF
12	Christian Sternagel, René Thiemann	Deriving class instances for datatypes.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
12	Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata	Approximate by thinning: Deriving fully polynomial-time approximation schemes.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
12	Fanyong Meng 0001, Xiaohong Chen 0001, Ming-Xun Zhu, Jian Lin 0005	Two new methods for deriving the priority vector from interval multiplicative preference relations.	Inf. Fusion	2015	DBLP DOI BibTeX RDF
12	Marius Neag, Raul Onet, István Kovács, Paul Martari	Comparative Analysis of Simulation-Based Methods for Deriving the Phase- and Gain-Margins of Feedback Circuits With Op-Amps.	IEEE Trans. Circuits Syst. I Regul. Pap.	2015	DBLP DOI BibTeX RDF
12	Nina Yevtushenko 0001, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang	Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.	Comput. J.	2015	DBLP DOI BibTeX RDF
12	Ayodeji Remi Omosowon, Richard J. Cant, Caroline S. Langensiepen	Deriving an Entropy Measure for 2D Container Layouts.	UKSim	2015	DBLP DOI BibTeX RDF
12	Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon	Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.	HASE	2015	DBLP DOI BibTeX RDF
12	Maria Koutraki, Dan Vodislav, Nicoleta Preda	Deriving Intensional Descriptions for Web Services.	CIKM	2015	DBLP DOI BibTeX RDF
12	Jui-Wen Huang, Shih-Cheng Liang, Huei-Yung Lin	A technique for deriving the camera response function using image blur.	ICCE-TW	2015	DBLP DOI BibTeX RDF
12	David Galea, Peter Bruza	Deriving Word Association Networks from Text Corpora.	EAPCogSci	2015	DBLP BibTeX RDF
12	Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini	Type systems for the masses: deriving soundness proofs and efficient checkers.	Onward!	2015	DBLP DOI BibTeX RDF
12	Natalia Kushik, Hüsnü Yenigün	Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines.	ICTSS	2015	DBLP DOI BibTeX RDF
12	Andrii Matviienko, Vanessa Cobus, Heiko Müller 0002, Jutta Fortmann, Andreas Löcken, Susanne Boll, Maria Rauschenberger, Janko Timmermann, Christoph Trappe, Wilko Heuten	Deriving design guidelines for ambient light systems.	MUM	2015	DBLP DOI BibTeX RDF
12	Natalia Kushik, Nina Yevtushenko 0001, Stanislav N. Torgaev, Nikita Shatilov	On using ABC for deriving distinguishing sequences for Verilog-descriptions.	EWDTS	2015	DBLP DOI BibTeX RDF
12	Jéssyka Vilela, Jaelson Brelaz de Castro, João Pimentel 0001, Monique Soares, Paulo Cavalcanti, Márcia Lucena	Deriving the behavior of context-sensitive systems from contextual goal models.	SAC	2015	DBLP DOI BibTeX RDF
12	Fangfei Ge, Jinglei Lv, Xintao Hu, Bao Ge, Lei Guo 0002, Junwei Han, Tianming Liu 0001	Deriving ADHD biomarkers with sparse coding based network analysis.	ISBI	2015	DBLP DOI BibTeX RDF
12	Tim vor der Brück, Steffen Eger	Deriving a Primal Form for the Quadratic Power Kernel.	KI	2015	DBLP DOI BibTeX RDF
12	Shuo Chang, Peng Dai, Jilin Chen, Ed Huai-hsin Chi	Got Many Labels?: Deriving Topic Labels from Multiple Sources for Social Media Posts using Crowdsourcing and Ensemble Learning.	WWW (Companion Volume)	2015	DBLP DOI BibTeX RDF
12	Minh-Duc Pham, Linnea Passing, Orri Erling, Peter A. Boncz	Deriving an Emergent Relational Schema from RDF Data.	WWW	2015	DBLP DOI BibTeX RDF
12	James Watson, Geoff Nitschke	Deriving minimal sensory configurations for evolved cooperative robot teams.	CEC	2015	DBLP DOI BibTeX RDF
12	Xiaofang Zhou 0001	Deriving values from spatial trajectories.	TAAI	2015	DBLP DOI BibTeX RDF
12	Paulo J. Lopes dos Santos, José A. Ramos, T.-P. Azevedo-Perdicoúlis, Jorge Leite Martins de Carvalho	Deriving mechanical structures in physical coordinates from data-driven state-space realizations.	ACC	2015	DBLP DOI BibTeX RDF
12	Deepali Arora, Piyush Malik	Analytics: Key to Go from Generating Big Data to Deriving Business Value.	BigDataService	2015	DBLP DOI BibTeX RDF
12	Regine Dörbecker, Oksana Tokar, Tilo Böhmann	Deriving Design Principles for Improving Service Modularization Methods - Lessons Learnt from the Complex Integrated Health Care Service System.	ECIS	2015	DBLP BibTeX RDF
12	Meng Qi, Xin Li 0033, Lejian Liao, Dandan Song, William K. Cheung 0001	Deriving an Effective Hypergraph Model for Point of Interest Recommendation.	KSEM	2015	DBLP DOI BibTeX RDF
12	Brenton D. Walker, Anders Lindgren	Deriving Cellular Network Structure from Inferred Handovers in a Cellular Association Trace.	HotPlanet@MobiCom	2015	DBLP DOI BibTeX RDF
12	Eshwar Ghumare, Maarten Schrooten, Rik Vandenberghe, Patrick Dupont	Comparison of different Kalman filter approaches in deriving time varying connectivity from EEG data.	EMBC	2015	DBLP DOI BibTeX RDF
12	Tobias Strauch	Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++.	MBMV	2015	DBLP BibTeX RDF
12	J. Christian Attiogbé	Deriving Event-B Models from Mealy Machines: Application to an Auction System.	MEDI	2015	DBLP DOI BibTeX RDF
12	Jean-Charles Delvenne, Henrik Sandberg	Deriving thermodynamics from linear dissipativity theory.	CDC	2015	DBLP DOI BibTeX RDF
12	Hyang Sook Kim, Sol Hee Yoon, Meen Jong Kim, Yong Gu Ji	Deriving future user experiences in autonomous vehicle.	AutomotiveUI (adjunct)	2015	DBLP DOI BibTeX RDF
12	Srisairam Achuthan, Mike Chang, Ajay Shah	SPIRIT-ML: A Machine Learning Platform for Deriving Knowledge from Biomedical Datasets.	DILS	2015	DBLP DOI BibTeX RDF
12	Ekaterina Bazhenova, Mathias Weske	Deriving Decision Models from Process Models by Enhanced Decision Mining.	Business Process Management Workshops	2015	DBLP DOI BibTeX RDF
12	Robertus Nugroho, Jian Yang 0001, Youliang Zhong, Cécile Paris, Surya Nepal	Deriving Topics in Twitter by Exploiting Tweet Interactions.	BigData Congress	2015	DBLP DOI BibTeX RDF
12	Dae Wook Kim, Junjie Zhang 0004	You Are How You Query: Deriving Behavioral Fingerprints from DNS Traffic.	SecureComm	2015	DBLP DOI BibTeX RDF
12	Kerem Senel, Jason West	An Evolutionary Algorithm for Deriving Withdrawal Rates in Defined Contribution Schemes.	ACALCI	2015	DBLP DOI BibTeX RDF
12	Fuguo Wei, Alistair Barros, Chun Ouyang 0001	Deriving Artefact-Centric Interfaces for Overloaded Web Services.	CAiSE	2015	DBLP DOI BibTeX RDF
12	Jongwon Lee, Heeseok Lee	Deriving Strategic Priority of Policies for Creative Tourism Industry in Korea using AHP.	ITQM	2015	DBLP DOI BibTeX RDF
12	Thomas Zinner, Florian Lemmerich, Susanna Schwarzmann, Matthias Hirth, Peter Karg, Andreas Hotho	Text Categorization for Deriving the Application Quality in Enterprises Using Ticketing Systems.	DaWaK	2015	DBLP DOI BibTeX RDF
12	Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov	A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets.	ACSD	2015	DBLP DOI BibTeX RDF
12	Yangchun Fu, Zhiqiang Lin, David Brumley	Automatically deriving pointer reference expressions from binary code for memory dump analysis.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF