|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(3), pp. 10:1-10:42, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings, pp. 216-230, 2009, Springer, 978-3-642-02151-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009, San Fancisco, CA, USA, August 19-21, 2009, pp. 237-242, 2009, ACM, 978-1-60558-684-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 169-176, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 213-235, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 268-277, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings, pp. 100-111, 2008, Springer, 978-3-540-79587-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 Proceedings, pp. 148-159, 2008, Springer, 978-3-540-68124-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 13(3), pp. 261-289, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 43-48, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 1st International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2003, Melbourne, Australia, February 11-14, 2003, pp. 39-46, 2003, ACM, 1-58113-578-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(7), pp. 729-740, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE Workshops ![In: Workshop Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006, pp. 14, 2006, ACM, 1-59593-435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 329-338, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 571-580, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 503-512, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 19-22 September 2005, Como Italy, pp. 28, 2005, IEEE Computer Society, 0-7695-2371-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Lars Mathiassen, Ojelanki K. Ngwenyama, Ivan Aaen |
Managing Change in Software Process Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(6), pp. 84-91, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(9), pp. 796-810, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 230-239, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 122-140, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Twittie Senivongse, Pasin Suriyentrakorn |
A CORBA-Based Architecture for Service Change Notification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings, pp. 22-33, 2001, IEEE Computer Society, 0-7695-1345-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Ivica Crnkovic |
A Change Process Model in an SCM Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 20794-, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Michael VanHilst, David Notkin |
Decoupling Change from Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 58-69, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Amir M. Ben-Amram, Chin Soon Lee |
Program termination analysis in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(1), pp. 5:1-5:37, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 960-969, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RWS ![In: 2018 IEEE Radio and Wireless Symposium, RWS 2018, Anaheim, CA, USA, January 15-18, 2018, pp. 231-233, 2018, IEEE, 978-1-5386-0710-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![Springer, 978-3-319-30935-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jennifer Paykin, Steve Zdancewic |
Linear λμ is CP (more or less). ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 273-291, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | John Hughes 0001 |
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 169-186, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
Proof-Relevant Parametricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 109-131, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Ralf Hinze, Dan Marsden |
Dragging Proofs Out of Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 152-168, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Rossberg |
1ML with Special Effects - F-ing Generativity Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 336-355, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Avraham Shinnar, Jérôme Siméon |
A Branding Strategy for Business Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 367-387, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jeremy G. Siek, Sam Tobin-Hochstadt |
The Recursive Union of Some Gradual Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 388-410, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Bernardo Toninho, Nobuko Yoshida |
Certifying Data in Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 433-458, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | John T. O'Donnell, Cordelia V. Hall |
Pointlessness is Better than Listlessness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 234-248, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Andrew P. Black, Kim B. Bruce, James Noble 0001 |
The Essence of Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 73-94, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Vivek Nigam |
Counting Successes: Effects and Transformations for Non-deterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 56-72, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Simon J. Gay |
Subtyping Supports Safe Session Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 95-108, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki |
The Essence of Dependent Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 249-272, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jeremy Gibbons |
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 132-151, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Manuel Serrano |
The Computer Scientist Nightmare - My Favorite Bug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 356-366, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | D. A. Turner |
Recursion Equations as a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 459-478, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Reflections on Monadic Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 1-31, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Graham Hutton, Patrick Bahr |
Cutting Out Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 187-200, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Peter Thiemann 0001 |
A Delta for Hybrid Type Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 411-432, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Hugh Leather, Janne Irgens |
The Lambda Calculus: Practice and Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 201-206, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Tiark Rompf |
The Essence of Multi-stage Evaluation in LMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 318-335, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Robert Atkey, Sam Lindley, J. Garrett Morris |
Conflation Confers Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 32-55, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis |
A Reflection on Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 292-317, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Conor McBride |
I Got Plenty o' Nuttin'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 207-233, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![IEEE Computer Society, 978-1-4577-0199-3 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Oliver Arnold, Gerhard P. Fettweis |
Self-aware heterogeneous MPSoC with dynamic task scheduling for battery lifetime extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-7, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Filippo Sironi, Andrea Cuoccio |
Self-aware adaptation via implementation hot-swap for heterogeneous computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Simone Campanoni, Luca Rocchini |
Static memory management within bytecode languages on multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Faizal Arya Samman, François Philipp, Manfred Glesner |
Reconfigurable interconnect infrastructure for multi-FPGA-based adaptive multiprocessing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Davide B. Bartolini, Fabio Cancare, Matteo Carminati, Donatella Sciuto |
HERA: Hardware evolution over reconfigurable architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Jan M. Broersen |
Interpreting Product Update as Reasoning about Observations and Meta-Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Jan M. Broersen |
Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Daniel Eckert, Frederik Herzberg |
Systematic judgment aggregators: An algebraic connection between social and logical structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Emiliano Lorini, François Schwarzentruber, Andreas Herzig |
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Nadine Guiraud, Andreas Herzig, Emiliano Lorini |
Speech acts as announcements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Hans van Ditmarsch, Tim French 0002 |
Awareness and forgetting of facts and agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Giacomo Bonanno |
Revealed preference, iterated belief revision and dynamic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information processing, rational belief change and social interaction ![In: Information processing, rational belief change and social interaction, 23.08. - 27.08.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![AAAI Press The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Wolfgang Spohn |
Measuring Ranks via the Complete Laws of Iterated Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Giacomo Bonanno |
Semantic structures for one-stage and iterated belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Guillaume Aucher |
A logical formalism for the subjective approach in a multi-agent setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Abhaya C. Nayak, Yin Chen 0005, Fangzhen Lin |
Forgetting and Update -- an exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Alexander Bochman |
Enhanced Contraction and (In)dependence Preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Gabriele Kern-Isberner |
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | David Makinson |
Propositional Relevance through Letter-Sharing: Review and Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima |
Optimal Regression for Reasoning about Knowledge and Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Dongmo Zhang |
The Logic of Bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Krister Segerberg |
A blueprint for deontic logic in three (not necessarily easy) steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues |
Common Foundations for belief revision, belief merging and voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Emil Weydert |
Ranking Revision Reloaded. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Steven Shapiro, Gerhard Brewka |
Dynamic Interactions Between Goals and Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Gabriella Pigozzi, Leendert W. N. van der Torre |
Premise Independence in Judgment Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Isaac Levi |
Probability Logic and Logical Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
Distance Semantics for Relevance-Sensitive Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Alexander Nittka, Richard Booth 0001 |
A Method for Reasoning about other Agents' Beliefs from Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Models of Belief Change in Rational Agents ![In: Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Omid Madani |
Exploring Massive Learning via a Prediction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 46-53, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Doo Soon Kim, Bruce W. Porter |
Handling Granularity Differences in Knowledge Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 32-38, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Boris A. Galitsky |
Handling Representation Changes by Autistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 9-16, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Simon D. Levy |
Changing Semantic Role Representations with Holographic Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 40-45, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Benjamin Kuipers |
Autonomous Robot Learning of Foundational Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 39, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Jefferson Provost |
Automatic Development from Pixel-level Representation to Action-level Representation in Robot Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 58-59, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Omid Madani |
Prediction Games in Infinitely Rich Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 54-55, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Jeffrey Johns, Sarah Osentoski, Sridhar Mahadevan |
Representation Discovery in Planning using Harmonic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 24-31, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Elizabeth Baraff Bonawitz, Laura Schulz |
Children's Rational Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 1-8, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Benjamin Rode, Robert C. Kahlert |
Representational Reformulation in Hypothesis-Driven Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 62-69, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Jia-Hong Wu, Robert Givan |
Relational State-Space Feature Learning and Its Applications in Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 88-, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup |
Representing Systems with Hidden State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 17-23, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Matthew E. Taylor, Peter Stone |
Representation Transfer for Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 78-85, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Thomas J. Walsh 0001, Michael L. Littman |
A Multiple Representation Approach to Learning Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 86-87, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Aaron Sloman |
Diversity of Developmental Trajectories in Natural and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development ![In: Computational Approaches to Representation Change during Learning and Development, Papers from the 2007 AAAI Fall Symposium, Arlington, Virginia, USA, November 9-11, 2007., pp. 70-77, 2007, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|