|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18435 occurrences of 7586 keywords
|
|
|
Results
Found 39089 publication records. Showing 39075 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 39075 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|