Search results for "states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Robert T. Brigantic, George A. Muller	Simulation of passenger screening for pandemic influenza at U.S. airport ports of entry.	WSC	2008	DBLP DOI BibTeX RDF
9	Angel Kennedy, Cara MacNish	An investigation of the state formation and transition limitations for prediction problems in recurrent neural networks.	ACSC	2008	DBLP BibTeX RDF
9	Zurab Khasidashvili	On Formal Equivalence Verification of Hardware.	CSR	2008	DBLP DOI BibTeX RDF
9	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
9	Stefan Faußer, Friedhelm Schwenker	Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four.	ANNPR	2008	DBLP DOI BibTeX RDF
9	Akash Lal, Thomas W. Reps	Solving Multiple Dataflow Queries Using WPDSs.	SAS	2008	DBLP DOI BibTeX RDF
9	Helga Velroyen, Philipp Rümmer	Non-termination Checking for Imperative Programs.	TAP	2008	DBLP DOI BibTeX RDF
9	Alva L. Couch, Marc Chiarini	A Theory of Closure Operators. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF
9	Hao Liu 0009, Jun Hu 0001, Matthias Rauterberg	AIRSF: a new entertainment adaptive framework for stress free air travels.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	adaptive framework, in-flight entertainment, context-awareness
9	Alexei Sharpanskykh, Jan Treur	Relating Cognitive Process Models to Behavioural Models of Agents.	IAT	2008	DBLP DOI BibTeX RDF
9	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
9	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe	RESY: Requirement Synthesis for Compositional Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
9	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
9	Arturo Servin, Daniel Kudenko	Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation.	MATES	2008	DBLP DOI BibTeX RDF
9	Irith Pomeranz, Sudhakar M. Reddy	Synthesis for Broadside Testability of Transition Faults.	VTS	2008	DBLP DOI BibTeX RDF	broadside tests, standard scan, transition faults, test synthesis, full-scan circuits
9	Toshiharu Sugawara, Toshio Hirotsu, Satoshi Kurihara, Kensuke Fukuda	Controling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems.	CIA	2008	DBLP DOI BibTeX RDF
9	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre	µ-calculus Pushdown Module Checking with Imperfect State Information.	IFIP TCS	2008	DBLP DOI BibTeX RDF
9	Junseok Kwon, Kyoung Mu Lee	Tracking of Abrupt Motion Using Wang-Landau Monte Carlo Estimation.	ECCV (1)	2008	DBLP DOI BibTeX RDF
9	Adam Roman, Wit Forys	Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.	SOFSEM	2008	DBLP DOI BibTeX RDF
9	Vijay Rajagopal, Martyn P. Nash, Ralph Highnam, Poul M. F. Nielsen	The Breast Biomechanics Reference State for Multi-modal Image Analysis.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF
9	Hirotaka Tamada, Akira Hayashi	Sports Video Segmentation Using a Hierarchical Hidden CRF.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
9	Seema Bandyopadhyay, Edward J. Coyle, Tillmann Falck	Stochastic Properties of Mobility Models in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	correlated random walk, MANET, random walk, mobility models, random waypoint model
9	Jing-Fa Liu, Wen-Qi Huang	Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	off-lattice model, quasi-physical algorithm, off-trap strategy, protein folding, NP-hard problem
9	Tatiana Britvina, Jos J. Eggermont	A Markov model for interspike interval distributions of auditory cortical neurons that do not show periodic firings.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
9	Sidney K. D'Mello, Rosalind W. Picard, Arthur C. Graesser	Toward an Affect-Sensitive AutoTutor.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	affect-sensitive ITS, body posture, dialogue features, AutoTutor, facial features, emotion detection, affect detection
9	Soowhan Han, Sungdae Park, Witold Pedrycz	MFCM for Nonlinear Blind Channel Equalization.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
9	Sven Graupner, Nigel Cook, Derek Coleman	Automation Controller for Operational IT Management.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
9	Luca de Alfaro, Pritam Roy	Magnifying-Lens Abstraction for Markov Decision Processes.	CAV	2007	DBLP DOI BibTeX RDF
9	Chuan Shi, Rui Huang, Zhongzhi Shi	Automatic Discovery of Subgoals in Reinforcement Learning Using Unique-Dreiction Value.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
9	Sunyoung Lee, Scott W. McQuiggan, James C. Lester	Inducing User Affect Recognition Models for Task-Oriented Environments.	User Modeling	2007	DBLP DOI BibTeX RDF
9	Bernd Werther, Christoph Möhlenbrink, Michael Rudolph 0001	Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.	HCI (12)	2007	DBLP DOI BibTeX RDF	Airport control model, Colored Petri Net, State Space, Cognitive work analysis, Human Machine System
9	Changchun Liu, Karla Conn, Nilanjan Sarkar, Wendy Stone	Online Affect Detection and Adaptation in Robot Assisted Rehabilitation for Children with Autism.	RO-MAN	2007	DBLP DOI BibTeX RDF
9	Lingfeng Wang, Chanan Singh, Kay Chen Tan	Reliability evaluation of power-generating systems including time-dependent sources based on binary particle swarm optimization.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
9	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga	Game Relations and Metrics.	LICS	2007	DBLP DOI BibTeX RDF
9	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
9	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
9	Yasuhiro Takemura, Hideo Nagumo, Kuo-Li Huang, Hidekuni Tsukamoto	Assessing the Learners' Motivation in the E-Learning Environments for Programming Education.	ICWL	2007	DBLP DOI BibTeX RDF
9	Yongqiang Zhao 0001, TieHeng Yang, PeiFeng Wei, Quan Pan 0001	Spectropolarimetric Imaging for Skin Characteristics Analysis.	MIMI	2007	DBLP DOI BibTeX RDF
9	Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai	A Data Mining Approach for Software State Definition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Johny Ghattas, Pnina Soffer, Mor Peleg	Learning Business Process Models: A Case Study.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	generic process model, process flexibility, soft-goals, Learning, business process model, exceptions, goals, clinical guidelines, process adaptation
9	Marinella Sciortino, Luca Q. Zamboni	Suffix Automata and Standard Sturmian Words.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
9	Shaohua Ma, Zhiyuan Cai, Ying Hua, Xiaobai Li, Yangyang Ge	An Approach of Combustion Diagnosis in Boiler Furnace Based on Phase Space Reconstruction.	ICIC (3)	2007	DBLP DOI BibTeX RDF	combustion diagnosis, state distinguish, chaos, correlation dimension, phase space reconstruction
9	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
9	Soowhan Han, Imgeun Lee, Chang-Wook Han	A Hybrid Genetic Algorithm with Simulated Annealing for Nonlinear Blind Equalization Using RBF Networks.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
9	Petr Chmelar, Jaroslav Zendulka	Visual Surveillance Metadata Management.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
9	Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.	TAP	2007	DBLP DOI BibTeX RDF
9	Jeffrey K. Czyz, Bharat Jayaraman	Declarative and visual debugging in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF
9	Ryan Shaun Joazeiro de Baker, Ma. Mercedes T. Rodrigo, Ulises E. Xolocotzin	The Dynamics of Affective Transitions in Simulation Problem-Solving Environments.	ACII	2007	DBLP DOI BibTeX RDF
9	Trevor Walker, Lisa Torrey, Jude W. Shavlik, Richard Maclin	Building Relational World Models for Reinforcement Learning.	ILP	2007	DBLP DOI BibTeX RDF
9	Maryam Ashouei, Soumendu Bhattacharya, Abhijit Chatterjee	Probabilistic Compensation for Digital Filters Using Pervasive Noise-Induced Operator Errors.	VTS	2007	DBLP DOI BibTeX RDF
9	Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytro Tykhonov	Formal Analysis of Trust Dynamics in Human and Software Agent Experiments.	CIA	2007	DBLP DOI BibTeX RDF	human experiments, Trust, intelligent agents, dynamics
9	Anjana Jain, Raksha Upadhyay, Prakash D. Vyavahare, L. D. Arya	Stochastic Modeling and Performance Evaluation of Fading Channel for Wireless Network Design.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF	Statistical model of fading channel, level crossing rate, fade duration, transition rate, outage time, satisfactory state, BER, SNR
9	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner	Symmetry Reduction for B by Permutation Flooding.	B	2007	DBLP DOI BibTeX RDF	Symmetry Reduction.1, Model Checking, Tool Support, B-Method
9	Luca de Alfaro	The Symbolic Approach to Repeated Games (Abstract).	CSL	2007	DBLP DOI BibTeX RDF
9	Brent Rood, Michael J. Lewis	Multi-state grid resource availability characterization.	GRID	2007	DBLP DOI BibTeX RDF
9	Andris Ambainis, Joseph Emerson	Quantum t-designs: t-wise Independence in the Quantum World.	CCC	2007	DBLP DOI BibTeX RDF
9	Christian Huemer, Marco Zapletal, Philipp Liegl, Rainer Schuster	Modeling Business Entity State Centric Choreographies.	CEC/EEE	2007	DBLP DOI BibTeX RDF
9	Nicholas K. Jong, Peter Stone	Model-based function approximation in reinforcement learning.	AAMAS	2007	DBLP DOI BibTeX RDF	models, reinforcement learning, function approximation
9	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
9	Ricardo Marcelín-Jiménez, Sergio Rajsbaum, Brett Stevens	Cyclic Storage for Fault-Tolerant Distributed Executions.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	storage/repositories, network repositories/data mining/backup, fault-tolerance, distributed systems, distributed applications, checkpoint/restart, Load balancing and task assignment
9	Runyao Duan, Yuan Feng 0001, Mingsheng Ying	Partial Recovery of Quantum Entanglement.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
9	David B. Lomet, Roger S. Barga, Mohamed F. Mokbel, German Shegalov, Rui Wang 0002, Yunyue Zhu	Transaction Time Support Inside a Database Engine.	ICDE	2006	DBLP DOI BibTeX RDF
9	Kwok Cheung, Jane Hunter 0001	Provenance Explorer - Customized Provenance Views Using Semantic Inferencing.	ISWC	2006	DBLP DOI BibTeX RDF	Visualization, Provenance, eScience, Inferencing
9	Yasuhisa Hirata, Asami Muraki, Kazuhiro Kosuge	Motion Control of Intelligent Walker based on Renew of Estimation Parameters for User State.	IROS	2006	DBLP DOI BibTeX RDF
9	Gunn-Yong Park, Seung-Ik Lee, Woo-Young Kwon, Joong-Bae Kim	Neurocognitive Affective System for an Emotive Robot.	IROS	2006	DBLP DOI BibTeX RDF
9	Chuda Liu, Depei Qian, Yi Liu 0013, Yanping Li, Caiyuan Wang	RSVP Context Extraction in IP Mobility Environments.	VTC Spring	2006	DBLP DOI BibTeX RDF
9	Jerzy W. Greblicki	CAD software for designing of Totally Self Checking Sequential Circuits.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
9	Sharon Shoham, Orna Grumberg	3-Valued Abstraction: More Precision at Less Cost.	LICS	2006	DBLP DOI BibTeX RDF
9	Howard Goodell, Chih-Hung Chiang, Curran Kelleher, Alex Baumann, Georges G. Grinstein	Collecting and Harnessing Rich Session Histories.	IV	2006	DBLP DOI BibTeX RDF	User monitoring, session history visualization, session history, voice annotation
9	Yan Gao, John Lygeros, Marc Quincampoix	The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.	HSCC	2006	DBLP DOI BibTeX RDF
9	Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg	Eager Markov Chains.	ATVA	2006	DBLP DOI BibTeX RDF
9	Sidney K. D'Mello, Arthur C. Graesser	Affect Detection from Human-Computer Dialogue with an Intelligent Tutoring System.	IVA	2006	DBLP DOI BibTeX RDF
9	Hoang Do Thanh Tung, Keun Ho Ryu	A ONCE-Updating Approach on Moving Objects.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
9	Ning Jin 0003, Farzin Mokhtarian	A Non-Parametric HMM Learning Method for Shape Dynamics with Application to Human Motion Recognition.	ICPR (2)	2006	DBLP DOI BibTeX RDF
9	Hui Lin 0001, Zhijian Ou	Switching Auxiliary Chains for Speech Recognition based on Dynamic Bayesian Networks.	ICPR (4)	2006	DBLP DOI BibTeX RDF
9	Helen Pain, Kaska Porayska-Pomsta	Affect in One-to-One Tutoring.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
9	Minghua Zhang, Wynne Hsu, Mong-Li Lee	Mining progressive confident rules.	KDD	2006	DBLP DOI BibTeX RDF	progressive confident, classification, sequence
9	Viliam Geffert	Magic Numbers in the State Hierarchy of Finite Automata.	MFCS	2006	DBLP DOI BibTeX RDF
9	Hing Leung	Structurally Unambiguous Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
9	Tao Xie 0001	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.	ECOOP	2006	DBLP DOI BibTeX RDF
9	Amir Ingber, Meir Feder	Non-Asymptotic Design of Finite State Universal Predictors for Individual Sequences.	DCC	2006	DBLP DOI BibTeX RDF
9	Anthony Tang 0001, Melanie Tory, Barry A. Po, Petra Neumann 0001, Sheelagh Carpendale	Collaborative Coupling over Tabletop Displays.	CHI	2006	DBLP DOI BibTeX RDF	collaborative coupling, collaborative tabletop displays, mixed focus collaboration, coordination, single display groupware
9	Qing Yao, Zhumin Chen, Haiyang Wang	Improving Flexibility and Reusage of Business Process Management: the Role of Cased-based Reasoning Technique.	ICEBE	2006	DBLP DOI BibTeX RDF
9	Chil-Woo Lee, Jae Yong Oh, Yang Weon Lee	Context-Based Approach for Human Gesture Analysis.	KES (1)	2006	DBLP DOI BibTeX RDF
9	Agnieszka Pieczynska, Jaroslaw Drapala	Neural Network Approach for Learning of the World Structure by Cognitive Agents.	KES (3)	2006	DBLP DOI BibTeX RDF
9	Jean-Claude Falmagne, Eric Cosyn, Jean-Paul Doignon, Nicolas Thiéry 0001	The Assessment of Knowledge, in Theory and in Practice.	ICFCA	2006	DBLP DOI BibTeX RDF
9	Sy Bor Wang, Ariadna Quattoni, Louis-Philippe Morency, David Demirdjian, Trevor Darrell	Hidden Conditional Random Fields for Gesture Recognition.	CVPR (2)	2006	DBLP DOI BibTeX RDF
9	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Dynamic Workflow Implementation Based on Synchronizers.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
9	Uwe Zdun, Mark Strembeck	Modeling Composition in Dynamic Programming Environments with Model Transformations.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
9	Christine Leitner	e-Government: People and Skills in Europe's Administrations.	HICSS	2006	DBLP DOI BibTeX RDF
9	Wei Du 0006, Justus H. Piater	Multi-view Object Tracking Using Sequential Belief Propagation.	ACCV (1)	2006	DBLP DOI BibTeX RDF
9	Emílio Del Moral Hernandez	Chaotic Searches and Stable Spatio-temporal Patterns as a Naturally Emergent Mixture in Networks of Spiking Neural Oscillators with Rich Dynamics.	IJCNN	2006	DBLP DOI BibTeX RDF
9	Vesna Mikulovic, Michael Heiss	"How do I know what I have to do?": the role of the inquiry culture in requirements communication for distributed software development projects.	ICSE	2006	DBLP DOI BibTeX RDF	informal/formal communication, inquiry culture, requirement interaction management, requirements communication, state machine, global software development
9	Wenjian Li, Hoang Pham	Reliability modeling of multi-state degraded systems with multi-competing failures and random shocks.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
9	Rajeev Alur, Kenneth L. McMillan, Doron A. Peled	Deciding Global Partial-Order Properties.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	partial order logics, model checking, concurrency, temporal logics
9	Christoforos N. Hadjicostis	Aliasing Probability Calculations for Arbitrary Compaction under Independently Selected Random Test Vectors.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	fault activation probabilities, random testing, compaction, Aliasing probability
9	Mehmet Kaya, Reda Alhajj	Fuzzy OLAP association rules mining-based modular reinforcement learning approach for multiagent systems.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
9	Mehmet Kaya, Reda Alhajj	A novel approach to multiagent reinforcement learning: utilizing OLAP mining in the learning process.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
9	Victor V. Kuliamin	Test Sequence Construction Using Minimum Information on the Tested System.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF