Search results for "states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Héctor Sanvicente Sánchez, Yolanda Solís-Alvarado	Generator of Synthetic Rainfall Time Series through Markov Hidden States.	ICCSA (2)	2008	DBLP DOI BibTeX RDF	multivariate time series analyst, Markov hidden states, hidden Markov model, Time series, Markov process, hydrologic modeling
25	Boris Shishkov, Marten van Sinderen	From User Context States to Context-Aware Applications.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Context states, LAP, SOA, MDA, Business modeling, Context-aware applications, Application modeling
25	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
25	George Georgescu	Bosbach states on fuzzy structures.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Bosbach states, Conditional state, Pseudo-BL algebra
25	Yoshinobu Higami, Yuzo Takamatsu, Kozo Kinoshita	Test sequence compaction for sequential circuits with reset states.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	reset states, test compaction method, single stuck-at fault assumption, unremovable vectors, fault-dropping fault simulation, nonfault-dropping fault simulation, reset signal, test subsequences, logic testing, fault detection, sequential circuits, sequential circuits, automatic test pattern generation, fault simulation, vectors, logic simulation, logic simulation, benchmark circuits, test vectors, signal detection, test sequence compaction
25	Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003	Inductive Properties of States.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	induction, actions, states, automaton, situation calculus
25	Manabu Eto, Danielle Wierengo, Everett M. Rogers	Technology transfer from government R&D laboratories in the United States and Japan.	HICSS (4)	1995	DBLP DOI BibTeX RDF	government R? laboratories, national R? laboratories, private enterprises, CRADAs, person-to-person communication, technology transfer, technology transfer, Japan, research and development management, United States
24	Michel Boyer, Aharon Brodutch, Tal Mor	Extrapolated quantum states, void states and a huge novel class of distillable entangled states.	Soft Comput.	2017	DBLP DOI BibTeX RDF
24	Michel Boyer, Tal Mor	Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States.	TPNC	2014	DBLP DOI BibTeX RDF
24	Irith Pomeranz	Invariant States and Redundant Logic in Synchronous Sequential Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
24	A. Abeyesinghe, Patrick M. Hayden, Graeme Smith 0002, Andreas J. Winter 0002	Optimal Superdense Coding of Entangled States.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
24	Peter Høyer, Mehdi Mhalla, Simon Perdrix	Resources Required for Preparing Graph States.	ISAAC	2006	DBLP DOI BibTeX RDF	Foundations of computing, Algorithms, Quantum Computing
24	Stan Salvador, Philip Chan 0001	Learning States and Rules for Detecting Anomalies in Time Series.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	clustering, segmentation, anomaly detection, time series, cluster validation
24	Quan Zhou	National & municipal government websites: a comparison between the United States and China.	DG.O	2005	DBLP BibTeX RDF
24	Tomoyuki Kimoto, Masato Okada	Coexistence of memory patterns and mixed states in a sparsely encoded associative memory model storing ultrametric patterns.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
24	Wim Meeussen, Jing Xiao 0001, Joris De Schutter, Herman Bruyninckx, Ernesto Staffetti	Automatic Verification of Contact States Taking Into Account Manipulator Constraints.	ICRA	2004	DBLP DOI BibTeX RDF
24	Zhining Liao, Weiru Liu, Jun Hong 0001	Analyzing the Effect of Network States in Query Cost Estimation over the Internet.	IDEAS	2004	DBLP DOI BibTeX RDF
24	Rana El Kaliouby, Peter Robinson 0001	Mind reading machines: automated inference of cognitive mental states from video.	SMC (1)	2004	DBLP DOI BibTeX RDF
24	Tadahiko Murata, Hiroshi Matsumoto	Use of Successful Policies to Relearn for Induced States of Failure in Reinforcement Learning.	KES	2004	DBLP DOI BibTeX RDF
24	Weiru Liu, Zhining Liao, Jun Hong 0001, Zhifang Liao	Determining Remote System Contention States in Query Processing over the Internet .	Web Intelligence	2003	DBLP DOI BibTeX RDF
24	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
24	Jean-Michel Hélary	Observing Global States of Asynchronous Distributed Applications.	WDAG	1989	DBLP DOI BibTeX RDF
23	Steffen Walter 0001, David Hrabal, Andreas Scheck, Henrik Kessler, Gregor Bertrand, Florian Nothdurft, Wolfgang Minker, Harald C. Traue	Individual emotional profiles in Wizard-of-Oz-experiments.	PETRA	2010	DBLP DOI BibTeX RDF	Wizard-of-Oz-experiments, emotional calibration, individual emotional states
23	Feng Yuan, Qiang Xu 0001	On systematic illegal state identification for pseudo-functional testing.	DAC	2009	DBLP DOI BibTeX RDF	illegal states, pseudo-functional testing
23	Bécharia Nadji	Effect of Post-oxidation Annealing on the Electrical Properties of Anodic Oxidized Films in Pure Water.	PATMOS	2005	DBLP DOI BibTeX RDF	Anodic oxidation, Pure water, Fixed Charges, interface States density, Si/SiO2, Electrical characterisation, MOS Structures, Fowler-Nordheim tunnelling
23	Churn-Jung Liau	Belief Reasoning, Revision and Fusion by Matrix Algebra.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Belief states, belief reasoning, belief fusion, multi-agent systems, matrix algebra, belief revision
23	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
23	Lucia Pomello, Carla Simone	A state transformation preorder over a class of EN systems.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	behaviour of systems, observability of states, equivalence, morphisms
22	Jaikumar Radhakrishnan, Martin Rötteler, Pranab Sen	Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem.	Algorithmica	2009	DBLP DOI BibTeX RDF	Random orthonormal measurement bases, Ensemble quantum state distinction, Hidden subgroup problem, Frobenius distance, Quantum Fourier transforms, Gel’fand pairs, Quantum algorithms
22	Yiming Ma, Richard A. Hankins, David Racz	iLoc: a framework for incremental location-state acquisition and prediction based on mobile sensors.	CIKM	2009	DBLP DOI BibTeX RDF
22	Benjamin Aminof, Orna Kupferman, Omer Lev	On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.	LPAR	2008	DBLP DOI BibTeX RDF
22	Jixin Ma 0001	State-based Time-Series Analysis and Prediction.	SNPD (3)	2007	DBLP DOI BibTeX RDF
22	Kheng Lee Koay, Kerstin Dautenhahn, Sarah Woods, Michael L. Walters	Empirical results from using a comfort level device in human-robot interaction studies.	HRI	2006	DBLP DOI BibTeX RDF	comfort level device, human-robot interaction, social interaction, social robot
22	Pranab Sen	Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem.	CCC	2006	DBLP DOI BibTeX RDF
22	Janusz Borkowski	Strongly Consistent Global State Detection for On-line Control of Distributed Applications.	PDP	2004	DBLP DOI BibTeX RDF
22	Tom M. Mitchell	Artificial Intelligence and Human Brain Imaging.	AI	2003	DBLP DOI BibTeX RDF
22	Toshinori Hosokawa, Hiroshi Date, Michiaki Muraoka	A State Reduction Method for Non-Scan Based FSM Testing with Don't Care Inputs Identification Technique.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
22	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
22	Tal Sobol Shikler, Peter Robinson 0001	Classification of Complex Information: Inference of Co-Occurring Affective States from Their Expressions in Speech.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	machine learning, emotions, Affective computing, intelligent systems, cognition, speech, human perception, multiclass, affective states, multilabel
22	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
22	Hieu Trung Huynh, Yonggwan Won	Decoding Cognitive States from fMRI Data Using Single Hidden-Layer Feedforward Neural Networks.	NCM (1)	2008	DBLP DOI BibTeX RDF	Decoding cognitive states, SLFN, RLS-ELM, Neural Network, fMRI
22	Jianhua Zhang, Xing-Yu Wang, Mahdi Mahfouf, Derek A. Linkens	Fuzzy Logic based Identification of Operator Functional States Using Multiple Physiological and Performance Measures.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Operator functional states, automation-enhanced cabin air management system (aCAMS), genetic algorithm, ANFIS, human-machine system
22	An-I Wang, Peter L. Reiher, Geoffrey H. Kuenning	Introducing permuted states for analyzing conflict rates in optimistic replication.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	conflict rates, permuted states, simulation, analytical modeling, optimistic replication
22	Janusz Borkowski	Hierarchical Detection of Strongly Consistent Global States.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Distributed computing, Consistent global states, Distributed detection
22	Marek Tudruj, Janusz Borkowski, Damian Kopanski	Parallel Program Graphical Design with Program Execution Control Based on Global Application States.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Graphical parallel program design, Distributed computing, Consistent global states
22	Irith Pomeranz	On the generation of scan-based test sets with reachable states for testing under functional operation conditions.	DAC	2004	DBLP DOI BibTeX RDF	functional tests, scan design, reachable states
22	Sargur N. Srihari, Edward J. Kuebert	Integration of hand-written address interpretation technology into the United States Postal Service Remote Computer Reader system.	ICDAR	1997	DBLP DOI BibTeX RDF	handwritten address interpretation technology, United States Postal Service, Remote Computer Reader system, letter mail processing, Remote Bar Coding System, image management system, bar code assignment, postal OCR equipment, control structure algorithms, recognizer algorithms, database algorithms, integrated RCR-HWAI system, nationwide deployment, performance, handwriting recognition
22	Richa Agarwala, David Fernández-Baca	A Polynomial-Time Algorithm for the Perfect Phylogeny Problem when the Number of Character States is Fixed	FOCS	1993	DBLP DOI BibTeX RDF	perfect phylogeny problem, character states, NP-complete, polynomial-time algorithm
22	Abhijit Chatterjee, Jacob A. Abraham	Test Generation for Iterative Logic Arrays Based on an N-Cube of Cell States Model.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	cell states model, two-dimensional iterative logic arrays, ILA cell truth table, cell interconnection structure, bilateral direction, signal flow, horizontal axis, logic testing, graphs, test generation, integrated circuit testing, automatic testing, logic arrays, test set, N-cube
22	Robin A. Nicholl	Unreachable States in Model-Oriented Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	unreachable states, model-oriented specifications, detection of errors, bottom-up implementation strategy, formal specification, formal specification, software development, software components
20	Runyao Duan, Yuan Feng 0001, Yu Xin, Mingsheng Ying	Distinguishability of Quantum States by Separable Operations.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
20	Zhenyu Zhang 0004, Wing Kwong Chan, T. H. Tse, Bo Jiang 0001, Xinming Wang	Capturing propagation of infected program states.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	basic block, control-flow edge, edge profile, fault localization
20	Jéferson Campos Nobre, Lisandro Zambenedetti Granville	Consistency of States of Management Data in P2P-Based Autonomic Network Management.	DSOM	2009	DBLP DOI BibTeX RDF
20	Aldo Franco Dragoni	Mental states as multi-context systems.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27
20	Garry Bowen, Nilanjana Datta	Asymptotic Entanglement Manipulation of Bipartite Pure States.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
20	Esko Turunen, Janne Mertanen	States on semi-divisible residuated lattices.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, MV-algebra, Residuated lattice, Probability theory
20	Janusz Borkowski, Marek Tudruj	Global States Monitoring in Execution Control of Parallel Programs.	ISPDC	2008	DBLP DOI BibTeX RDF
20	Blair Lehman, Melanie Matthews, Sidney K. D'Mello, Natalie K. Person	What Are You Feeling? Investigating Student Affective States During Expert Human Tutoring Sessions.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
20	Gerardo Adesso, Alessio Serafini, Fabrizio Illuminati	Continuous-variable quantum information with three-mode Gaussian states: allotment, trade-off, teleportation, and telecloning.	ICQNM	2007	DBLP DOI BibTeX RDF
20	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
20	Yu Sun 0005, Cungen Cao 0001, Yuefei Sui	A Formal Description of Agents' Epistemic States and Environments.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Epistemic state, Ontology, Agent, Environment, Modality
20	Mónica Cardona, M. Àngels Colomer, Mario J. Pérez-Jiménez, Alba Zaragoza	Classifying States of a Finite Markov Chain with Membrane Computing.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
20	José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini	Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams.	MoDELS	2005	DBLP DOI BibTeX RDF
20	Xiaolong Shi, Xin Li, Zheng Zhang, Jin Xu	Improve Capability of DNA Automaton: DNA Automaton with Three Internal States and Tape Head Move in Two Directions.	ICIC (2)	2005	DBLP DOI BibTeX RDF
20	Sukanta Das, Biplab K. Sikdar, Parimal Pal Chaudhuri	Characterization of Reachable/Nonreachable Cellular Automata States.	ACRI	2004	DBLP DOI BibTeX RDF
20	Janusz Borkowski	Strongly Consistent Global States Detection Using Relative Clock Errors.	ISPDC	2003	DBLP DOI BibTeX RDF
20	Hiroyuki Yotsuyanagi, Shinsuke Hata, Masaki Hashizume, Takeomi Tamesada	Sequential Redundancy Removal Using Test Generation and Multiple Unreachable States.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
20	Fritz Hohl	A Framework to Protect Mobile Agents by using Reference States.	ICDCS	2000	DBLP DOI BibTeX RDF
20	Milton Corrêa, Helder Coelho	From Mental States and Architectures to Agents' Programming.	IBERAMIA	1998	DBLP DOI BibTeX RDF
20	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee	An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
20	Chris Wilkerson, Alaa R. Alameldeen, Zeshan Chishti, Wei Wu 0024, Dinesh Somasekhar, Shih-Lien Lu	Reducing cache power with low-cost, multi-bit error-correcting codes.	ISCA	2010	DBLP DOI BibTeX RDF	ecc, edram, idle power, idle states, multi-bit ecc, refresh power, vccmin, dram
20	Clarita Saldarriaga Vargas	Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra.	CASC	2009	DBLP DOI BibTeX RDF	Dengue disease, SEIR model, DSEIR model, differential susceptibility, basic reproduction number, equilibrium states, stability analysis, epidemiology
20	Tibor Horvath, Kevin Skadron	Multi-mode energy management for multi-tier server clusters.	PACT	2008	DBLP DOI BibTeX RDF	reconfigurable clusters, sleep states, dynamic voltage scaling, energy management, dynamic power management, multi-tier applications, internet servers, end-to-end latency
20	Janusz Borkowski, Marek Tudruj	Tuning the Efficiency of Parallel Adaptive Integration with Synchronizers.	PDP	2008	DBLP DOI BibTeX RDF	load balancing, global states, adaptive integration
20	Pierre Hallot, Roland Billen	Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model.	ER Workshops	2008	DBLP DOI BibTeX RDF	spatio-temporal states, life and motion configuration, primitive space, spatio-temporal generalization, natural language interpretation, Spatio-temporal reasoning
20	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
20	Ipke Wachsmuth	'I, Max' - Communicating with an Artificial Agent.	ZiF Workshop	2006	DBLP DOI BibTeX RDF	intentional states, machine consciousness, selfknowledge, emotion, memory, embodied agents
20	Greta Yorsh, Thomas Ball, Mooly Sagiv	Testing, abstraction, theorem proving: better together!	ISSTA	2006	DBLP DOI BibTeX RDF	fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria
20	W. Keith Moser, Mark H. Hansen, Patrick D. Miles, Barbara Johnson, Ronald E. McRoberts	The Virtual Analyst Program: A Small Scale Data-Mining, Error-Analysis and Reporting Function.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	automatic reports, forest inventory, North Central United States, data mining, error checking
20	Dirk W. Hoffmann, Thomas Kropf	Automatic Error Correction of Tri-State Circuits.	ICCD	1999	DBLP DOI BibTeX RDF	Automatic error correction, tri-states, fault diagnosis, BDDs, equivalence checking
20	Hideaki Matsueda	Spatiotemporal Dynamics of Quantum Computing Solid Dipole-Dipole Block Systems.	QCQC	1998	DBLP DOI BibTeX RDF	dipole-dipole interaction, quantum dot array, solid block, quantum CCN gate, ensemble cancellation of errors, quantum entangled pure states
20	Kam Hong Shum	Fault tolerant cluster computing through replication.	ICPADS	1997	DBLP DOI BibTeX RDF	fault tolerant cluster computing, runtime overhead, fault tolerance schemes, checkpoint states, fault tolerant model, Fujitsu AP3000 multi-processor machine, performance evaluation, replication, workstation clusters, workstation cluster, fault recovery, resource consumption, program termination
20	Joseph D. Blackburn, Gary D. Scudder, Luk N. Van Wassenhove	Improving Speed and Productivity of Software Development: A Global Survey of Software Developers.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	global performance comparisons, software speed and productivity, management factors, Japan and the United States, Software engineering, software development, empirical research, Europe
20	Jin-Tai Yan	A simple yet effective genetic approach for the orientation assignment on cell-based layout.	VLSI Design	1996	DBLP DOI BibTeX RDF	genetic approach, orientation assignment, cell-based layout, total wire length minimisation, placement phase, routing area reduction, orientation states, vertical orientation bit, horizontal orientation bit, genetic algorithms, VLSI, VLSI design, network routing, circuit layout CAD, integrated circuit layout
20	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal.	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
20	William L. Bradley, Ranga Vemuri	Transformations for functional verification of synthesized designs.	VLSI Design	1995	DBLP DOI BibTeX RDF	low-level functional verification, synthesized designs, clocking mechanisms, provably equivalent model, hierarchical network of modules, reduced state set, de-phase transform, align transform, algorithm, formal verification, transforms, transforms, logic CAD, clocks, hierarchical system, reachable states
20	Jair Jehuda, Gilad Koren, Daniel M. Berry	A time-sharing architecture for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	time-sharing systems, time-sharing architecture, dynamic multiple job systems, shared-memory multi-processor platforms, multiple states, near-optimal mode selection, reliable real-time time-sharing, job-oriented strategy, best-effort system values, dynamic critical task sets, complex task characteristics, real-time systems, resource allocation, shared memory systems, processor scheduling, portability, dynamic load-balancing, complex real-time systems, divide-and-conquer approach
20	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
20	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
19	Alauddin Ahmed, Atiqur Rahman, Mohammed Anwer, Nazmul Haque, Morshed U. Chowdhury	A Comparison of Bipartite N-Qubit States to Classify Entangled States under Symmetric Consideration.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
19	Irith Pomeranz, Sudhakar M. Reddy	State persistence: a property for guiding test generation.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	broadside tests, test generation, transition faults, scan-based tests
19	Axel Legay	T(O)RMC: A Tool for (omega)-Regular Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
19	Yi Ding, Guoliang Fan	Segmental Hidden Markov Models for View-based Sport Video Analysis.	CVPR	2007	DBLP DOI BibTeX RDF
19	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	2007	DBLP DOI BibTeX RDF
19	Hailin Feng, Chenxi Shao, Zicai Wang	Using Qualitative Description for the Dynamic Analysis of Virus Inflection.	SEAL	2006	DBLP DOI BibTeX RDF
19	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
19	Sally I. McClean, Bryan W. Scotney, Steve Robinson	Conceptual Clustering of Heterogeneous Gene Expression Sequences.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	clustering, bioinformatics, knowledge discovery, schema mapping, sequence processing
19	Ioannis Parissis, Jérôme Vassy	Thoroughness of Specification-Based Testing of Synchronous Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
19	Sally I. McClean, Bryan W. Scotney, Fiona Palmer	Conceptual Clustering of Heterogeneous Sequences via Schema Mapping.	ISMIS	2002	DBLP DOI BibTeX RDF
19	Dmitri A. Dolgov, Edmund H. Durfee	Satisficing strategies for resource-limited policy search in dynamic environments.	AAMAS	2002	DBLP DOI BibTeX RDF