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 |
|