Search results for "p-states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Conrado Daws, Piotr Kordy	Symbolic Robustness Analysis of Timed Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
13	Vishnu C. Vimjam, Michael S. Hsiao	Fast illegal state identification for improving SAT-based induction.	DAC	2006	DBLP DOI BibTeX RDF	learning, ATPG, SAT, induction
13	Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan 0001, Chiara Ghidini, Luciano Serafini	Verifying space and time requirements for resource-bounded agents.	AAMAS	2006	DBLP DOI BibTeX RDF	MBP, resource-bounded agents
13	Claudius Gros	Self-sustained Thought Processes in a Dense Associative Network.	KI	2005	DBLP DOI BibTeX RDF
13	Biplab K. Sikdar, Arijit Sarkar, Samir Roy, Debesh K. Das	Synthesis of Testable Finite State Machine Through Decomposition.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	emitability, FSM state encoding, decomposition, reachability, degree-of-freedom
13	Junna Kuramochi, Yasubumi Sakakibara	Intensive In Vitro Experiments of Implementing and Executing Finite Automata in Test Tube.	DNA	2005	DBLP DOI BibTeX RDF
13	Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle	Error Detection Using BMC in a Parallel Environment.	CHARME	2005	DBLP DOI BibTeX RDF
13	Martin Gogolla	Exploring ER and RE syntax and semantics with metamodel object diagrams.	Metainformatics	2005	DBLP DOI BibTeX RDF
13	Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi	A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays.	UC	2005	DBLP DOI BibTeX RDF
13	Ying Zhao 0011, Wanlei Zhou 0001, Yingying Zhang, E. J. Lanham, Jiumei Huang	Clock Synchronization State Graphs Based on Clock Precision Difference.	ICA3PP	2005	DBLP DOI BibTeX RDF	Precision Difference, State graphics, Self-Adaptive, Clock Synchronization
13	Tianhai Tian, Kevin Burrage	A Mathematical Model for Genetic Regulation of the Lactose Operon.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
13	Ajay D. Kshemkalyani, Bin Wu 0014	Nonintrusive Snapshots Using Thin Slices.	EUC	2005	DBLP DOI BibTeX RDF
13	May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui	Properties and scopes in web model checking.	ASE	2005	DBLP DOI BibTeX RDF	model checking, formal methods, temporal logic, web applications, linear temporal logic
13	Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson 0001	Using Forward Reachability Analysis for Verification of Lossy Channel Systems.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	model checking, automata, protocol verification, infinite-state systems
13	Rajeev Alur, Sampath Kannan, Salvatore La Torre	Polyhedral Flows in Hybrid Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	polyhedral dynamics, hybrid systems, reachability analysis
13	Juan A. Carrasco	Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
13	Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena	Regular Model Checking for LTL(MSO).	CAV	2004	DBLP DOI BibTeX RDF
13	Maher N. Mneimneh, Karem A. Sakallah, John Moondanos	Preserving synchronizing sequences of sequential circuits after retiming.	ASP-DAC	2004	DBLP DOI BibTeX RDF
13	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
13	Zhihong Zeng, Jilin Tu, Ming Liu 0009, Tong Zhang 0005, Nicholas Rizzolo, ZhenQiu Zhang, Thomas S. Huang, Dan Roth, Stephen E. Levinson	Bimodal HCI-related affect recognition.	ICMI	2004	DBLP DOI BibTeX RDF	affective computing, emotion recognition, multimodal human-computer interaction, affect recognition
13	Marshall F. Tappen, Bryan C. Russell, William T. Freeman	Efficient Graphical Models for Processing Images.	CVPR (2)	2004	DBLP DOI BibTeX RDF
13	Bernard Boigelot, Axel Legay, Pierre Wolper	Omega-Regular Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
13	José Antonio Montero, Luis Enrique Sucar	Feature Selection for Visual Gesture Recognition Using Hidden Markov Models.	ENC	2004	DBLP DOI BibTeX RDF
13	Scott Aaronson	Multilinear formulas and skepticism of quantum computing.	STOC	2004	DBLP DOI BibTeX RDF	matrix rank, multilinear formula size, error-correcting codes, quantum computing
13	Beatrice Giglio, Henry P. Wynn	Alexander Duality and Moments in Reliability Modelling.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
13	Paulo Salvador 0001, Rui T. Valadas, António Pacheco 0001	Multiscale Fitting Procedure Using Markov Modulated Poisson Processes.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	self-similar, traffic modeling, long-range dependence, autocorrelation, MMPP
13	Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso	Algorithmic Improvements in Regular Model Checking.	CAV	2003	DBLP DOI BibTeX RDF
13	Nguyen Truong Thang, Takuya Katayama	Towards a Sound Modular Model Checking of Collaboration-Based Software Designs.	APSEC	2003	DBLP DOI BibTeX RDF
13	Alberto Bertoni, Carlo Mereghetti, Beatrice Palano	Lower Bounds on the Size of Quantum Automata Accepting Unary Languages.	ICTCS	2003	DBLP DOI BibTeX RDF	quantum information theory, quantum automata
13	Stephen Grossberg	The Brain's Cognitive Dynamics: The Link between Learning, Attention, Recognition, and Consciousness.	KES	2003	DBLP DOI BibTeX RDF
13	Helen M. Meng, Po-Chui Luk, Kui Xu 0003, Fuliang Weng	GLR parsing with multiple grammars for natural language queries.	ACM Trans. Asian Lang. Inf. Process.	2002	DBLP DOI BibTeX RDF	generalized LR parsing, grammar partitioning, lattice with multiple granularities, parser composition
13	Veljko Potkonjak, Jelena Radojicic, Spyros G. Tzafestas	Modeling Robot "Psycho-Physical" State and Reactions - A New Option in Human-Robot Communication Part 1: Concept and Background.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	psycho-physical state, gestural language, robot fatigue, redundancy, humanoids, human-robot communication
13	Loon-Been Chen, I-Chen Wu	An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Conjunctive predicate, distributed system, distributed debugging, global predicate detection
13	Peter Buchholz 0001	An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets.	DSN	2002	DBLP DOI BibTeX RDF
13	Shankara Narayanan Krishna, Raghavan Rama 0001	On The Power of Tissue P Systems Working in the Minimal Mode.	UMC	2002	DBLP DOI BibTeX RDF
13	Tapio Elomaa	Partition-Refining Algorithms for Learning Finite State Automata.	ISMIS	2002	DBLP DOI BibTeX RDF
13	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
13	Yonghong Tian 0001, TieJun Huang 0001, Wen Gao 0001	Quantitatively evaluating the influence of online social interactions in the community-assisted digital library.	JCDL	2002	DBLP DOI BibTeX RDF	community-assisted digital library, online social interactions, statistical feature extraction, the influence model
13	Jessica Faivre, Roger Nkambou, Claude Frasson	Integrating Adaptive Emotional Agents in ITS.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
13	Cezar Câmpeanu, Andrei Paun	The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata.	CIAA	2002	DBLP DOI BibTeX RDF
13	Yu Lei 0001, Kuo-Chung Tai	Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.	ISSRE	2002	DBLP DOI BibTeX RDF
13	Samir Roy, Biplab K. Sikdar, Monalisa Mukherjee, Debesh K. Das	Degree-of-Freedom Analysis for Sequential Machines Targeting BIST Quality and Gate Area.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	FSM synthesis, emitability, BIST, reachability, degree of freedom
13	Hiroshi Umeo, Masashi Maeda, Norio Fujiwara	An Efficient Mapping Scheme for Embedding Any One-Dimensional Firing Squad Synchronization Algorithm onto Two-Dimensional Arrays.	ACRI	2002	DBLP DOI BibTeX RDF
13	Frank Guerin, Jeremy Pitt	Denotational semantics for agent communication language.	Agents	2001	DBLP DOI BibTeX RDF
13	Claudio Baiocchi	Three Small Universal Turing Machines.	MCU	2001	DBLP DOI BibTeX RDF
13	Yves Moinard	General Preferential Entailments as Circumscriptions.	ECSQARU	2001	DBLP DOI BibTeX RDF
13	João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira	Multi-dimensional Dynamic Knowledge Representation.	LPNMR	2001	DBLP DOI BibTeX RDF
13	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
13	Richard Potter	Computation Scrapbooks of Emacs Lisp Runtime State.	HCC	2001	DBLP DOI BibTeX RDF
13	Xiao-Tao Chen, Wei-Kang Huang, Nohpill Park, Fred J. Meyer, Fabrizio Lombardi	Novel Approaches for Fault Detection in Two-Dimensional Combinational Arrays.	DFT	2001	DBLP DOI BibTeX RDF
13	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	Planning under Incomplete Knowledge.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Hsing-Chung Liang, Chung-Len Lee	An Effective Methodology for Mixed Scan and Reset Design Based on Test Generation and Structure of Sequential Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF
13	Chanik Park, JaeWoong Chung, Soonhoi Ha	Extended Synchronous Dataflow for Efficient DSP System Prototyping.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	DSP system prototyping, Synchronous Dataflow
13	S. Ramesh	Efficient Translation of Statecharts to Hardware Circuits.	VLSI Design	1999	DBLP DOI BibTeX RDF
13	Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson 0001	On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels.	CAV	1998	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
13	Louis Luh, John Choma Jr., Jeffrey T. Draper	A Continuous-Time Switched-Current Sigma-Delta Modulator with Reduced Loop Delay.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	Sigma-Delta Modulator, Analog-to-Digital Conversion
13	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Fast Algorithms for Static Compaction of Sequential Circuit Test Vectors.	VTS	1997	DBLP DOI BibTeX RDF	inert subsequence, recurrence subsequence, test set compaction
13	Isabelle Vernier-Mounier	Symbolic Executions of Symmetrical Parallel Programs.	PDP	1996	DBLP DOI BibTeX RDF	parameterized programs, Petri net, symbolic execution
13	Kai-Hau Yeung, Tak-Shing Yum	State reduction in the exact analysis of fork/join queueing systems with homogeneous exponential servers.	ICPADS	1996	DBLP DOI BibTeX RDF	fork/join queueing systems, homogeneous exponential servers, standard Markov model, performance evaluation, parallel processing, queueing theory, synchronisation, state reduction, exact analysis
13	Inhye Kang, Insup Lee 0001	An Efficient State Space Generation for Analysis of Real-Time Systems.	ISSTA	1996	DBLP DOI BibTeX RDF
13	Andrew D. Wilson, Aaron F. Bobick	A State-Based Technique for the Summarization and Recognition of Gesture.	ICCV	1995	DBLP DOI BibTeX RDF	mouse controllers (computers), state-based technique, prototype trajectory, unsegmented sensor data, gesture-related sensory data, two-dimensional movements, mouse input device, magnetic spatial position, eigenvector projection coefficients, motion estimation, image sequences, image sequence, image recognition, gesture recognition, variability, repeatability, training set
13	Bengt Jonsson 0001, Lars Kempe	Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.	CAV	1995	DBLP DOI BibTeX RDF
13	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya	The Rabin Index and Chain Automata, with Applications to Automatas and Games.	CAV	1995	DBLP DOI BibTeX RDF
13	Ronald L. Rivest, Robert E. Schapire	Diversity-Based Inference of Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	diversity-based representation, permutation automata, finite automata, learning theory, inductive inference
13	Kimmo Varpaaniemi	On Combining the Stubborn Set Method with the Sleep Set Method.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
13	Andreas Weber, Reinhard Klemm	Economy of Description for Single-valued Transducers.	STACS	1994	DBLP DOI BibTeX RDF
13	Gerd Große	Propositional State Event Logic.	JELIA	1994	DBLP DOI BibTeX RDF
13	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
13	Lefteri H. Tsoukalas, J. Reyes-Jimenez	A Hybrid Expert System - Neural Networks Methodology for Anticipatory Control in a Process Environment.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Wei-Kang Huang, Fabrizio Lombardi	On an improved design approach for C-testable orthogonal iterative arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
13	Joseph Y. Halpern, Ronald Fagin	Modelling Knowledge and Action in Distributed Systems.	Concurrency	1988	DBLP DOI BibTeX RDF
13	Sandra L. Murphy, A. Udaya Shankar	A verified connection management protocol for the transport layer.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
13	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
11	Teresa M. Harrison	Comparative perspectives on e-government and H1N1: Mexico and the United States.	DG.O	2010	DBLP BibTeX RDF	health internet, collaboration, communication, social networking, user-centered design, Web 2.0, social media, health, videoconferencing, co-design
11	Dean E. Bushey	Unmanned Aircraft Flights and Research at the United States Air Force Academy.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Unmanned aircraft, Air force, Flight, Airspace, Education, Research, UAV, UAS
11	Sylvia Pulmannová	MV-pairs and states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
11	Felix Polyakov, Eran Stark, Rotem Drori, Moshe Abeles, Tamar Flash	Parabolic movement primitives and cortical states: merging optimality with geometric invariance.	Biol. Cybern.	2009	DBLP DOI BibTeX RDF	Drawing primitives, Equi-affine geometry, Neural representation, Hidden Markov modeling, Geometric invariants
11	Hua Dai 0002, Prashant C. Palvia	Mobile commerce adoption in China and the United States: a cross-cultural study.	Data Base	2009	DBLP DOI BibTeX RDF	user behavior, mobile commerce, technology adoption, behavioral intention, cross-culture study
11	Zheng Xiang 0001, Bing Pan	Travel Queries on Cities in the United States: Implications for Search Engine Marketing in Tourism.	ENTER	2009	DBLP DOI BibTeX RDF	travel information search, travel queries, destinations, search engine marketing
11	Michael J. Bommarito II, Daniel Martin Katz, Jon Zelner	Law as a seamless web?: comparison of various network representations of the United States Supreme Court corpus (1791-2005).	ICAIL	2009	DBLP DOI BibTeX RDF
11	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
11	Tadeusz Czachórski, Tomasz Nycz, Ferhan Pekergin	Transcient states analysis - diffusion approximation as an alternative to Markov models, fluid-flow approximation and simulation.	ISCC	2009	DBLP DOI BibTeX RDF
11	Marcus Komann, Dietmar Fey	Evaluating the evolvability of emergent agents with different numbers of states.	GECCO	2009	DBLP DOI BibTeX RDF	genetic algorithms, optimization, multi-agent systems, cellular automata, fitness landscape
11	J. Ramón Gil-García, Sehl Mellouli, Celene Navarrete, Hans Jochen Scholl, Theresa A. Pardo, Anthony M. Cresswell, Lei Zheng	Integration and interoperation at the border states in North America: a status report.	D.GO	2009	DBLP BibTeX RDF	interoperation, integration, digital government, border, North America
11	Thao Dang 0001, Colas Le Guernic, Oded Maler	Computing Reachable States for Nonlinear Biological Models.	CMSB	2009	DBLP DOI BibTeX RDF
11	Christoph Pflügler, Andreas Schönberger, Guido Wirtz	Introducing partner shared states into ebBP to WS-BPEL translations.	iiWAS	2009	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, translation, WS-BPEL, state based modeling
11	Yungang Liu	Global stabilization by output feedback for a class of nonlinear systems with uncertain control coefficients and unmeasured states dependent growth.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	uncertain control coefficient, high-gain K-filters, output-feedback, nonlinear systems, global asymptotic stabilization
11	Karol Horodecki, Michal Horodecki, Pawel Horodecki, Debbie W. Leung, Jonathan Oppenheim	Quantum Key Distribution Based on Private States: Unconditional Security Over Untrusted Channels With Zero Quantum Capacity.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
11	Xiuhong Gao, Sergio Albeverio, Kai Chen 0008, Shao-Ming Fei, Xianqing Li-Jost	Entanglement of formation and concurrence for mixed states.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	entanglement of formation, concurrence, lower bound
11	Shahram Khazaei, Willi Meier	On Reconstruction of RC4 Keys from Internal States.	MMICS	2008	DBLP DOI BibTeX RDF	Binary Hypothesis Testing, Stream Ciphers, RC4, Key Recovery
11	Matthias Troyer	Simulating Exotic Quantum States of Matter.	HPCS	2008	DBLP DOI BibTeX RDF
11	Yannick Deville, Alain Deville	Maximum likelihood blind separation of two quantum states (qubits) with cylindrical-symmetry Heisenberg spin coupling.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Huazhong Ning, Wei Xu 0007, Yue Zhou, Yihong Gong, Thomas S. Huang	Temporal difference learning to detect unsafe system states.	ICPR	2008	DBLP DOI BibTeX RDF
11	Susan Wyche, Paul M. Aoki, Rebecca E. Grinter	Re-placing faith: reconsidering the secular-religious use divide in the United States and Kenya.	CHI	2008	DBLP DOI BibTeX RDF	sketching, domestic technology, religious technology
11	Minglong Zhang, Boqin Feng	A Novel Migration Algorithm Based-On "States-Balancing" in a Distributed Multimedia Services System.	MUE	2008	DBLP DOI BibTeX RDF	state balancing, SLB, Migration
11	Juan Alberto de Frutos, Fernando Arroyo, Alberto Arteta	Usefulness States in New P System Communication Architectures.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
11	Takashi Takekawa, Toshio Aoyagi, Tomoki Fukai	Synchronous and asynchronous bursting states: role of intrinsic neural dynamics.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Stimulus-dependent synchronization, Fast rhythmic burst, Phase response, Synaptic location
11	Frank Drewes, Johanna Högberg	Query Learning of Regular Tree Languages: How to Avoid Dead States.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF