Search results for "introspection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Tetsunari Inamura, Masayuki Inaba, Hirochika Inoue	User adaptation of human-robot interaction model based on Bayesian network and introspection of interaction experience.	IROS	2000	DBLP DOI BibTeX RDF
18	Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni	Combining Introspection and Communication with Rationality and Reactivity in Agents.	JELIA	1998	DBLP DOI BibTeX RDF
18	Tyng-Ruey Chuang, Yue-Sun Kuo, Chien-Min Wang	Non-Intrusive Object Introspection in C++: Architecture and Application.	ICSE	1998	DBLP DOI BibTeX RDF
18	David B. Leake	Experience, introspection and expertise: Learning to refine the case-based reasoning process.	J. Exp. Theor. Artif. Intell.	1996	DBLP DOI BibTeX RDF
18	Gerhard Lakemeyer	Limited Reasoning in First-Order Knowledge Bases with Full Introspection.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
18	Jacques Malenfant, Christophe Dony, Pierre Cointe	A Semantics of Introspection in a Reflective Prototype-Based Language.	LISP Symb. Comput.	1996	DBLP BibTeX RDF
18	Tomi Janhunen	Representing Autoepistemic Introspection in Terms of Default Rules.	ECAI	1996	DBLP BibTeX RDF
18	Balakrishnan Iyer, Ramesh Karri	Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis.	DAC	1996	DBLP DOI BibTeX RDF
18	Michael T. Cox	Case-Based Introspection.	AAAI	1994	DBLP BibTeX RDF
18	Tomi Janhunen, Ilkka Niemelä	A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.	Kurt Gödel Colloquium	1993	DBLP DOI BibTeX RDF
18	Gerhard Lakemeyer	On perfect introspection with Quantifying-in.	Fundam. Informaticae	1992	DBLP BibTeX RDF
18	Gerhard Lakemeyer	On Perfect Introspection With Quantifying-in.	TARK	1992	DBLP BibTeX RDF
18	Grigori Schwarz	Bounding Introspection in Nonmonotonic Logic.	KR	1992	DBLP BibTeX RDF
18	Anthony S. Maida, Jacques Wainer, Sehyeong Cho	A syntactic approach to introspection and reasoning about the beliefs of other agents.	Fundam. Informaticae	1991	DBLP BibTeX RDF
18	Hector J. Levesque	Belief and Introspection.	Artificial and Mathematical Theory of Computation	1991	DBLP DOI BibTeX RDF
18	Michael Gelfond	Strong Introspection.	AAAI	1991	DBLP BibTeX RDF
18	Gerhard Lakemeyer	Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection.	AAAI	1990	DBLP BibTeX RDF
18	Jürgen Kalinski	Autoepistemic Expansions with Incomplete Belief Introspection.	Nonmonotonic and Inductive Logic	1990	DBLP DOI BibTeX RDF
18	Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali	Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.	META	1988	DBLP BibTeX RDF
18	Gerhard Lakemeyer, Hector J. Levesque	A Tractable Knowledge Representation Service with Full Introspection.	TARK	1988	DBLP BibTeX RDF
18	Robert D. Cameron	The introspection technique in maintenance metaprogramming.	ICSM	1988	DBLP DOI BibTeX RDF
18	Donald Perlis	Circumscription as Introspection.	ISMIS	1987	DBLP BibTeX RDF
18	Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli	Reflection as a Tool for Integration: An Exercise in Procedural Introspection.	IJCAI	1987	DBLP BibTeX RDF
18	Pattie Maes	Introspection in Knowledge Representation.	ECAI	1986	DBLP BibTeX RDF
18	Kurt Konolige	A Computational Theory of Belief Introspection.	IJCAI	1985	DBLP BibTeX RDF
18	Jon Doyle	A model for deliberation, action, and introspection.	SIGART Newsl.	1981	DBLP DOI BibTeX RDF
18	Richard Laing	Automaton Introspection.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
13	John R. Lange, Peter A. Dinda	SymCall: symbiotic virtualization through VMM-to-guest upcalls.	VEE	2011	DBLP DOI BibTeX RDF
13	Johannes Behr, Yvonne Jung, Jens Keil, Timm Drevensek, Michael Zöllner, Peter Eschler, Dieter W. Fellner	A scalable architecture for the HTML5/X3D integration model X3DOM.	Web3D	2010	DBLP DOI BibTeX RDF	WebGL, X3D, DOM, web integration, HTML5
13	Tatsuma Segawa, Hiroki Ito, Masaya Doi, Machi Miyahara, Hiroya Tanaka	Inoribi: emergence of "windows" and "mirrors".	TEI	2010	DBLP DOI BibTeX RDF	media design, networked furniture, reflective interaction, interactive art
13	Hiroko Shoji, Kazunori Fujimoto, Koichi Hori	PLASIU: a system that facilitates creative decision-making in job-hunting.	AI Soc.	2009	DBLP DOI BibTeX RDF	Creative decision making, Concept articulation, Job-hunting, Interaction, Conception
13	Philippe Moret, Walter Binder, Alex Villazón	CCCP: complete calling context profiling in virtual execution environments.	PEPM	2009	DBLP DOI BibTeX RDF	calling context profiling, native code, java virtual machine, bytecode instrumentation
13	George Triantafyllakos, George Palaigeorgiou, Ioannis A. Tsoukalas	Design alter egos: constructing and employing fictional characters in collaborative design sessions.	BCS HCI	2009	DBLP BibTeX RDF	collaborative design sessions, design alter egos, fictional characters, participatory design, scenarios, students
13	Daniel Knoblauch, Mauricio Hess-Flores, Mark A. Duchaineau, Falko Kuester	Factorization of Correspondence and Camera Error for Unconstrained Dense Correspondence Applications.	ISVC (1)	2009	DBLP DOI BibTeX RDF
13	Filippo Gioachin, Laxmikant V. Kalé	Dynamic high-level scripting in parallel applications.	IPDPS	2009	DBLP DOI BibTeX RDF
13	André van Cleeff, Wolter Pieters, Roel J. Wieringa	Security Implications of Virtualization: A Literature Study.	CSE (3)	2009	DBLP DOI BibTeX RDF
13	Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, Francesco Ceccarelli	Measuring Semantic Integrity for Remote Attestation.	TRUST	2009	DBLP DOI BibTeX RDF
13	Wouter De Borger, Bert Lagaisse, Wouter Joosen	A generic and reflective debugging architecture to support runtime visibility and traceability of aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aop, debugging architecture, traceability, visibility
13	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
13	Robert Saxon Milnikel	Conservativity for Logics of Justified Belief.	LFCS	2009	DBLP DOI BibTeX RDF
13	Ayub Al-Badowi, Erbug Celebi	E-Learning Designing and the Implementation in the Light of the Australian Flexible Learning Framework: The Syrian Virtual University Roadmap to Success.	ICIW	2009	DBLP DOI BibTeX RDF
13	Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani	Reconfigurable SCA Applications with the FraSCAti Platform.	IEEE SCC	2009	DBLP DOI BibTeX RDF
13	Martin Atzmüller, Frank Puppe	A case-based approach for characterization and analysis of subgroup patterns.	Appl. Intell.	2008	DBLP DOI BibTeX RDF
13	Ruo Ando, Youki Kadobayashi, Yoichi Shinoda	An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Jhilmil Jain, Ismail Ari, Jun Li 0008	Designing dashboards for managing model lifecycle.	CHIMIT	2008	DBLP DOI BibTeX RDF	data mining models, model lifecycle, visualization, dashboards
13	Yan Wen, Jinjing Zhao, Huaimin Wang, Jiannong Cao 0001	Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor.	ACISP	2008	DBLP DOI BibTeX RDF	stealth malware, hardware-assisted VMM, Virtual machine monitor
13	Martin Klasen, Mikhail Zvyagintsev, René Weber, Krystyna Anna Mathiak, Klaus Mathiak	Think Aloud during fMRI: Neuronal Correlates of Subjective Experience in Video Games.	Fun and Games	2008	DBLP DOI BibTeX RDF
13	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
13	Roman Vaculín, Katia P. Sycara	Semantic Web Services Monitoring: An OWL-S Based Approach.	HICSS	2008	DBLP DOI BibTeX RDF
13	Verginica Barbu Mititelu	Hyponymy Patterns.	TSD	2008	DBLP DOI BibTeX RDF	Hyponymy patterns, ontology
13	Laurent Baduel, Françoise Baude, Denis Caromel	Asynchronous Typed Object Groups for Grid Programming.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	Java middleware, object-oriented parallelism, SPMD programming, Group communication
13	Kin Leong Ho, Paul M. Newman	Detecting Loop Closure with Scene Sequences.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	loop closing, scene appearance and navigation, multi-robot navigation, mobile robotics, SLAM
13	Christian Raymond, Frédéric Béchet, Nathalie Camelin, Renato de Mori, Géraldine Damnati	Sequential Decision Strategies for Machine Interpretation of Speech.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
13	Matthias Scheutz, James F. Kramer	Reflection and Reasoning Mechanisms for Failure Detection and Recovery in a Distributed Robotic Architecture for Complex Robots.	ICRA	2007	DBLP DOI BibTeX RDF
13	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
13	Davy Preuveneers, Yolande Berbers	Towards context-aware and resource-driven self-adaptation for mobile handheld applications.	SAC	2007	DBLP DOI BibTeX RDF	mobile computing, adaptation, context-awareness
13	Steven Wallace, Kim M. Hazelwood	SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance.	CGO	2007	DBLP DOI BibTeX RDF
13	Guocai Chen, Jim Warren, Robert McArthur, Peter Bruza, Debbie Kralik, Kay Price	Understanding Individual Experiences of Chronic Illness with Semantic Space Models of Electronic Discussions.	CBMS	2007	DBLP DOI BibTeX RDF
13	Daniel Große, Rüdiger Ebendt, Rolf Drechsler	Improvements for constraint solving in the systemc verification library.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	constraint-based randomization, systemC verification library, systemC
13	Brent Welch	Integrated system models for reliable petascale storage systems.	PDSW	2007	DBLP DOI BibTeX RDF	Panasas, autonomics, petascale, cluster management
13	Michael D. Cohen	Beyond Distributed Cognition. (PDF / PS)	Virtuality and Virtualization	2007	DBLP DOI BibTeX RDF
13	Mathias Broxvall	A middleware for ecologies of robotic devices.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
13	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu	A new efficient EDA tool design methodology.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Net Framework, C?, ESys.Net, attribute programming, embedded systems, SoC, VHDL, SystemC, modeling and simulation, CoDesign
13	Panagiotis Reveliotis, Michael J. Carey 0001	Your Enterprise on XQuery and XML Schema: XML-based Data and Metadata Integration.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
13	José Luís Malaquias, Agostinho Cláudio da Rosa, Carlos Manuel B. A. Correia	A small-world model of the human mind.	SAC	2006	DBLP DOI BibTeX RDF	semantic networks, small-worlds, intelligence, mind
13	Nicolas Le Sommer, Frédéric Guidec, Hervé Roussain	A context-aware middleware platform for autonomous application services in dynamic wireless networks.	InterSense	2006	DBLP DOI BibTeX RDF
13	Eli Gjørven, Frank Eliassen, Ketil Lund, Viktor S. Wold Eide, Richard Staehli	Self-Adaptive Systems: A Middleware Managed Approach.	SelfMan	2006	DBLP DOI BibTeX RDF
13	Markus Lumpe	Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.	APLAS	2006	DBLP DOI BibTeX RDF
13	Srinivas Padmanabhuni, Vineet Singh, K. M. Senthil Kumar, Abhishek Chatterjee	Preventing Service Oriented Denial of Service (PreSODoS): A Proposed Approach.	ICWS	2006	DBLP DOI BibTeX RDF
13	Samin Karim, Liz Sonenberg, Ah-Hwee Tan	A Hybrid Architecture Combining Reactive Plan Execution and Reactive Learning.	PRICAI	2006	DBLP DOI BibTeX RDF
13	Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg	New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.	ACSD	2006	DBLP DOI BibTeX RDF
13	Xuxian Jiang, Aaron Walters, Dongyan Xu, Eugene H. Spafford, Florian P. Buchholz, Yi-Min Wang	Provenance-Aware Tracing ofWorm Break-in and Contaminations: A Process Coloring Approach.	ICDCS	2006	DBLP DOI BibTeX RDF
13	Pierre-Emmanuel Gros, Nicolas Férey, Joan Hérisson, Rachid Gherbi	Lysa, a Distributed Collaborative Multiple Users Interface for Exploring Genomics Databases.	AINA (2)	2006	DBLP DOI BibTeX RDF
13	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
13	Bernard Kaddour, Joël Quinqueton	An Aspects oriented approach to dynamically manage application.	ICNS	2006	DBLP DOI BibTeX RDF
13	Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel	Using queries for distributed monitoring and forensics.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative overlays, invariant checking, distributed debugging, distributed monitoring
13	Nachum Dershowitz	The Four Sons of Penrose.	LPAR	2005	DBLP DOI BibTeX RDF
13	Jürgen Schmidhuber	Gödel Machines: Towards a Technical Justification of Consciousness.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
13	Chang-Ai Sun	An Incremental and Practical Approach to Enable the Component Run-time Evolution.	APSEC	2005	DBLP DOI BibTeX RDF
13	François Sempé, Minh Nguyen-Duc, Stanislas Boissau, Alain Boucher, Alexis Drogoul	An Artificial Maieutic Approach for Eliciting Experts' Knowledge in Multi-agent Simulations.	MABS	2005	DBLP DOI BibTeX RDF
13	Khurshid Ahmad 0001, Lee Gillam	Automatic Ontology Extraction from Unstructured Texts.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
13	Wen Jia Rong, Yang Szu Min	The Effects of Learning Style and Flow Experience on the Effectiveness of E-Learning.	ICALT	2005	DBLP DOI BibTeX RDF
13	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu	Leveraging Model Representations for System Level Design Tools.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
13	Diego Puppin, Fabrizio Silvestri, Domenico Laforenza	Component Metadata Management and Publication for the Grid.	ITCC (2)	2005	DBLP DOI BibTeX RDF
13	François Sempé, Minh Nguyen-Duc, Alain Boucher, Alexis Drogoul	An artificial maieutic approach for eliciting experts' knowledge in multi-agent simulations.	AAMAS	2005	DBLP DOI BibTeX RDF
13	Vladimir A. Kulyukin	Human-Robot Interaction Through Gesture-Free Spoken Dialogue.	Auton. Robots	2004	DBLP DOI BibTeX RDF	gesture-free spoken dialogue, natural communication with robots, integration of perception and action, human-robot interaction, mobile robots, cognitive robotics, conversational interfaces
13	Ane Tröger, Alvaro A. A. Fernandes	A Language for Comprehensively Supporting the In Vitro Experimental Process In Silico.	BIBE	2004	DBLP DOI BibTeX RDF
13	Alexander Egyed	Dynamic Deployment of Executing and Simulating Software Components.	Component Deployment	2004	DBLP DOI BibTeX RDF
13	Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood	Support for Evolving Software Architectures in the ArchWare ADL.	WICSA	2004	DBLP DOI BibTeX RDF
13	Alain Colmerauer	On the Complexity of Universal Programs.	MCU	2004	DBLP DOI BibTeX RDF
13	Chung-Kai Chen, Cheng-Wei Chen, Jenq Kuen Lee	Specification and Architecture Supports for Component Adaptations on Distributed Environments.	IPDPS	2004	DBLP DOI BibTeX RDF
13	Gregory Neverov, Paul Roe	Metaphor: A Multi-stage, Object-Oriented Programming Language.	GPCE	2004	DBLP DOI BibTeX RDF
13	Miguel A. de Miguel, M. Teresa Higuera-Toledano	Runtime Management of Quality Specification for QoS-Aware Components.	EUROMICRO	2004	DBLP DOI BibTeX RDF	Component Infrastructures, Model-Driven Component Development, Quality of Service Specification
13	Rui S. Moreira, Gordon S. Blair, Eurico Carrapatoso	Supporting Adaptable Distributed Systems with FORMAware.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
13	Naveen Kumar 0002, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa	Instrumentation in software dynamic translators for self-managed systems.	WOSS	2004	DBLP DOI BibTeX RDF
13	David N. Morley, Karen L. Myers	The SPARK Agent Framework.	AAMAS	2004	DBLP DOI BibTeX RDF
13	Yui-Ku Fei, Zhijian Wang	A Concept Model of Web Components.	IEEE SCC	2004	DBLP DOI BibTeX RDF
13	John Durkin	Man & machine: I wonder if we can coexist.	AI Soc.	2003	DBLP DOI BibTeX RDF
13	Josep Lluís de la Rosa, Esteve del Acebo, Beatriz López 0001, Miquel Montaner	From Physical Agents to Recommender Agents.	AgentLink	2003	DBLP DOI BibTeX RDF
13	Igor Aleksander, Barry Dunmall	Necessary First-Person Axioms of Neuroconsciousness.	IWANN (1)	2003	DBLP DOI BibTeX RDF