Search results for "states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	George Varghese, Mahesh Jayaram	The fault span of crash failures.	J. ACM	2000	DBLP DOI BibTeX RDF
19	Kent L. Einspahr, Shashank K. Mehta, Sharad C. Seth	A synthesis for testability scheme for finite state machines using clock control.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
19	Sameer Sharma, Michael S. Hsiao	Partial Scan Using Multi-Hop State Reachability Analysis.	VTS	1999	DBLP DOI BibTeX RDF
19	Hsu-Chun Yen	Priority Conflict-Free Petri Nets.	Acta Informatica	1998	DBLP DOI BibTeX RDF
19	Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin	State-Space Caching Revisited.	CAV	1992	DBLP DOI BibTeX RDF
17	Adam Bennett, Matthew Coxon, Katerina Mania	The effect of stereo and context on memory and awareness states in immersive virtual environments.	APGV	2010	DBLP DOI BibTeX RDF	perceptual fidelity, spatial awareness, simulations
17	Eric Bodden	Efficient hybrid typestate analysis by determining continuation-equivalent states.	ICSE (1)	2010	DBLP DOI BibTeX RDF	typestate analysis, static analysis, runtime monitoring
17	Ghanim Ullah, John R. Cressman Jr., Ernest Barreto, Steven J. Schiff	The influence of sodium and potassium dynamics on excitability, seizures, and the stability of persistent states: II. Network and glial dynamics.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Glia buffering, Persistent activity, Neuronal networks, Instability, Seizures
17	Masood Mehmood Khan, Robert D. Ward, Michael Ingleby	Classifying pretended and evoked facial expressions of positive and negative affective states using infrared measurement of skin temperature.	ACM Trans. Appl. Percept.	2009	DBLP DOI BibTeX RDF	Physiology-based automated affect recognition, affective computing and thermal infrared imaging, facial expression classification
17	Mitsuhiro Kamezaki, Hiroyasu Iwata, Shigeki Sugano	Primitive static states for intelligent operated-work machines.	ICRA	2009	DBLP DOI BibTeX RDF
17	Ross Duncan, Simon Perdrix	Graph States and the Necessity of Euler Decomposition.	CiE	2009	DBLP DOI BibTeX RDF	graphical calculi, quantum computation, monoidal categories
17	Lianzhen Liu, Xiangyang Zhang	States on R0 algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	R 0 algebra, MV algebra, State
17	Rakesh Kumar Sinha	Artificial Neural Network and Wavelet Based Automated Detection of Sleep Spindles, REM Sleep and Wake States.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Sleep-wake classification, ANN, Power spectrum, Wavelet coefficients
17	Cui Xu, Ying Zheng, Zengfu Wang	Eye states detection by boosting Local Binary Pattern Histogram features.	ICIP	2008	DBLP DOI BibTeX RDF
17	Jigui Jian, Yanjun Shen, Hui Yu 0003	Synchronization of Rikitake Chaotic Attractor via Partial System States.	ICYCS	2008	DBLP DOI BibTeX RDF
17	Ruini Xue, Wenguang Chen, Weimin Zheng	CprFS: a user-level file system to support consistent file states for checkpoint and restart.	ICS	2008	DBLP DOI BibTeX RDF	checkpoint and restart, file checkpointing, fault tolerance, parallel computing
17	Martin Pelikan, Helmut G. Katzgraber, Sigismund Kobe	Finding ground states of Sherrington-Kirkpatrick spin glasses with hierarchical boa and genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	hBOA, sherrington-kirkpatrick spin glass, sk spin glass, genetic algorithm, evolutionary computation, branch and bound, estimation of distribution algorithms, EDA, hierarchical boa
17	Akihiro Miyata, Takefumi Hayashi, Shota Yamamoto, Masaki Hayashi, Hiroshi Shigeno, Ken-ichi Okada	A Proposal of Indexing Conference Movies with Thinking States.	C5	2007	DBLP DOI BibTeX RDF
17	George F. Viamontes, Igor L. Markov, John P. Hayes	Checking equivalence of quantum circuits and states.	ICCAD	2007	DBLP DOI BibTeX RDF
17	Kui Cai 0001, Kees A. Schouhamer Immink	On the Number of Encoder States of a Type of RLL Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Anatolij Dvurecenskij, Jirí Rachunek	Bounded commutative residuated l-monoids with general comparability and states.	Soft Comput.	2006	DBLP DOI BibTeX RDF	AMS classification: 06D35, 03G25, 28E15, 03B50, 06F05
17	Tomás Kroupa	Representation and extension of states on MV-algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B52, 28E99, 03E72
17	Janusz Borkowski, Damian Kopanski, Marek Tudruj	Usage of Global States-Based Application Control.	ISPDC	2006	DBLP DOI BibTeX RDF
17	Burke T. Ward, Janice C. Sipior, Wayne G. Bremser, David B. McGinty	A comparison of United States and European union taxation of e-commerce.	ICEC	2006	DBLP DOI BibTeX RDF	e-commerce taxation, internet taxation, sales tax, use tax, value added tax
17	Aditi Roy, Shamik Sural, Jayanta Mukherjee 0001, Arun K. Majumdar	Modeling of Echocardiogram Video Based on Views and States.	ICVGIP	2006	DBLP DOI BibTeX RDF
17	Dimitris Kugiumtzis, Angeliki Papana, Alkiviadis Tsimpiris, Ioannis Vlachos, Pål G. Larsson	Time Series Feature Evaluation in Discriminating Preictal EEG States.	ISBMDA	2006	DBLP DOI BibTeX RDF
17	Young-Suk Shin	Facial Expression Recognition in Various Internal States Using Independent Component Analysis.	AMDO	2006	DBLP DOI BibTeX RDF
17	Charles H. Bennett, Patrick M. Hayden, Debbie W. Leung, Peter W. Shor, Andreas J. Winter 0002	Remote preparation of quantum states.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Jinjun Chen, Yun Yang 0001	Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems.	e-Science	2005	DBLP DOI BibTeX RDF
17	Thomas Ågotnes, Michal Walicki	Complete Axiomatizations of Finite Syntactic Epistemic States.	DALT	2005	DBLP DOI BibTeX RDF
17	Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel	Mediation Using m-States.	ECSQARU	2005	DBLP DOI BibTeX RDF
17	Boris Konev, Frank Wolter, Michael Zakharyaschev	Temporal Logics over Transitive States.	CADE	2005	DBLP DOI BibTeX RDF
17	Thomas Debus, Pierre E. Dupont	Distinguishability and Identifiability of Contact States.	ICRA	2004	DBLP DOI BibTeX RDF
17	Keith Noto, Mark Craven	Learning Regulatory Network Models that Represent Regulator States and Roles.	Regulatory Genomics	2004	DBLP DOI BibTeX RDF
17	Guangming Xing	A simple way to construct NFA with fewer states and transitions.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF
17	Andrew Stutzman	Campus planning portfolio: using the peopleSoft portal to develop a planning website for middle states accreditation.	SIGUCCS	2004	DBLP DOI BibTeX RDF	peopleSoft enterprise portal 8.8, planning portfolio, portal, accreditation
17	Zhancheng Li, Minfen Shen, Patch Beadle	Classification of EEG Signals Under Different Brain Functional States Using RBF Neural Network.	ISNN (2)	2004	DBLP DOI BibTeX RDF
17	Xiaodong Zhuang, Qingchun Meng, Bo Yin, Yun Gao	Reinforcement learning based on spatial and temporal association of states.	SMC (6)	2004	DBLP DOI BibTeX RDF
17	Mohammad Awedh, Fabio Somenzi	Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.	FMCAD	2004	DBLP DOI BibTeX RDF
17	Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta 0001	Online strategies for dynamic power management in systems with multiple power-saving states.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	power management, Dynamic, online algorithms
17	Janusz Borkowski, Marek Tudruj, Damian Kopanski	Graphical Design Tool for Parallel Programs with Execution Control Based on Global Application States.	ISPDC	2003	DBLP DOI BibTeX RDF
17	Souradyuti Paul, Bart Preneel	Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator.	INDOCRYPT	2003	DBLP DOI BibTeX RDF
17	Tim French 0002	Quantified Propositional Temporal Logic with Repeating States.	TIME	2003	DBLP DOI BibTeX RDF
17	Eva Hudlicka, Michael D. McNeese	Assessment of User Affective and Belief States for Interface Adaptation: Application to an Air Force Pilot Task.	User Model. User Adapt. Interact.	2002	DBLP DOI BibTeX RDF	affect adaptation, affect assessment, human-computer interaction, user modeling, affective computing, adaptive interface, aviation
17	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	Privacy and Interaction in Quantum Communication Complexity and a Theorem about the Relative Entropy of Quantum States.	FOCS	2002	DBLP DOI BibTeX RDF
17	Ajith K. Narayanan	Realms and states: a framework for location aware mobile computing.	Workshop Mobile Commerce	2001	DBLP DOI BibTeX RDF	context service, realms, mobile computing, context aware, location aware, location privacy, location service
17	Jérôme Lang, Pierre Marquis, Mary-Anne Williams	Updating Epistemic States.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
17	Marc S. Atkin, Paul R. Cohen	Using simulation and critical points to define states in continuous search spaces.	WSC	2000	DBLP DOI BibTeX RDF
17	Matthias Scheutz	Surviving in a Hostile Multi-agent Environment: How Simple Affective States Can Aid in the Competition for Resources.	AI	2000	DBLP DOI BibTeX RDF
17	Roman Bittner, Pavel Smrcka, Petr Vysoký, Karel Hána, Lubomir Pousek, Petr Schreib	Detecting of Fatigue States of a Car Driver.	ISMDA	2000	DBLP DOI BibTeX RDF
17	Søren Forchhammer	Image Coding Using Markov Models with Hidden States.	Data Compression Conference	1999	DBLP DOI BibTeX RDF
17	Helge Rosé, Werner Ebeling, Torsten Asselmeyer	The Density of States - A Measure of the Difficulty of Optimisation Problems.	PPSN	1996	DBLP DOI BibTeX RDF
17	Mark Temte	A Framework for Accessing Data in Models with Many Discrete States (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
17	Asma Moubaiddin, Nadim Obeid	Partial information basis for agent-based collaborative dialogue.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Partial information states, Agent, Theorem proving, Argument, Dialogue, Three-valued logic, Nonmonotonic
17	Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks	Typestate-oriented programming.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	programming language, objects, types, states, permissions, typestate, paradigms
17	Wolfgang Löhr, Nihat Ay	Non-sufficient Memories That Are Sufficient for Prediction.	Complex (1)	2009	DBLP DOI BibTeX RDF	causal states, ?-machine, hidden Markov models, HMM, prediction, computational mechanics
17	Alexander Knauf, Thomas C. Schmidt, Matthias Wählisch	Scalable distributed conference control in heterogeneous peer-to-peer scenarios with SIP.	MobiMedia	2009	DBLP DOI BibTeX RDF	ID locator split, conference event states, distributed conference control, mobile multimedia communication, tightly coupled SIP conferencing, P2P systems
17	Corrado Loglisci, Donato Malerba	A Temporal Data Mining Approach for Discovering Knowledge on the Changes of the Patient's Physiology.	AIME	2009	DBLP DOI BibTeX RDF	Physiological Data, Events, States, Temporal Data Mining
17	Sergio Tafur, Ivan A. Mikhailov, Kevin D. Belfield, Artëm E. Masunov	Predictions of Two Photon Absorption Profiles Using Time-Dependent Density Functional Theory Combined with SOS and CEO Formalisms.	ICCS (2)	2009	DBLP DOI BibTeX RDF	conjugated chromophores, two-photon absorption, time-dependent density functional theory, coupled electronic oscillators, sum over states, Tamm-Dancoff approximation, structure-activity relationship
17	Karim El-Laithy, Martin Bogdan	Synchrony State Generation in Artificial Neural Networks with Stochastic Synapses.	ICANN (1)	2009	DBLP DOI BibTeX RDF	stochastic synapses, neuronal states, Neural network, temporal synchronization
17	Hans Rott	A New Psychologism in Logic? Reflections from the Point of View of Belief Revision.	Stud Logica	2008	DBLP DOI BibTeX RDF	doxastic states, logic, Psychologism, belief revision, normativity, belief change
17	Yun Liang 0001, Tulika Mitra	Static analysis for fast and accurate design space exploration of caches.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	probabilistic cache states, cache, design space exploration
17	Bruce A. Ralston, Joshua A. Streufert	Efficient generation of area thematic maps in KML.	GIS	2008	DBLP DOI BibTeX RDF	KMZ, United States census, SQL, mashups, Google maps, Google earth, TIGER, KML
17	Karina Gibert, Gustavo Rodríguez Silva	Identification of More Characteristic Dynamic Patterns in a WWTP by ClBR×E.	CIARP	2008	DBLP DOI BibTeX RDF	wastewater, clustering, dynamics, rules, states
17	Viknashvaran Narayanasamy, Kok Wai Wong	Mapping resources to state functions in massively multiplayer online games.	DIMEA	2007	DBLP DOI BibTeX RDF	state transition functions, games, resources, MMOG, states
17	Kyootai Lee, Kailash Joshi, Ronan T. McIvor	Understanding multicultural differences in online satisfaction.	CPR	2007	DBLP DOI BibTeX RDF	South Korea, United Kingdom, online consumer satisfaction model, internet, cultural differences, online shopping, United States, consumer satisfaction
17	DaeEun Kim	A quantitative analysis of memory requirement and generalization performance for robotic tasks.	GECCO	2007	DBLP DOI BibTeX RDF	generalization behaviour, perceptual aliasing, evolutionary robotics, evolutionary multiobjective optimization, internal states
17	Aurélien Naldi, Denis Thieffry, Claudine Chaouiya	Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks.	CMSB	2007	DBLP DOI BibTeX RDF	regulatory circuits, stable states, decision diagrams, logical modelling, Regulatory networks
17	Uwe Meixner	Causation in a New Old Key.	Stud Logica	2004	DBLP DOI BibTeX RDF	event-causation, agent-causation, states od affaires, causal priority, causal necessity, causal predicate, causal sentence connective, logic of causation, temporal modal logic, events
17	Mohamed Mosbah 0001, Rodrigue Ossamy	Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing.	ENC	2004	DBLP DOI BibTeX RDF	distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection
17	Carlos Rubén de la Mora-Basáñez, Carlos Gershenson, Angelica Garcia-Vega	Representation Development and Behavior Modifiers.	IBERAMIA	2004	DBLP DOI BibTeX RDF	representation development, behavior modifiers, biological motivations, Closure, affective states
17	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
17	Eerke A. Boiten	Loose Specification and Refinement in Z.	ZB	2002	DBLP DOI BibTeX RDF	model containment, states-and-operations, loose specification, semantics, refinement, Z
17	Gunnar Johannsen	Auditory Displays in Human-Machine Interfaces of Mobile Robots for Non-Speech Communication with Humans.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	robot-movement sounds, sound communication of states and intentions, directional sounds, robot sound tracks, simulated robot environment, mobile service robots, multimedia process control, auditory displays, human-machine interfaces, auditory perception
17	Jinhai Cai, Zhi-Qiang Liu	Integration of Structural and Statistical Information for Unconstrained Handwritten Numeral Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	hybrid classifiers, outer contours, chain code-based features, macro-states, hidden Markov model, structural model, Handwritten numeral recognition
17	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee	Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	binary decision, encoding density, multi-phase FSM, product machine, sequential hardware equivalence, diagram, steady states
17	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
17	Péter Gács	Reliable Cellular Automata with Self-Organization.	FOCS	1997	DBLP DOI BibTeX RDF	noisy cellular automaton, fault-tolerant cellular automaton, probabilistic cellular automata, interacting particle system, Gibbs states, fault tolerance, reliability, cellular automata, cellular automata, self-organization, self organization, error-correction, ergodicity, renormalization
17	Tsuneo Yamaura	Can a software project be like Einstein?.	COMPSAC	1997	DBLP DOI BibTeX RDF	programmer collaboration, software development, organizations, software development management, software project, software quality assurance, Japan, United States
17	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
17	Rosa Di Felice, Maria Laura Mantovani, Carlo Maria Bertoni	Ab-initio Molecular Dynamics Calculations: A Parallel Implementation of the Car-Parrinello Method.	PDP	1996	DBLP DOI BibTeX RDF	ab initio calculations, ab-initio molecular dynamics calculations, parallel Car-Parrinello method, first principles molecular dynamics simulations, CRAY-T3D computer, Single Program Multiple Data level, electronic wavefunctions, condensed matter system, plane-wave basis, electronic states, parallel algorithms, fast Fourier transforms, fast Fourier transforms, Parallel Virtual Machine, physics computing, wave functions, molecular dynamics method
17	Catherine Meadows 0001	Language generation and verification in the NRL protocol analyzer.	CSFW	1996	DBLP DOI BibTeX RDF	language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation
17	Poh Yee Wong	A Team-Based Process Improvement Initiative.	COMPSAC	1996	DBLP DOI BibTeX RDF	team-based process improvement initiative, Information Technology Institute, research and development environment, IS0 9000, team participation, software quality, software quality, project management, project management, software development management, human resource management, organisation, personnel, United States, research initiatives, quality management system
17	H. Fatih Ugurdag, Thomas E. Fuhrman	Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath.	ICCD	1996	DBLP DOI BibTeX RDF	Autocircuit, clock edge general behavioral synthesis system, physical datapaths, next-generation synthesis tool, behavioral HDL input descriptions, data-flow representations, use-trees, raw-states, word-oriented synthesis, unique parameterized netlist representation, high level synthesis, high-level design
17	Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen	Identifying Untestable Faults in Sequential Circuits.	IEEE Des. Test Comput.	1995	DBLP DOI BibTeX RDF	initializable, invalid states, controllability, test generation, untestable faults
17	Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono	A Characterization of Kleenean Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	Kleenean functions, fuzzy logic functions, constants, indeterminate truth value condition handling, ambiguous states, fuzzy logic, functions, fuzzy set theory, multivalued logic
17	Takao Waho	Resonant Tunneling Transistor and Its Application to Multiple-Valued Logic Circuits.	ISMVL	1995	DBLP DOI BibTeX RDF	resonant tunnelling transistors, resonant tunneling transistors, multiple-valued logic circuits, multiple stable states, coupled-quantum-well, monostable-multistable logic circuits, multivalued logic circuits, resonant tunneling diodes, circuit stability
17	Dorothy E. Leidner, Sven A. Carlsson, Joyce J. Elam	A cross-cultural study of executive information systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	research questions, perceived impact, US executives, problem identification speed, decision making speed, Swedish executives, analytic decision process, decision making behaviors, IT, cultural differences, EIS, management information systems, United States, government policies, professional aspects, Sweden, executive information systems, cross-cultural study
17	Gilbert Deléage, Christophe Geourjon	Intensive sequence comparisons to predict protein secondary structures. Integration into a software package: ANTHEPROT.	HICSS (5)	1995	DBLP DOI BibTeX RDF	intensive sequence comparisons, ANTHEPROT, structural class assignment, self-optimised prediction method, SOPM, protein chains, 3-states description, secondary structure content, database, database management systems, biology computing, proteins, software packages, software package, correlation coefficients, secondary structure, chemistry computing, protein secondary structure prediction, amino acids
17	Meral Binbasioglu, Tung Bui 0001, Pai-Chun Ma	An action-resource language for argumentation: the case of softwood lumber negotiation.	HICSS (4)	1995	DBLP DOI BibTeX RDF	wood processing, action-resource language, softwood lumber negotiation, group problem, action resource model, negotiation problems, negotiation processes, action resource argumentation language, groupware, decision support systems, negotiation, argumentation, group decision support systems, negotiation support systems, United States, resource allocation problem, Canada
17	Sargur N. Srihari, Yong-Chul Shin, Vemulapati Ramanaprasad, Dar-Shyang Lee	Name and Address Block Reader system for tax form processing.	ICDAR	1995	DBLP DOI BibTeX RDF	tax preparation, Name and Address Block Reader system, tax form processing, automated forms processing, integrated real time system, Internal Revenue Service, NABR system, hand printed address block images, machine printed addresses, address block extraction, label detection, hand print/machine print discrimination, address parsing, postal database lookup, loosely coupled multiprocessing architecture, real-time systems, feature extraction, character recognition, character recognition, multiprocessing systems, handwriting recognition, document image processing, document analysis, word recognition, government data processing, financial data processing, application software, document recognition, United States, connected component analysis
17	Fumitaka Kimura, Yasuji Miyake, Malayappan Shridhar	Handwritten ZIP code recognition using lexicon free word recognition algorithm.	ICDAR	1995	DBLP DOI BibTeX RDF	handwritten ZIP code recognition, lexicon free word recognition algorithm, word recognition algorithm, end to end ZIP code recognition system, tilt correction, ZIP code location, address block image samples, United States mail pieces, isolated numeral recognition, manually extracted ZIP code recognition, document image processing, line segmentation, word segmentation, slant correction, numeral string recognition
17	Anish Arora, Mohamed G. Gouda	Closure and Convergence: A Foundation of Fault-Tolerant Computing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	legal states, verification, formal verification, fault-tolerant computing, fault tolerant computing, convergence, closure
17	A. C. Cem Say, Selahattin Kuru	Improved Filtering for the QSIM Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	spurious predictions, qualitative simulation algorithm, interval corresponding values, inconsistent states, simulation, filtering, time complexities, inference mechanisms, filtering and prediction theory, space complexities, QSIM
17	Zhijun Tong, Richard Y. Kain, W. T. Tsai	Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loosely synchronized clocks, state-save synchronizationmessages, interprocess communication protocol, state-save progressinformation, message frames, consistent system states, rollback recovery algorithm, distributed systems, protocols, distributed processing, encodes, programming theory, clock drifts
17	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
17	Richard A. DeMillo, Richard J. Lipton	Defining Software by Continuous, Smooth Functions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	discrete state transition function, continuous smooth function, legal states, classical analysis, software engineering, software engineering, computational complexity, complexity, virtual machine, software system
17	George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
16	Lawrence J. Smolinsky, Seungwon Yang	Validity and bias of indicators of international collaboration: A theoretical analysis with an empirical study of Ukraine-Russia-United States and China-United States.	J. Informetrics	2024	DBLP DOI BibTeX RDF
16	Mohammad Khazaei, Khadijeh Raeisi, Sampsa Vanhatalo, Filippo Zappasodi, Silvia Comani, Anton Tokariev	Neonatal cortical activity organizes into transient network states that are affected by vigilance states and brain injury.	NeuroImage	2023	DBLP DOI BibTeX RDF