Search results for "Observable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Carmela Troncoso, Claudia Díaz, Orr Dunkelman, Bart Preneel	Traffic Analysis Attacks on a Continuously-Observable Steganographic File System.	Information Hiding	2007	DBLP DOI BibTeX RDF
20	Franck Cassez	Efficient On-the-Fly Algorithms for Partially Observable Timed Games.	FORMATS	2007	DBLP DOI BibTeX RDF
20	Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting	Automatic Recovery Using Bounded Partially Observable Markov Decision Processes.	DSN	2006	DBLP DOI BibTeX RDF
20	Hui Li 0068, Xuejun Liao, Lawrence Carin	Region-based value iteration for partially observable Markov decision processes.	ICML	2006	DBLP DOI BibTeX RDF
20	Shin Ishii, Hajime Fujita 0001, Masaoki Mitsutake, Tatsuya Yamazaki, Jun Matsuda, Yoichiro Matsuno	A Reinforcement Learning Scheme for a Partially-Observable Multi-Agent Game.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	multi-agent system, reinforcement learning, model-based, POMDP, card game
20	Masoumeh T. Izadi, Doina Precup	Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes.	ECML	2005	DBLP DOI BibTeX RDF
20	Robin Jaulmes, Joelle Pineau, Doina Precup	Active Learning in Partially Observable Markov Decision Processes.	ECML	2005	DBLP DOI BibTeX RDF
20	Yutaka Nakamura, Takeshi Mori, Shin Ishii	An Off-Policy Natural Policy Gradient Method for a Partial Observable Markov Decision Process.	ICANN (2)	2005	DBLP DOI BibTeX RDF
20	Fan Zhang, To-Yat Cheung	Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Average weight, distinguishing tree, nondeterministic finite-state machine, transfer tree, weighted height, testing
20	Paul A. Crook, Gillian Hayes 0001	Could Active Perception Aid Navigation of Partially Observable Grid Worlds?	ECML	2003	DBLP DOI BibTeX RDF
20	Martijn C. Schut, Michael J. Wooldridge, Simon Parsons	On Partially Observable MDPs and BDI Models.	Foundations and Applications of Multi-Agent Systems	2002	DBLP DOI BibTeX RDF
20	Yoichiro Matsuno, Tatsuya Yamazaki, Shin Ishii	A multi-agent reinforcement learning method for a partially-observable competitive game.	Agents	2001	DBLP DOI BibTeX RDF	actor-critic model, competitive game, reinforcement learning, multi-agent
20	Jeremy Pitt, Lloyd Daniel Kamara, Alexander Artikis	Interaction patterns and observable commitments in a multi-agent trading scenario.	Agents	2001	DBLP DOI BibTeX RDF
20	Ivo Kwee, Marcus Hutter, Jürgen Schmidhuber	Market-Based Reinforcement Learning in Partially Observable Worlds.	ICANN	2001	DBLP DOI BibTeX RDF
20	B. Gou, Ali Abur	A simple method to determine observable islands for state estimation.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
20	Jonathan G. Rossie Jr.	Logical Observable Entities.	OOPSLA	1998	DBLP DOI BibTeX RDF
20	Martin Mundhenk, Judy Goldsmith, Eric Allender	The Complexity of Policy Evaluation for Finite-Horizon Partially-Observable Markov Decision Processes.	MFCS	1997	DBLP DOI BibTeX RDF
20	Andrew M. Pitts, Ian David Bede Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
20	Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
19	Roman Fric	Extension of domains of states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Lukasiewicz tribe, Field of sets, D-poset od fuzzy sets, Sequentially continuous D-homomorphism, Probability measure, Extension of states, Epireflection, Observable, Duality, MV-algebra, State, Fuzzy random variable, Measurable space
19	Scott Blunsden, Brandi Richards, Jennifer Boger, Alex Mihailidis, Tom Bartindale, Daniel Jackson 0002, Patrick Olivier, Jesse Hoey	Design and prototype of a device to engage cognitively disabled older adults in visual artwork.	PETRA	2009	DBLP DOI BibTeX RDF	art therapy, computer vision, face detection, touch screen, POMDP, partially observable Markov decision process, MDP
19	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity generalised to transition systems.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
19	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
19	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
19	Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton	Merging nodes under sequential observability.	DAC	2008	DBLP DOI BibTeX RDF	synthesis, observable, merge, sequential
19	Olivier Buffet, Alain Dutech, François Charpillet	Shaping multi-agent systems with gradient reinforcement learning.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Policy-gradient, Multi-agent systems, Reinforcement learning, Shaping, Partially observable Markov decision processes
19	Samuel Landau, Olivier Sigaud, Marc Schoenauer	ATNoSFERES revisited.	GECCO	2005	DBLP DOI BibTeX RDF	ATNoSFERES, learning classifier systems, Markov decision processes, partially observable
19	Pradeep Varakantham, Rajiv T. Maheswaran, Milind Tambe	Exploiting belief bounds: practical POMDPs for personal assistant agents.	AAMAS	2005	DBLP DOI BibTeX RDF	meeting rescheduling, partially observable markov decision process (POMDP), task allocation
19	María Elena López Guillén, Rafael Barea, Luis Miguel Bergasa, María Soledad Escudero	A Human-Robot Cooperative Learning System for Easy Installation of Assistant Robots in New Working Environments.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	probabilistic navigation, learning under uncertainty, expectation-maximization algorithm, assistant robots, partially observable Markov decision processes
19	Tomás Kroupa	Conditional independence in probability theory on MV-algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Probability on MV-algebras, Observable, Conditional independence
19	Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
19	Roman Fric	Convergence and Duality.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	concrete category, dual equivalence, cogenerator, sober object, bold algebra, ukasiewicz tribe, D-poset, sequential convergence, sequential continuity, measurable map, probability event, reflection, observable, MV-algebra, measurable space
19	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
19	Martin Mundhenk, Judy Goldsmith, Christopher Lusena, Eric Allender	Complexity of finite-horizon Markov decision process problems.	J. ACM	2000	DBLP DOI BibTeX RDF	NPPP, computational complexity, Markov decision processes, NP, PL, partially observable Markov decision processes, PSPACE, succinct representations
19	Andrés Pérez-Uribe, Eduardo Sanchez	Structure Adaption in Artificial Neural Networks through Adaptive Clustering and through Growth in State Space.	IWANN (1)	1999	DBLP DOI BibTeX RDF	partially observable environments, Artificial neural networks, reinforcement learning, autonomous mobile robots, neurocontrol, topology adaptation
19	P. A. Subrahmanyam	Nondeterminism in Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF	nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
14	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
14	Prashant Doshi, Yifeng Zeng, Qiongyu Chen	Graphical models for interactive POMDPs: representations and solutions.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Interactive POMDPs, Sequential multiagent decision making, Probabilistic graphical models
14	Elizabeth S. Allman, John A. Rhodes	The Identifiability of Covarion Models in Phylogenetics.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	Markov processes on trees, statistical consistency, phylogenetics
14	Yariv Ephraim, William J. J. Roberts	An EM Algorithm for Markov Modulated Markov Processes.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
14	Patrick Dallaire, Camille Besse, Stéphane Ross, Brahim Chaib-draa	Bayesian reinforcement learning in continuous POMDPs with gaussian processes.	IROS	2009	DBLP DOI BibTeX RDF
14	Elias August	Parameter Identifiability and Optimal Experimental Design.	CSE (1)	2009	DBLP DOI BibTeX RDF
14	Roy Chaoming Hsu, Cheng-Ting Liu, Kuan-Chieh Wang, Wei-Ming Lee	QoS-Aware Power Management for Energy Harvesting Wireless Sensor Network Utilizing Reinforcement Learning.	CSE (2)	2009	DBLP DOI BibTeX RDF
14	Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal 0001	Deaf, Dumb, and Chatting Asynchronous Robots.	OPODIS	2009	DBLP DOI BibTeX RDF	Explicit Communication, Stigmergy, Mobile Robot Networks
14	Simon Scheider	The Case for Grounding Databases.	GeoS	2009	DBLP DOI BibTeX RDF
14	Smita Krishnaswamy, Igor L. Markov, John P. Hayes	Improving testability and soft-error resilience through retiming.	DAC	2009	DBLP DOI BibTeX RDF	testability, soft errors, retiming
14	Yimin Huang, Marco Valtorta	On the completeness of an identifiability algorithm for semi-Markovian models.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T37, 62B15, 62F15, 62-09
14	Morgan A. Bishop, Anthony J. Macula, Thomas E. Renz, Vladimir Ufimtsev	Hypothesis group testing for disjoint pairs.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Nonadaptive, Complexes, Random algorithms, Group testing, Pooling
14	Filip Radlinski, Madhu Kurup, Thorsten Joachims	How does clickthrough data reflect retrieval quality?	CIKM	2008	DBLP DOI BibTeX RDF	retrieval evaluation, implicit feedback, clickthrough data, expert judgments
14	Stéphane Ross, Brahim Chaib-draa, Joelle Pineau	Bayesian reinforcement learning in continuous POMDPs with application to robot navigation.	ICRA	2008	DBLP DOI BibTeX RDF
14	Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis	Analysis and improvement of the consistency of extended Kalman filter based SLAM.	ICRA	2008	DBLP DOI BibTeX RDF
14	Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf	Extending the compatibility notion for abstract WS-BPEL processes.	WWW	2008	DBLP DOI BibTeX RDF	abstract profile, petri nets, compliance, WS-BPEL
14	Laura Brandán Briones, Alexander Lazovik, Philippe Dague	Optimizing the System Observability Level for Diagnosability.	ISoLA	2008	DBLP DOI BibTeX RDF
14	Paulo Trigo, Helder Coelho	Decisions with multiple simultaneous goals and uncertain causal effects.	IFIP AI	2008	DBLP DOI BibTeX RDF
14	Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo	Diagnosability of hybrid automata with measurement uncertainty.	CDC	2008	DBLP DOI BibTeX RDF
14	Alexander W. Min, Kang G. Shin	An Optimal Transmission Strategy for IEEE 802.11 Wireless LANs: Stochastic Control Approach.	SECON	2008	DBLP DOI BibTeX RDF
14	Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis	A First-Estimates Jacobian EKF for Improving SLAM Consistency.	ISER	2008	DBLP DOI BibTeX RDF
14	Anita Sarma, David F. Redmiles, André van der Hoek	Empirical evidence of the benefits of workspace awareness in software configuration management.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	parallel work, evaluation, user experiments, conflicts, software configuration management, workspace awareness
14	Jonathan Weinberg, Allan Snavely	Accurate memory signatures and synthetic address traces for HPC applications.	ICS	2008	DBLP DOI BibTeX RDF	synthetic memory traces, caches, locality, hpc
14	M. Patrick Collins, Michael K. Reiter	On the Limits of Payload-Oblivious Network Attack Detection.	RAID	2008	DBLP DOI BibTeX RDF	evaluation, network intrusion detection, ROC curve
14	Muhammad Usman Ilyas, Hayder Radha	Measurement Based Analysis and Modeling of the Error Process in IEEE 802.15.4 LR-WPANs.	INFOCOM	2008	DBLP DOI BibTeX RDF
14	Alexei Sharpanskykh, Jan Treur	Relating Cognitive Process Models to Behavioural Models of Agents.	IAT	2008	DBLP DOI BibTeX RDF
14	Shinya Yamamoto, Yoshihiro Murata, Naoki Shibata, Keiichi Yasumoto, Minoru Ito	QoS adaptation in streaming 3D graphics for FAIRVIEW.	NOSSDAV	2008	DBLP DOI BibTeX RDF
14	Brent Bryan, Jeff G. Schneider	Actively learning level-sets of composite functions.	ICML	2008	DBLP DOI BibTeX RDF
14	Vincent Conitzer, Tuomas Sandholm	AWESOME: A general multiagent learning algorithm that converges in self-play and learns a best response against stationary opponents.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Learning in games, Game theory, Nash equilibrium
14	Fei Xue, Lu Yan	Formal approach to fault diagnosis in distributed discrete event systems with OBDD.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Petri net, Fault diagnosis, Discrete event system, OBDD
14	Robin Jaulmes, Joelle Pineau, Doina Precup	A formal framework for robot learning and control under model uncertainty.	ICRA	2007	DBLP DOI BibTeX RDF
14	Bin Xu 0007, Daniel J. Stilwell, Aditya S. Gadre, Andrew Kurdila	Analysis of local observability for feature localization in a maritime environment using an omnidirectional camera.	IROS	2007	DBLP DOI BibTeX RDF
14	Jae-kang Lee, Tae-seok Oh, Yun-su Shin, Tae-jun Yoon, Il-hwan Kim	Postural Control of Two-Stage Inverted Pendulum Using Reinforcement Learning and Self-organizing Map.	ICANNGA (2)	2007	DBLP DOI BibTeX RDF
14	Dipak Surie, Thomas Pederson, Fabien Lagriffoul, Lars-Erik Janlert, Daniel Sjölie	Activity Recognition Using an Egocentric Perspective of Everyday Objects.	UIC	2007	DBLP DOI BibTeX RDF
14	Matthew K. Matlock, Sandip Sen	Effective tag mechanisms for evolving coordination.	AAMAS	2007	DBLP DOI BibTeX RDF	learning, games, coordination, tags, evolution, prisoner's dilemma
14	Tae-Sic Yoo, Stéphane Lafortune	Solvability of Centralized Supervisory Control Under Partial Observation.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Decidability, Supervisory control, Nonblocking, Partial observation
14	Patrick Horgan, Fred Cummins	Modeling dopamine activity by Reinforcement Learning methods: implications from two recent models.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Dopamine, Model, Learning, Computational, Reinforcement
14	Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko 0001	FSM Test Translation Through Context.	TestCom	2006	DBLP DOI BibTeX RDF
14	Deepak Verma, Rajesh P. N. Rao	Planning and Acting in Uncertain Environments using Probabilistic Inference.	IROS	2006	DBLP DOI BibTeX RDF
14	Mango Chia-Tso Chao, Seongmoon Wang, Srimat T. Chakradhar, Wenlong Wei, Kwang-Ting Cheng	Coverage loss by using space compactors in presence of unknown values.	DATE	2006	DBLP DOI BibTeX RDF
14	Julien Laumonier, Brahim Chaib-draa	Partial Local FriendQ Multiagent Learning: Application to Team Automobile Coordination Problem.	Canadian AI	2006	DBLP DOI BibTeX RDF
14	Vidyarani M. Dyaberi, Hari Sundaram, Thanassis Rikakis, Jodi James	The computational extraction of temporal formal structures in the interactive dance work '22'.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	structure, dance, phrase
14	Yunjian Peng, Feiqi Deng	Decentralized Stabilization of Interconnected Stochastic Nonlinear Systems under a Risk-sensitive Cost Criterio.	ISDA (3)	2006	DBLP DOI BibTeX RDF
14	Matt Lepinski, David Liben-Nowell, Seth Gilbert, April Rasala Lehman	Playing games in many possible worlds.	EC	2006	DBLP DOI BibTeX RDF	correlated equilibria, information acquisition, socratic games, algorithms, game theory, Nash equilibria
14	Francesco Logozzo, Agostino Cortesi	Semantic Hierarchy Refactoring by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
14	Mango Chia-Tso Chao, Kwang-Ting Cheng, Seongmoon Wang, Srimat T. Chakradhar, Wenlong Wei	Unknown-tolerance analysis and test-quality control for test response compaction using space compactors.	DAC	2006	DBLP DOI BibTeX RDF	design for test, test response compaction
14	Matthijs T. J. Spaan, Geoffrey J. Gordon, Nikos Vlassis	Decentralized planning under uncertainty for teams of communicating agents.	AAMAS	2006	DBLP DOI BibTeX RDF	decentralized POMDPs, artificial intelligence, planning under uncertainty, cooperative multiagent systems
14	Serge Haddad, Patrice Moreaux, Sylvain Rampacek	A Formal Semantics and a Client Synthesis for a BPEL Service.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	Algebra of timed processes, Web Services, Timed Automata, BPEL4WS
14	Shigemasa Takai, Toshimitsu Ushio	Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control
14	Dong Xiang, Ming-Jing Chen, Jia-Guang Sun, Hideo Fujiwara	Improving test effectiveness of scan-based BIST by scan chain partitioning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
14	Domitilla Del Vecchio, Richard M. Murray	Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.	HSCC	2005	DBLP DOI BibTeX RDF
14	Alp Sardag, H. Levent Akin	ARKAQ-Learning: Autonomous State Space Segmentation and Policy Generation.	ISCIS	2005	DBLP DOI BibTeX RDF
14	Elisabetta Zibetti, Charles Tijus	Understanding Actions: Contextual Dimensions and Heuristics.	CONTEXT	2005	DBLP DOI BibTeX RDF
14	Bei Gou	Observability analysis by measurement Jacobian matrix for state estimation.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
14	Nadia Busi, Gianluigi Zavattaro	Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.	COORDINATION	2005	DBLP DOI BibTeX RDF
14	P. J. Green, Richard Noad, Nigel P. Smart	Further Hidden Markov Model Cryptanalysis.	CHES	2005	DBLP DOI BibTeX RDF
14	Robert C. Kremer, Roberto A. Flores	Using a performative subsumption lattice to support commitment-based conversations.	AAMAS	2005	DBLP DOI BibTeX RDF	CASA, performatives, protocols, policies, agent communications languages, ACL, FIPA, social commitments
14	María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo	Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.	IBERAMIA	2004	DBLP DOI BibTeX RDF
14	Michael R. James 0001, Satinder Singh 0001	Learning and discovery of predictive state representations in dynamical systems with reset.	ICML	2004	DBLP DOI BibTeX RDF
14	Daan Wierstra, Marco A. Wiering	Utile distinction hidden Markov models.	ICML	2004	DBLP DOI BibTeX RDF
14	Victor S. Frost	Quantifying the temporal characteristics of network congestion events for multimedia services.	IEEE Trans. Multim.	2003	DBLP DOI BibTeX RDF
14	Elisa H. Barney Smith, Xiaohui Qiu	Statistical image differences, degradation features, and character distance metrics.	Int. J. Document Anal. Recognit.	2003	DBLP DOI BibTeX RDF	Binarization threshold, Point spread function, Degradation model
14	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness
14	Francisco Javier Marín Martín, Francisco García-Lagos, Gonzalo Joya Caparrós, Francisco Sandoval Hernández	Optimal Phasor Measurement Unit Placement Using Genetic Algorithms.	IWANN (1)	2003	DBLP DOI BibTeX RDF