The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Observable with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1983 (15) 1984-1988 (19) 1989-1990 (30) 1991-1992 (32) 1993 (15) 1994-1995 (37) 1996 (20) 1997 (33) 1998 (23) 1999 (41) 2000 (38) 2001 (56) 2002 (67) 2003 (76) 2004 (117) 2005 (143) 2006 (168) 2007 (206) 2008 (192) 2009 (144) 2010 (67) 2011 (55) 2012 (53) 2013 (51) 2014 (53) 2015 (61) 2016 (58) 2017 (68) 2018 (84) 2019 (97) 2020 (113) 2021 (141) 2022 (142) 2023 (173) 2024 (36)
Publication types (Num. hits)
article(1034) data(1) incollection(12) inproceedings(1649) phdthesis(28)
Venues (Conferences, Journals, ...)
CoRR(291) CDC(60) AAMAS(55) ICRA(40) IEEE Trans. Autom. Control.(37) AAAI(31) ICML(31) ACC(25) IROS(23) IJCAI(22) NeurIPS(19) ICAPS(16) Oper. Res.(15) Eur. J. Oper. Res.(14) IEEE Trans. Comput. Aided Des....(14) IEEE Trans. Software Eng.(14) More (+10 of total 1089)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1362 occurrences of 994 keywords

