Search results for "change"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
30	Marikka Heikkilä	Learning and Organizational Change in SPI Initiatives.	PROFES	2009	DBLP DOI BibTeX RDF	learning, SPI, Organizational change
30	Wei Xu 0021, Jibang Liu, Tong Zhang 0002	Data manipulation techniques to reduce phase change memory write energy.	ISLPED	2009	DBLP DOI BibTeX RDF	low power, phase change memory
30	Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre	Normative framework for normative system change.	AAMAS (1)	2009	DBLP BibTeX RDF	input/output logic, norm change, belief revision, normative systems
30	Otávio A. S. Bueno	Structural Realism, Scientific Change, and Partial Structures.	Stud Logica	2008	DBLP DOI BibTeX RDF	Structural realism, scientific change, partial structures, constructive empiricism, reference, truth, realism
30	Mark Sherriff, Laurie A. Williams	Empirical Software Change Impact Analysis using Singular Value Decomposition.	ICST	2008	DBLP DOI BibTeX RDF	Change Records, Singular Value Decomposition, Impact Analysis
30	Yin Li, Juan Li 0001, Ye Yang, Mingshu Li 0001	Requirement-Centric Traceability for Change Impact Analysis: A Case Study.	ICSP	2008	DBLP DOI BibTeX RDF	Requirement Interdependency, Dynamic Requirement Traceability, Information Retrieval, Change Impact Analysis
30	Shohei Hido, Tsuyoshi Idé, Hisashi Kashima, Harunobu Kubo, Hirofumi Matsuzawa	Unsupervised Change Analysis Using Supervised Learning.	PAKDD	2008	DBLP DOI BibTeX RDF	two-sample test, concept drift, change analysis
30	Ying Yang 0001, Xindong Wu 0001, Xingquan Zhu 0001	Mining in Anticipation for Concept Change: Proactive-Reactive Prediction in Data Streams.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	concept change, proactive learning, reactive learning, conceptual equivalence, classification, data stream
30	Tie Feng, Jonathan I. Maletic	Applying Dynamic Change Impact Analysis in Component-based Architecture Design.	SNPD	2006	DBLP DOI BibTeX RDF	software architecture, program slicing, Change impact analysis, component composition
30	Kirsten Cater, Alan Chalmers, Colin Dalton	Varying rendering fidelity by exploiting human change blindness.	GRAPHITE	2003	DBLP DOI BibTeX RDF	interactive rendering of dynamic scenes and image quality, task related realistic rendering, human visual perception, change blindness
30	L. J. Chmura, Anthony F. Norcio, T. J. Wicinski	Evaluating Software Design Processes by Analyzing Change Data Over Time.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software design processes evaluation, early design and code change data, software cost reduction, error-correction effort, stepwise growth, module interface updates, software engineering
30	Michal Tury, Mária Bieliková	An approach to detection ontology changes.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	OntoDiff software tool, content change, ontology change, relative text comparison, structural change, heuristics
30	Mikael Ronström	On-Line Schema Update for a Telecom Database.	ICDE	2000	DBLP DOI BibTeX RDF	Telecom Database, on-line maintenance, on-line schema change, Parallel Database, Change Propagation, Schema Change
30	Randolph B. Cooper	The influence of group and context on information technology development creativity.	HICSS (4)	1995	DBLP DOI BibTeX RDF	organisational reengineering, information technology development creativity, dramatic organizational change, creativity model, group creative processes, imaging technology development project, IT development creativity research, IT development creativity models, group, business data processing, systems re-engineering, office automation, organizational change, management of change
30	Petri Maaranen	GroupVideo-distributed EMS for small groups.	HICSS (4)	1995	DBLP DOI BibTeX RDF	GroupVideo, small groups, business travel costs, decision making habits, social change, procedural change, networking, groupware, managers, organizations, costs, videoconferencing, multimedia computing, business data processing, teleconferencing, group decision support systems, distributed decision making, distributed decision making, technological change, Finland, computer conferencing
29	Daniel M. Germán, Abram Hindle	Measuring Fine-Grained Change in Software: Towards Modification-Aware Change Metrics.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
29	Lars Mathiassen, Ojelanki K. Ngwenyama, Ivan Aaen	Managing Change in Software Process Improvement.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	software process improvement, change management, organizational change
29	Jane Cleland-Huang, Carl K. Chang, Mark J. Christensen	Event-Based Traceability for Managing Evolutionary Change.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	evolutionary change, software maintenance, traceability, Change management, impact analysis, requirements management
29	Kunrong Chen, Václav Rajlich	RIPPLES: Tool for Change in Legacy Software.	ICSM	2001	DBLP DOI BibTeX RDF	conceptual dependence, dependence graph, feature location, change propagation, software servicing, software change
28	Hugh Anderson, Siau-Cheng Khoo	Affine-Based Size-Change Termination.	APLAS	2003	DBLP DOI BibTeX RDF
28	Twittie Senivongse, Pasin Suriyentrakorn	A CORBA-Based Architecture for Service Change Notification.	EDOC	2001	DBLP DOI BibTeX RDF
28	Ivica Crnkovic	A Change Process Model in an SCM Tool.	EUROMICRO	1998	DBLP DOI BibTeX RDF
28	Michael VanHilst, David Notkin	Decoupling Change from Design.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
28	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
28	Eric K. Clemons, Michael C. Row, Matt E. Thatcher	An integrative framework for identifying and managing risks associated with large scale reengineering efforts.	HICSS (4)	1995	DBLP DOI BibTeX RDF	large scale reengineering efforts, functionality risk, political risk, uncertain future strategic needs, information systems, risk management, risk management, economics, failure, business data processing, systems re-engineering, organizational change, management information systems, strategic planning, management of change, integrative framework, commerce, risk identification
28	Jeong-Sun Moon, Hwa-change Seo, Kyung-ah Son, Kangmu Lee, Daniel Zehnder, Haw Tai, Dustin Le	Phase-change RF switches with robust switching cycle endurance.	RWS	2018	DBLP DOI BibTeX RDF
28	Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella (eds.)	A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Jennifer Paykin, Steve Zdancewic	Linear λμ is CP (more or less).	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	John Hughes 0001	Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo	Proof-Relevant Parametricity.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Ralf Hinze, Dan Marsden	Dragging Proofs Out of Pictures.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Andreas Rossberg	1ML with Special Effects - F-ing Generativity Polymorphism.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Avraham Shinnar, Jérôme Siméon	A Branding Strategy for Business Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Jeremy G. Siek, Sam Tobin-Hochstadt	The Recursive Union of Some Gradual Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Bernardo Toninho, Nobuko Yoshida	Certifying Data in Multiparty Session Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	John T. O'Donnell, Cordelia V. Hall	Pointlessness is Better than Listlessness.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Andrew P. Black, Kim B. Bruce, James Noble 0001	The Essence of Inheritance.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Vivek Nigam	Counting Successes: Effects and Transformations for Non-deterministic Programs.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Simon J. Gay	Subtyping Supports Safe Session Substitution.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki	The Essence of Dependent Object Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Jeremy Gibbons	Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Manuel Serrano	The Computer Scientist Nightmare - My Favorite Bug.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	D. A. Turner	Recursion Equations as a Programming Language.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Reflections on Monadic Lenses.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Graham Hutton, Patrick Bahr	Cutting Out Continuations.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Peter Thiemann 0001	A Delta for Hybrid Type Checking.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Hugh Leather, Janne Irgens	The Lambda Calculus: Practice and Principle.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Tiark Rompf	The Essence of Multi-stage Evaluation in LMS.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Robert Atkey, Sam Lindley, J. Garrett Morris	Conflation Confers Concurrency.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis	A Reflection on Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Conor McBride	I Got Plenty o' Nuttin'.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
28	Marco D. Santambrogio, Henry Hoffmann (eds.)	1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011	CHANGE@ASPLOS	2011	DBLP BibTeX RDF
28	Oliver Arnold, Gerhard P. Fettweis	Self-aware heterogeneous MPSoC with dynamic task scheduling for battery lifetime extension.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
28	Filippo Sironi, Andrea Cuoccio	Self-aware adaptation via implementation hot-swap for heterogeneous computing.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
28	Simone Campanoni, Luca Rocchini	Static memory management within bytecode languages on multicore systems.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
28	Faizal Arya Samman, François Philipp, Manfred Glesner	Reconfigurable interconnect infrastructure for multi-FPGA-based adaptive multiprocessing systems.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
28	Davide B. Bartolini, Fabio Cancare, Matteo Carminati, Donatella Sciuto	HERA: Hardware evolution over reconfigurable architectures.	CHANGE@ASPLOS	2011	DBLP DOI BibTeX RDF
28	Giacomo Bonanno, James P. Delgrande, Hans Rott (eds.)	Information processing, rational belief change and social interaction, 23.08. - 27.08.2009	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Jan M. Broersen	Interpreting Product Update as Reasoning about Observations and Meta-Observations.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Jan M. Broersen	Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Daniel Eckert, Frederik Herzberg	Systematic judgment aggregators: An algebraic connection between social and logical structure.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Emiliano Lorini, François Schwarzentruber, Andreas Herzig	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Nadine Guiraud, Andreas Herzig, Emiliano Lorini	Speech acts as announcements.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Hans van Ditmarsch, Tim French 0002	Awareness and forgetting of facts and agents.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Giacomo Bonanno	Revealed preference, iterated belief revision and dynamic games.	Information processing, rational belief change and social interaction	2009	DBLP BibTeX RDF
28	Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott (eds.)	Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Clayton T. Morrison, Tim Oates 0001 (eds.)	Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Wolfgang Spohn	Measuring Ranks via the Complete Laws of Iterated Contraction.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Giacomo Bonanno	Semantic structures for one-stage and iterated belief revision.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Guillaume Aucher	A logical formalism for the subjective approach in a multi-agent setting.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Abhaya C. Nayak, Yin Chen 0005, Fangzhen Lin	Forgetting and Update -- an exploration.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Alexander Bochman	Enhanced Contraction and (In)dependence Preliminary report.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Gabriele Kern-Isberner	A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	David Makinson	Propositional Relevance through Letter-Sharing: Review and Contribution.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima	Optimal Regression for Reasoning about Knowledge and Actions.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Dongmo Zhang	The Logic of Bargaining.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Krister Segerberg	A blueprint for deontic logic in three (not necessarily easy) steps.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues	Common Foundations for belief revision, belief merging and voting.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Emil Weydert	Ranking Revision Reloaded.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Steven Shapiro, Gerhard Brewka	Dynamic Interactions Between Goals and Beliefs.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Gabriella Pigozzi, Leendert W. N. van der Torre	Premise Independence in Judgment Aggregation.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Isaac Levi	Probability Logic and Logical Probability.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Pavlos Peppas, Samir Chopra, Norman Y. Foo	Distance Semantics for Relevance-Sensitive Belief Revision.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Alexander Nittka, Richard Booth 0001	A Method for Reasoning about other Agents' Beliefs from Observations.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
28	Omid Madani	Exploring Massive Learning via a Prediction System.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Doo Soon Kim, Bruce W. Porter	Handling Granularity Differences in Knowledge Integration.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Boris A. Galitsky	Handling Representation Changes by Autistic Reasoning.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Simon D. Levy	Changing Semantic Role Representations with Holographic Memory.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Benjamin Kuipers	Autonomous Robot Learning of Foundational Representations.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Jefferson Provost	Automatic Development from Pixel-level Representation to Action-level Representation in Robot Navigation.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Omid Madani	Prediction Games in Infinitely Rich Worlds.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Jeffrey Johns, Sarah Osentoski, Sridhar Mahadevan	Representation Discovery in Planning using Harmonic Analysis.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Elizabeth Baraff Bonawitz, Laura Schulz	Children's Rational Exploration.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Benjamin Rode, Robert C. Kahlert	Representational Reformulation in Hypothesis-Driven Recognition.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Jia-Hong Wu, Robert Givan	Relational State-Space Feature Learning and Its Applications in Planning.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup	Representing Systems with Hidden State.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Matthew E. Taylor, Peter Stone	Representation Transfer for Reinforcement Learning.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Thomas J. Walsh 0001, Michael L. Littman	A Multiple Representation Approach to Learning Dynamical Systems.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF
28	Aaron Sloman	Diversity of Developmental Trajectories in Natural and Artificial Intelligence.	AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development	2007	DBLP BibTeX RDF