Search results for "t-states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Katerina Mania, Dave Wooldridge, Matthew Coxon, Andrew Robinson 0001	The Effect of Visual and Interaction Fidelity on Spatial Cognition in Immersive Virtual Environments.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	virtual reality, interaction techniques, Three-dimensional graphics and realism, methodology and techniques
16	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston	CSL Model Checking for Generalized Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF
16	Moritz Hammer, Michael Weber 0002	"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
16	Biplab K. Sikdar, Samir Roy, Debesh K. Das	A Degree-of-Freedom Based Synthesis Scheme for Sequential Machines with Enhanced BIST Quality and Reduced Area.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	emitability, FSM state encoding, reachability, degree-of-freedom
16	Marek Tudruj, Janusz Borkowski, Damian Kopanski	Load Balancing with Migration Based on Synchronizers in PS-GRADE Graphical Tool.	ISPDC	2005	DBLP DOI BibTeX RDF
16	Viraj Kumar, Mahesh Viswanathan 0001	Conformance testing in the presence of multiple faults.	SODA	2005	DBLP BibTeX RDF
16	Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine	Simulation-Based Iteration of Tree Transducers.	TACAS	2005	DBLP DOI BibTeX RDF
16	Matthias Denecke, Kohji Dohsaka, Mikio Nakano	Fast Reinforcement Learning of Dialogue Policies Using Stable Function Approximation.	IJCNLP	2004	DBLP DOI BibTeX RDF
16	Feng Pan, Joseph M. Schimmels	Robust Procedures for Obtaining Assembly Contact State Extremal Configurations.	ICRA	2004	DBLP DOI BibTeX RDF
16	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Actively Learning to Verify Safety for FIFO Automata.	FSTTCS	2004	DBLP DOI BibTeX RDF
16	Doron A. Peled, Hongyang Qu 0001	Automatic Verification of Annotated Code.	FORTE	2003	DBLP DOI BibTeX RDF
16	Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv	Compactly Representing First-Order Structures for Static Analysis.	SAS	2002	DBLP DOI BibTeX RDF
16	Piotr J. Gmytrasiewicz, Christine L. Lisetti	Emotions and Personality in Agent Design and Modeling.	User Modeling	2001	DBLP DOI BibTeX RDF
16	Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards	A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour.	CEEMAS	2001	DBLP DOI BibTeX RDF
16	Piotr J. Gmytrasiewicz, Christine L. Lisetti	Emotions and Personality in Agent Design and Modeling.	ATAL	2001	DBLP DOI BibTeX RDF
16	Inhye Kang, Insup Lee 0001, Young-Si Kim	An Efficient State Space Generation for the Analysis of Real-Time Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	real-time systems analysis, state space minimization, Formal specification, timed automata, reachability analysis
16	William J. Stewart 0001	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
16	Qiang Zhu 0001, Yu Sun 0011, Satyanarayana Motheramgari	Developing Cost Models with Qualitative Variables for Dynamic Multidatabase Environments.	ICDE	2000	DBLP DOI BibTeX RDF	global query optimization, cost model, dynamic environment, data clustering, regression analysis, multidatabase
16	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
16	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
16	Laura Firoiu, Paul R. Cohen	Learning Elements of Representations for Redescribing Robot Experiences.	IDA	1999	DBLP DOI BibTeX RDF
16	Felice Balarin	Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models.	CAV	1998	DBLP DOI BibTeX RDF
16	Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk	Formally Verifying Data and Control with Weak Reachability Invariants.	FMCAD	1998	DBLP DOI BibTeX RDF
16	Irith Pomeranz, Sudhakar M. Reddy	On Full Reset as a Design-For-Testability Technique.	VLSI Design	1997	DBLP DOI BibTeX RDF
16	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV	1990	DBLP DOI BibTeX RDF	delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
16	Alfred A. Schmitt	Zur Theorie der nichtdeterministischen und unvollständigen Automaten.	Computing	1969	DBLP DOI BibTeX RDF
16	Bruce H. Barnes, John M. Fitzgerald	Minimal Experiments for Input-Independent Machines.	J. ACM	1967	DBLP DOI BibTeX RDF
14	Yuriy S. Shmaliy	An unbiased p-step predictive FIR filter for a class of noise-free discrete-time models with independently observed states.	Signal Image Video Process.	2009	DBLP DOI BibTeX RDF	Predictive finite impulse response (FIR) filter, Noise power gain, Synchronization, State estimation
14	John R. Cressman Jr., Ghanim Ullah, Jokubas Ziburkus, Steven J. Schiff, Ernest Barreto	The influence of sodium and potassium dynamics on excitability, seizures, and the stability of persistent states: I. Single neuron dynamics.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Potassium dynamics, Glia, Bifurcation, Instabilities, Seizures
14	Olga Kozlova, Olivier Sigaud, Pierre-Henri Wuillemin, Christophe Meyer	Considering Unseen States as Impossible in Factored Reinforcement Learning.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
14	Sidney K. D'Mello, Scotty D. Craig, Karl Fike, Arthur C. Graesser	Responding to Learners' Cognitive-Affective States with Supportive and Shakeup Dialogues.	HCI (3)	2009	DBLP DOI BibTeX RDF	affect-sensitive AutoTutor, emotion, ITS, affect
14	Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001	Generating Reduced Tests for FSMs with Extra States.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
14	Giuseppe Vitiello	Fractals and the Fock-Bargmann Representation of Coherent States.	QI	2009	DBLP DOI BibTeX RDF
14	Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry	Reasoning about General Quantum Programs over Mixed States.	SBMF	2009	DBLP DOI BibTeX RDF
14	Takaki Makino	Proto-predictive representation of states with simple recurrent temporal-difference networks.	ICML	2009	DBLP DOI BibTeX RDF
14	Christopher G. Atkeson, Benjamin J. Stephens	Random Sampling of States in Dynamic Programming.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
14	Hongtao Huang	Detection of a Set of States in Distributed Systems.	APSEC	2008	DBLP DOI BibTeX RDF
14	Lisa Wong, Waleed H. Abdulla	Automatic detection of preterm neonatal EEG background states.	ICASSP	2008	DBLP DOI BibTeX RDF
14	Michael V. Basin, Peng Shi 0001, Darío Calderon-Alvarez	Optimal filtering for polynomial states over polynomial observations.	CDC	2008	DBLP DOI BibTeX RDF
14	Daowen Qiu	Some Observations on Two-Way Finite Automata with Quantum and Classical States.	ICIC (1)	2008	DBLP DOI BibTeX RDF
14	Roman Filipovych, Eraldo Ribeiro	Recognizing primitive interactions by exploring actor-object states.	CVPR	2008	DBLP DOI BibTeX RDF
14	Jigui Jian, Hui Yu 0003	Global Exponential Synchronization for a Class of Delayed Chaotic Networks Using Partial System States.	CSSE (4)	2008	DBLP DOI BibTeX RDF
14	Sumio Watanabe	A formula of equations of states in singular learning machines.	IJCNN	2008	DBLP DOI BibTeX RDF
14	Hillel Avni, Nir Shavit	Maintaining Consistent Transactional States without a Global Clock.	SIROCCO	2008	DBLP DOI BibTeX RDF
14	Mohammad Hossein Fazel Zarandi, Javid Jouzdani, I. Burhan Türksen	Generalized Reinforcement Learning Fuzzy Control with Vague States.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	reinforcement learning, fuzzy control, fuzzy systems
14	Ce Zhan, Wanqing Li 0001, Farzad Safaei, Philip Ogunbona	Emotional states control for on-line game avatars.	NETGAMES	2007	DBLP DOI BibTeX RDF	avatar control, multiplayer on-line game, facial expression recognition
14	José A. Cruz-Lemus, Marcela Genero, Sandro Morasca, Mario Piattini	Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States.	ER Workshops	2007	DBLP DOI BibTeX RDF
14	Jean-Baptiste Yunès	Simple New Algorithms Which Solve the Firing Squad Synchronization Problem: A 7-States 4n-Steps Solution.	MCU	2007	DBLP DOI BibTeX RDF
14	Rafael Ramírez 0001, Enric Cecilla	Learning to Decode Instantaneous Cognitive States from Brain Images.	FBIT	2007	DBLP DOI BibTeX RDF
14	Song Zhiwei, Chen Xiaoping	States evolution in Theta(lambda)-learning based on logical MDPs with negation.	SMC	2007	DBLP DOI BibTeX RDF
14	Yifeng Chen	Inheriting Laws for Processes with States.	IFM	2007	DBLP DOI BibTeX RDF
14	Przemyslaw Gawronski, Krzysztof Kulakowski	A Numerical Trip to Social Psychology: Long-Living States of Cognitive Dissonance.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	opinion dynamics, Heider balance, numerical calculations
14	Xueni Pan, Marco Gillies, Tevfik Metin Sezgin, Céline Loscos	Expressing Complex Mental States Through Facial Expressions.	ACII	2007	DBLP DOI BibTeX RDF
14	Chenxi Shao, Jinfeng Fan	Extracting Qualitative States from Nonlinear Time Series Using Integration of Fuzzy c-Means and Hierarchical Clustering.	FSKD (2)	2007	DBLP DOI BibTeX RDF
14	Matthias Harders, Gábor Székely	Using Statistical Shape Analysis for the Determination of Uterine Deformation States During Hydrometra.	MICCAI (2)	2007	DBLP DOI BibTeX RDF
14	Liudong Xing	Efficient Analysis of Systems with Multiple States.	AINA	2007	DBLP DOI BibTeX RDF
14	Zaneta Navratilova, Jean-Marc Fellous	A Biophysical Model of Cortical Up and Down States: Excitatory-Inhibitory Balance and H-Current.	Summer School on Neural Networks	2007	DBLP DOI BibTeX RDF
14	Dillip Kumar Lenka, Pawan Kumar	States merging in LR parser.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
14	Jianliang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga	A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	alternating pushdown automata, 1-inkdot, sublogarithmic space, closure property
14		Performance Features of Global States Based Application Control.	PDP	2006	DBLP DOI BibTeX RDF
14	Janusz Borkowski	Measuring and improving quality of parallel application monitoring based on global states.	ISPDC	2005	DBLP DOI BibTeX RDF
14	Jaroslaw Forenc, Andrzej Jordan, Marek Tudruj	Parallel Modeling of Transient States Analysis in Electrical Circuits.	PVM/MPI	2005	DBLP DOI BibTeX RDF
14	José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez	An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
14	Xiugai Li, Dexian Huang, Yihui Jin	RBFNN-Based Multiple Steady States Controller for Nonlinear System and Its Application.	ISNN (3)	2005	DBLP DOI BibTeX RDF
14	Amali Weerasinghe, Antonija Mitrovic	Using Affective Leaner States to Enhance Learning.	KES (4)	2005	DBLP DOI BibTeX RDF
14	Ashutosh Saxena, Gaurav Gupta, Vadim Gerasimov, Sébastien Ourselin	In Use Parameter Estimation of Inertial Sensors by Detecting Multilevel Quasi-static States.	KES (4)	2005	DBLP DOI BibTeX RDF
14	Akinori Kawachi, Takeshi Koshiba, Harumichi Nishimura, Tomoyuki Yamakami	Computational Indistinguishability Between Quantum States and Its Cryptographic Application.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
14	Magdalena Slawiñska, Bogdan Wiszniewski	Determining Consistent States of Distributed Objects Participating in a Remote Method Call.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
14	Antonio Di Nola, Anatolij Dvurecenskij, Jan Jakubik	Good and Bad Infinitesimals, and States on Pseudo MV-algebras.	Order	2004	DBLP DOI BibTeX RDF	unital ?-group, infinitesimal, state, ideal, pseudo MV-algebra, radical
14	Masakiyo Miyazawa	A Markov Renewal Approach to M/G/1 Type Queues with Countably Many Background States.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	M/G/1 type queue, ladder height, Markov renewal theorem, hitting probability, decay rate, duality, stationary distribution, Markov additive process
14	Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund	Exploiting equivalence reduction and the sweep-line method for detecting terminal states.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
14	Igor Devetak, Andreas J. Winter 0002	Distilling common randomness from bipartite quantum states.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
14	C. Ryan Gwaltney, Mark A. Stadtherr	Reliable Computation of Equilibrium States and Bifurcations in Nonlinear Dynamics.	PARA	2004	DBLP DOI BibTeX RDF
14	Farn Wang	Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.	AMAST	2004	DBLP DOI BibTeX RDF	model-checking, verification, real-time, Distributed, fairness, events
14	Janusz Borkowski	Parallel Program Control Based on Hierarchically Detected Consistent Global States.	PARELEC	2004	DBLP DOI BibTeX RDF
14	Maciej Woloszyn, Bartlomiej J. Spisak	Effect of Structural Disorder on the Electronic Density of States in One-Dimensional Chain of Atoms.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
14	Alberto Gaspar Guimarães, Marco Antonio Grivet	Identification of LOS/NLOS States Using TOA Filtered Estimates.	ICT	2004	DBLP DOI BibTeX RDF
14	Toyin Akpan, Hannah Searing, Ade Adetunji	Nigerian Case Study: Lessons Learned in Piloting the National Health Management Information System in Bauchi, Enugu, and Oyo States.	HICSS	2004	DBLP DOI BibTeX RDF
14	Kaviraj Chopra, Sarma B. K. Vrudhula, Sarvesh Bhardwaj	Efficient Algorithms for Identifying the Minimum Leakage States in CMOS Combinational Logic.	VLSI Design	2004	DBLP DOI BibTeX RDF
14	Marek Gayer, Pavel Slavík, Frantisek Hrdlicka	Real-time Simulation and Visualization using Pre-calculated Fluid Simulator States.	IV	2003	DBLP DOI BibTeX RDF
14	Artur Andrzejak 0001	Memory-Efficient and Fast Enumeration of Global States.	IV	2003	DBLP DOI BibTeX RDF
14	Altion Simo, Marc Cavazza	Qualitative Simulation of Shock States in a Virtual Patient.	AIME	2003	DBLP DOI BibTeX RDF
14	Roderick V. N. Melnik, Kate N. Zotsenko	Computations of Coupled Electronic States in Quantum Dot/Wetting Layer Cylindrical Structures.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
14	Janusz Borkowski, Marek Tudruj, Damian Kopanski	Parallel Program Design Tool with Application Control Methods Based on Global States.	PPAM	2003	DBLP DOI BibTeX RDF
14	Simon Günter, Horst Bunke	Optimizing the Number of States, Training Iterations and Gaussians in an HMM-based Handwritten Word Recognizer.	ICDAR	2003	DBLP DOI BibTeX RDF	training strategy, state number optimization, hidden Markov model (HMM), handwritten word recognition
14	Wayne Wobcke	Modelling PRS-Like Agents' Mental States.	PRICAI	2002	DBLP DOI BibTeX RDF
14	Igor V. Vasiltsov	Evolutionary Technique to Elementary Coding of the Internal States of the State Machine.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
14	Shamimabi Paurobally, Jim Cunningham	Specifying the Processes and States of Negotiation.	AgentLink	2001	DBLP DOI BibTeX RDF	electronic commerce, negotiation, goals, dynamic logic
14	Yasuhiro Takemura, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, Koji Torii	Factor Analysis of Comprehension States in the Learning Phases of a Programming Language.	APSEC	1999	DBLP DOI BibTeX RDF	education, Object-orientated, factor analysis, Java programming language
14	Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham	Improving Witness Search Using Orders on States.	ICCD	1999	DBLP DOI BibTeX RDF
14	Narutoshi Umemoto, Hirotsugu Kakugawa, Masafumi Yamashita	A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	ring orientation, fault-tolerance, Distributed algorithm, self-stabilization, ring network
14	Adrian J. Isles, Ramin Hojati, Robert K. Brayton	Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.	CAV	1998	DBLP DOI BibTeX RDF
14	Michaela Huhn, Peter Niebert, Frank Wallner	Verification Based on Local States.	TACAS	1998	DBLP DOI BibTeX RDF
14	Eddy Fromentin, Michel Raynal	Local States in Distributed Computations: A Few Relations and Formulas.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
14	J. J. Garcia-Luna-Aceves	A Unified Approach to Loop-Free Routing Using Distance Vectors or Link States.	SIGCOMM	1989	DBLP DOI BibTeX RDF
14	Rodney R. Howell	On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.	STACS	1987	DBLP DOI BibTeX RDF
14	Dirk Hauschildt, Rüdiger Valk	Safe states in banker like resource allocation problems.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
14	Philipp M. Glatz, Christian Steger, Reinhold Weiss	TOSPIE2: tiny operating system plug-in for energy estimation.	IPSN	2010	DBLP DOI BibTeX RDF	power states, simulation, wireless sensor networks, design, efficiency, development, energy harvesting, plug-in
14	Stefanos Xefteris, Maria Haritou, Konstantinos Tserpes, Alessandro Serretti, Josep Ramon Llopart, Raffaella Calati, Theodora A. Varvarigou	Analysis of requirements and specifications for a monitoring system to support the self-management of dementia patients at home.	PETRA	2010	DBLP DOI BibTeX RDF	e-health and assistive infrastructures, non-obtrusive monitoring, risk analysis, assisted living, Dementia, quality of life, cognitive states
14	Dan Wu 0005, Chi Hong Cheong, Man Hon Wong 0001	A Snapshot Algorithm for Mobile Ad Hoc Networks.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Distributed snapshots, MANET, consistency, cut, global states