Results
Found 2724 publication records. Showing 2724 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Kuansan Wang, Nikolas Gloy, Xiaolong Li Inferring search behaviors using partially observable Markov (POM) model. Search on Bibsonomy WSDM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF partially observable markov model, segmental viterbi algorithm, web search behaviors, eye tracking, search log mining
56Norimichi Ukita, Takashi Matsuyama Incremental Observable-Area Modeling for Cooperative Tracking. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Sujit Dey, Miodrag Potkonjak Nonscan design-for-testability techniques using RT-level design information. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
49Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann Observable Confluence for Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Le Tien Dung, Takashi Komeda, Motoki Takagi Mixed Reinforcement Learning for Partially Observable Markov Decision Process. Search on Bibsonomy CIRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Lucia Pomello Refinement of Concurrent Systems Based on Local State Transformations. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
46Koji Yamazaki, Teruhiko Yamada An approach to diagnose logical faults in partially observable sequential circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF logical faults, partially observable sequential circuits, internal nets, error sources, error propagation traceback, failing primary outputs, ISCAS'89 benchmark circuits, fault diagnosis, simulation results, probing, diagnostic resolution
43B. T. Thomas Yeo, Mert R. Sabuncu, Hartmut Mohlberg, Katrin Amunts, Karl Zilles, Polina Golland, Bruce Fischl What Data to Co-register for Computing Atlases. Search on Bibsonomy ICCV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Xiangdong An 0001, Yang Xiang, Nick Cercone Revising Markov Boundary for Multiagent Probabilistic Inference. Search on Bibsonomy IAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Erika Ábrahám, Andreas Grüner, Martin Steffen Abstract Interface Behavior of Object-Oriented Languages with Monitors. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
39Andy Gill Type-safe observable sharing in Haskell. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DSL compilation, observable sharing
39Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF rollout, multiclass scheduling, simulation, buffer management, partially observable Markov decision process
35Rosemary Emery-Montemerlo, Geoffrey J. Gordon, Jeff G. Schneider, Sebastian Thrun Approximate Solutions for Partially Observable Stochastic Games with Common Payoffs. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Michihiro Matsumoto, Kokichi Futatsugi Simply Observable Behavioral Specification. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Katarína Cunderlíková The individual ergodic theorem on the IF-events with product. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF The IF-event, The IF-probability, The IF-observable, The product, The upper and lower limits, The individual ergodic theorem, The almost everywhere convergence, The -preserving transformation
33Jaeyoung Park, Kee-Eung Kim, Sungho Jo A POMDP approach to P300-based brain-computer interfaces. Search on Bibsonomy IUI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF brain-computer interface (bci), partially observable markov decision process (pomdp), P300
33Erika Ábrahám, Andreas Grüner, Martin Steffen Abstract Interface Behavior of Object-Oriented Languages with Monitors. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics
33Arsalan Farrokh, Vikram Krishnamurthy Optimal Threshold Policies for Operation of a Dedicated-Platform with Imperfect State Information - A POMDP Framework. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Partially Observable Markov Decision Process (POMDP), optimal threshold policies, Bellman equation, two-state Markov chain, overlook probability, dynamic programming, Hidden Markov Model (HMM), sufficient statistics, optimal search
33Jérôme Callut, Pierre Dupont A Markovian Approach to the Induction of Regular String Distributions. Search on Bibsonomy ICGI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF HMM topology induction, Partially observable Markovmodel, Mean first passage time, Lumped Markov process, State splitting algorithm
33Shing-Chi Cheung, Jeff Kramer Checking Subsystem Safety Properties in Compositional Reachability Analysis. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
32Xiaoqing Wen, Kozo Kinoshita A Testable Design of Logic Circuits under Highly Observable Condition. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF highly observable condition, fault tolerant computing, logic testing, integrated circuit testing, combinational circuit, stuck-at faults, logic circuits, integrated logic circuits, combinatorial circuits, stuck-open faults, testable design
29Antonio Del Giudice, Piotr J. Gmytrasiewicz, Josh Bryan Towards strategic Kriegspiel play with opponent modeling. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF
29Jacquelien M. A. Scherpen, Arjan van der Schaft A structure preserving minimal representation of a nonlinear port-Hamiltonian system. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Kai-Sheng Lu, Guo-Zhang Gao The node voltage equations and structural conditions of observability for RLC networks over F(z). Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Jean-Michel Hélary, Giovanna Melideo Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. Search on Bibsonomy WG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Alexander Moshe Rabinovich Modularity and Expressibility for Nets of Relations. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence
27Yoichiro Endo Anticipatory robot control for a partially observable environment using episodic memories. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Yuki Taniguchi, Takeshi Mori, Shin Ishii A Continuous Internal-State Controller for Partially Observable Markov Decision Processes. Search on Bibsonomy ICANN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Qinru Qiu, Ying Tan, Qing Wu 0002 Stochastic modeling and optimization for robust power management in a partially observable system. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Hajime Fujita 0001, Yutaka Nakamura, Shin Ishii Feature Extraction for Decision-Theoretic Planning in Partially Observable Environments. Search on Bibsonomy ICANN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Mahadevan Subramaniam, Jiangfan Shi Using Dominators to Extract Observable Protocol Contexts. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Silvio Micali, Leonid Reyzin Physically Observable Cryptography (Extended Abstract). Search on Bibsonomy TCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Thomas Chatain, Claude Jard Symbolic Diagnosis of Partially Observable Concurrent Systems. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Mirko Viroli, Andrea Omicini Specifying agent observable behaviour. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF agent architectures, agent-based software engineering, formalisms and logics
26Kasper Johansson, Ugo Rosolia, Wyatt Ubellacker, Andrew Singletary, Aaron D. Ames Mixed Observable RRT: Multi-Agent Mission-Planning in Partially Observable Environments. Search on Bibsonomy ICRA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Hideaki Itoh, Hidehiko Nakano, Ryota Tokushima, Hisao Fukumoto, Hiroshi Wakuya A Partially Observable Markov-Decision-Process-Based Blackboard Architecture for Cognitive Agents in Partially Observable Environments. Search on Bibsonomy IEEE Trans. Cogn. Dev. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Kasper Johansson, Ugo Rosolia, Wyatt Ubellacker, Andrew Singletary, Aaron D. Ames Mixed Observable RRT: Multi-Agent Mission-Planning in Partially Observable Environments. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
26 Combined Model for Partially-Observable and Non-Observable Task Switching: Solving Hierarchical Reinforcement Learning Problems Statically and Dynamically with Transfer Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Nibraas Khan, Joshua L. Phillips Combined Model for Partially-Observable and Non-Observable Task Switching: Solving Hierarchical Reinforcement Learning Problems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
26Guanjun Liu, Changjun Jiang Observable liveness of Petri nets with controllable and observable transitions. Search on Bibsonomy Sci. China Inf. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Ofer M. Shir, Jonathan Roslund, Herschel Rabitz Evolutionary multi-objective quantum control experiments with the covariance matrix adaptation. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF experimental multi-objective optimization, mo-cma-es, multi-observable quantum control, laser pulse shaping
26Eric Demeester, Alexander Hüntemann, Dirk Vanhooydonck, Gerolf Vanacker, Hendrik Van Brussel, Marnix Nuttin User-adapted plan recognition and user-adapted shared control: A Bayesian approach to semi-autonomous wheelchair driving. Search on Bibsonomy Auton. Robots The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intent estimation, User modeling, Plan recognition, User adaptation, Partially observable Markov decision process, Shared control
26Diego R. Pereira, Luciano V. Gonçalves, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems. Search on Bibsonomy SBIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF self-regulation of social exchanges, Belief-Desire-Intention, multiagent systems, social simulation, Partially Observable Markov Decision Process
26Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino Modular Neural Networks for Model-Free Behavioral Learning. Search on Bibsonomy ICANN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Partially observable environment, Reinforcement learning, On-line learning
26Derek W. Seward, Conrad Pace, Rahee Agate Safe and effective navigation of autonomous robots in hazardous environments. Search on Bibsonomy Auton. Robots The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Task effective, Safety, Risk analysis, Autonomous vehicles, Partially observable Markov decision processes, Unstructured environments, Real-time control system, Robot architecture
26Yuichi Yabu, Makoto Yokoo, Atsushi Iwasaki Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs. Search on Bibsonomy PRIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Trembling-hand perfect equilibrium, Multiagent systems, Nash equilibrium, Partially Observable Markov Decision Process
26Pradeep Varakantham, Janusz Marecki, Yuichi Yabu, Milind Tambe, Makoto Yokoo Letting loose a SPIDER on a network of POMDPs: generating quality guaranteed policies. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed POMDP, globally optimal solution, partially observable markov decision process (POMDP), multi-agent systems
26Katarína Lendelová, Jozefína Petrovicová Representation of IF-probability on MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF The IF-probability, The IF-observable, The MV-algebra, The representation theorem
26Joaquín Lopez Fernández, Rafael Sanz, Reid G. Simmons, Amador R. Diéguez Heuristic anytime approaches to stochastic decision processes. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Planning, Heuristic algorithms, POMDP, Partially observable Markov decision process, Decision Systems
26Pradeep Varakantham, Ranjit Nair, Milind Tambe, Makoto Yokoo Winning back the CUP for distributed POMDPs: planning over continuous belief spaces. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF continuous initial beliefs, distributed POMDP, partially observable Markov decision process (POMDP), multi-agent systems
26María Elena López Guillén, Luis Miguel Bergasa, Rafael Barea, María Soledad Escudero A Navigation System for Assistant Robots Using Visually Augmented POMDPs. Search on Bibsonomy Auton. Robots The full citation details ... 2005 DBLP  DOI  BibTeX  RDF probabilistic navigation, multisensorial fusion, assistant robots, Partially Observable Markov Decision Processes, planning under uncertainty
26Jérôme Callut, Pierre Dupont Inducing Hidden Markov Models to Model Long-Term Dependencies. Search on Bibsonomy ECML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF HMM topology induction, Partially observable Markov models, Mean first passage times, Lumped Markov process, State splitting algorithm
26Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan Opacity Generalised to Transition Systems. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
26Jong-Il Park, Seiki Inoue Arbitrary View Generation from Multiple Cameras. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF arbitrary view generation, reference views, depth map estimation, successive image warping, depth map transformation, uncovered area, back-mapping, observable viewpoint, image reconstruction, multiple cameras, image rendering
26Zoltan Kato, Josiane Zerubia, Marc Berthod Unsupervised Parallel Image Classificiation Using a Hierarchical Markovian Model. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF unsupervised parallel image classification, hierarchical Markovian model, segmentation problem, hidden label field parameters, observable image, iterative conditional estimation, estimation-maximization algorithm, tentative labeling, Connection Machine CM200, comparative tests, noisy synthetic images, noisy real images, computer vision, image segmentation, parallel processing, Markov random fields, Markov processes, iterative methods, image classification, remote sensing, remote sensing, maximum likelihood estimation, maximum likelihood estimate, random processes, hierarchical systems, maximum a posteriori estimate, model parameters
26Michel Diaz, Guy Juanole, Jean-Pierre Courtiat Observer-A Concept for Formal On-Line Validation of Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
26Valdis Berzins, Luqi, Amiram Yehudai Using Transformations in Specification-Based Prototyping. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description
26Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart Software Requirements Analysis for Real-Time Process-Control Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF real-time process-control systems, observable phenomena, abstract state-machine model, real-time systems, formal specification, robustness, ambiguity, semantic analysis, software requirements, software requirements specifications, process computer control
22Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap An Approach for Test Selection for EFSMs Using a Theorem Prover. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Arpita Ghosh, Benjamin I. P. Rubinstein, Sergei Vassilvitskii, Martin Zinkevich Adaptive bidding for display advertising. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptive bidding, concentration bounds, display advertising, guaranteed delivery, guess-then-double algorithms
22Franck Cassez, Jérémy Dubreil, Hervé Marchand Dynamic Observers for the Synthesis of Opaque Systems. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Weiran Xu, Dong-xin Liu, Jun Guo 0002, Yichao Cai, Rile Hu Supervised Dual-PLSA for Personalized SMS Filtering. Search on Bibsonomy AIRS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Personalized Filtering, dual-PLSA, Latent Dirichlet Allocation, Spam Filtering, Probabilistic Latent semantic Analysis
22Todd Lupton, Salah Sukkarieh Removing scale biases and ambiguity from 6DoF monocular SLAM using inertial. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee State space abstraction for parameterized self-stabilizing embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
22Catholijn M. Jonker, Jan Treur Agent-oriented modeling of the dynamics of biological organisms. Search on Bibsonomy Appl. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Modeling, Agent, Dynamics, Organisms, Behavior, Computational biology
22Franck Cassez, Stavros Tripakis, Karine Altisen Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Ashok K. Karmokar, Dejan V. Djonin, Vijay K. Bhargava POMDP-Based Coding Rate Adaptation for Type-I Hybrid ARQ Systems over Fading Channels with Memory. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Y. Cao, Mingsheng Ying Observability and Decentralized Control of Fuzzy Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny Towards an Algebra of Abstractions for Communicating Processes. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal Strengthening Property Preservation in Concurrent Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Thomas Chatain, Claude Jard Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Jeremy Fisher, Alan P. Sprague Anchors: a technique of pre-classification and its effects on Hidden Markov Models. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF data mining, Hidden Markov Models, bioinformatics
22Thomas Ball A Theory of Predicate-Complete Test Coverage and Generation. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Hong Zhu 0002 A Note on Test Oracles and Semantics of Algebraic Specifications. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Frank Guerin, Jeremy Pitt Denotational semantics for agent communication language. Search on Bibsonomy Agents The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Shing-Chi Cheung, Jeff Kramer Checking Safety Properties Using Compositional Reachability Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compositional reachability analysis, distributed systems, model checking, static analysis, safety properties
22Cormac Flanagan, Matthias Felleisen Componential Set-Based Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF soft typing, program analysis, scheme, static debugging, constraint-based analysis
22Zsolt Kalmár, Csaba Szepesvári, András Lörincz Module Based Reinforcement Learning: An Application to a Real Robot. Search on Bibsonomy EWLR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Twan Basten, Marc Voorhoeve An Algebraic Semantics for Hierarchical P/T Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
22Lucia Pomello, Carla Simone A state transformation preorder over a class of EN systems. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF behaviour of systems, observability of states, equivalence, morphisms
22Krzysztof Kuchcinski, Bogdan Wiszniewski Path analysis of distributed programs. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22A. Bourguet-Rouger External Behaviour Equivalence between two Petri Nets. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
20Piet Van Mieghem, Huijuan Wang The observable part of a network. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF union of shortest paths, observability, overlay
20Marcus V. dos Santos, R. C. de Brito, Ho-Hyun Park, Paulo Santos 0001 Logic-based interpretation of geometrically observable changes occurring in dynamic scenes. Search on Bibsonomy Appl. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reasoning about actions and change, Knowledge representation, Logic, Machine vision, Qualitative spatial reasoning
20Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais Learning the Difference between Partially Observable Dynamical Systems. Search on Bibsonomy ECML/PKDD (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Sylvie C. W. Ong, David Hsu, Wee Sun Lee, Hanna Kurniawati Partially Observable Markov Decision Process (POMDP) Technologies for Sign Language Based Human-Computer Interaction. Search on Bibsonomy HCI (7) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF human-computer interaction, Sign language recognition, planning under uncertainty
20Wouter Kuijper, Jaco van de Pol Compositional Control Synthesis for Partially Observable Systems. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Yanjie Li, Baoqun Yin, Hongsheng Xi Partially Observable Markov Decision Processes and Performance Sensitivity Analysis. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Abdeslam Boularias A Predictive Model for Imitation Learning in Partially Observable Environments. Search on Bibsonomy ICMLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Will Thompson, Darren Gergle Modeling situated conversational agents as partially observable Markov decision processes. Search on Bibsonomy IUI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF situated conversational agents, decision-theoretic planning
20Yohannes Kassahun, Jose de Gea, Jan Hendrik Metzen, Mark Edgington, Frank Kirchner EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains. Search on Bibsonomy KI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Roger W. Brockett Optimal control of observable continuous time Markov chains. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Lei Zheng, Siu-Yeung Cho, Chai Quek A memory-based reinforcement learning algorithm for partially observable Markovian decision processes. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Jesse Hoey, James J. Little Value-Directed Human Behavior Analysis from Video Using Partially Observable Markov Decision Processes. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF machine learning, dynamic programming, motion, video analysis, statistical models, clustering algorithms, control theory, Face and gesture recognition, parameter learning
20Shihao Ji, Ronald Parr, Lawrence Carin Nonmyopic Multiaspect Sensing With Partially Observable Markov Decision Processes. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Nicholas Armstrong-Crews, Manuela M. Veloso Oracular Partially Observable Markov Decision Processes: A Very Special Case. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Jérôme Callut, Pierre Dupont Learning Partially Observable Markov Models from First Passage Times. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Yuki Taniguchi, Takeshi Mori, Shin Ishii Reinforcement Learning for Cooperative Actions in a Partially Observable Multi-agent System. Search on Bibsonomy ICANN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2724 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license