Search results for "states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Nicolas Ollinger	Two-States Bilinear Intrinsically Universal Cellular Automata.	FCT	2001	DBLP DOI BibTeX RDF
11	Javed I. Khan, Asrar U. Haque	An Active Programmable Harness for Measurement of Composite Network States.	ICN (2)	2001	DBLP DOI BibTeX RDF
11	Will Briggs, Brad Dawson	Fast Suboptimal Planning with Nexus States.	ICTAI	2001	DBLP DOI BibTeX RDF	planning
11	Meriema Belaidouni, Jin-Kao Hao	SAT, Local Search Dynamics and Density of States.	Artificial Evolution	2001	DBLP DOI BibTeX RDF
11	Barak D. Jolish	The Encryption Debate in Plaintext: National Security and Encryption in the United States and Israel.	Financial Cryptography	2000	DBLP DOI BibTeX RDF
11	Kazuo Iwama, Akihiro Matsuura, Mike Paterson	A Family of NFA's Which Need 2n -alpha Deterministic States.	MFCS	2000	DBLP DOI BibTeX RDF
11	Harold S. Balaban, Robert T. Brigantic, Samuel A. Wright, Anthony F. Papatyi	Military resource scheduling: a simulation approach to estimating aircraft mission capable rates for the United States Air Force.	WSC	2000	DBLP DOI BibTeX RDF
11	William R. Gates, Mitchell J. McCarthy	United States Marine Corps aerial refueling requirements analysis.	WSC	2000	DBLP DOI BibTeX RDF
11	Yiu-ming Cheung, Lei Xu 0001	A RPCL-Based Approach for Identification of Markov Model with Unknown Noise and Number of States.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
11	Harriet G. Taylor	Implementing national educational technology standards for student in the United States.	ITiCSE	1999	DBLP DOI BibTeX RDF
11	Takashi Hisakado, Kohshi Okumura	Steady states prediction in nonlinear circuit by wavelet transform.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
11	Epaminondas Kapetanios, Moira C. Norrie, A. Frei	An Information States Blackboard as an Intelligent Querying Interface for Snow and Avalanche Data.	UIDIS	1999	DBLP DOI BibTeX RDF	Scientific Information Systems, Meta-data, Visual Query languages
11	Florence Maraninchi, Yann Rémond	Mode-Automata: About Modes and States for Reactive Systems.	ESOP	1998	DBLP DOI BibTeX RDF
11	Tadeusz Czachórski, Michal Pastuszka, Ferhan Pekergin	A Tool to Model Network Transient States with the Use of Diffusion Approximation.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
11	Ivan Korec	Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States.	MFCS	1997	DBLP DOI BibTeX RDF
11	V. A. Ivnitskii	Invariance of stationary probabilities of states for network of multiserver queues.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	multiserver nodes, different sources of customers, preemptive priority of entering customer, functional form of distributions, Queueing network
11	Genji Yamazaki, Masakiyo Miyazawa	Decomposability in queues with background states.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	RGSMP, moving server queue, symmetric service discipline, random environment, insensitivity, Decomposability
11	Uri Abraham	On system executions and states.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Correctness of programs, system execution, cores of executions, global time, semantics of concurrency
11	Enrique Teruel, Manuel Silva Suárez	Liveness and Home States in Equal Conflict Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Place/Transition Net Systems, Equal Conflict Systems, Structure Theory
11	Betty W. Hwang, Andrew B. Whinston, Wilhelmina C. Savenye	Management information systems curricula in the United States and the Republic of China: a comparative study.	SIGCSE	1992	DBLP DOI BibTeX RDF
11	Kosaburo Hashiguchi	Algorithms for Determining the Smallest Number of Nonterminals (States) Sufficient for Generating (Accepting) a Regular Language.	ICALP	1991	DBLP DOI BibTeX RDF
11	Volker Küchenhoff	On the Efficient Computation of the Difference Between Concecutive Database States.	DOOD	1991	DBLP DOI BibTeX RDF
11	Jan Robin Rohlicek, Alan S. Willsky	The reduction of perturbed Markov generators: an algorithm exposing the role of transient states.	J. ACM	1988	DBLP DOI BibTeX RDF
11	C. V. Ramamoorthy, Yuh Yaw	A petri net reduction algorithm for protocol analysis.	SIGCOMM	1986	DBLP DOI BibTeX RDF
11	George Hall	Equilibrium States of Runge Kutta Schemes.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	stiff systems, Runge-Kutta methods
11	K. Mani Chandy, Leslie Lamport	Distributed Snapshots: Determining Global States of Distributed Systems	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF
11	Alberto O. Mendelzon	Database States and Their Tableaux.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
11	John K. Price, Detlef Wotschke	States Can Sometimes Do More Than Stack Symbols in PDA's.	ICALP	1978	DBLP DOI BibTeX RDF
11	Bennett L. Fox, D. M. Landi	Scientific Applications: An algorithm for identifying the ergodic subchains and transient states of a stochastic matrix.	Commun. ACM	1968	DBLP DOI BibTeX RDF	chain identification, ergodic, stochastic matrix
9	Michael S. Ryoo, Jong Taek Lee, Jake K. Aggarwal	Video scene analysis of interactions between humans and vehicles using event context.	CIVR	2010	DBLP DOI BibTeX RDF	event context, scene state tracking, dynamic scene analysis
9	Pooya Jannaty, Florian C. Sabou, R. Iris Bahar, Joseph L. Mundy, William R. Patterson, Alexander Zaslavsky	Numerical queue solution of thermal noise-induced soft errors in subthreshold CMOS devices.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	CMOS logic devices, reliability, Markov process, monte carlo method, poisson distribution, laplace transform
9	Andris Ambainis, Julia Kempe, Or Sattath	A quantum lovász local lemma.	STOC	2010	DBLP DOI BibTeX RDF	local lemma, quanum SAT, random quantum sat, quantum computation, probabilistic method
9	Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001	Reasoning about actions with sensing under qualitative and probabilistic uncertainty.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages
9	Rui Zhang 0006	On peak versus average interference power constraints for protecting primary users in cognitive radio networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
9	Paul Skokowski	Networks with attitudes.	AI Soc.	2009	DBLP DOI BibTeX RDF
9	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
9	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
9	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
9	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
9	Bithika Khargharia, Salim Hariri, Mazin S. Yousif	An Adaptive Interleaving Technique for Memory Performance-per-Watt Management.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
9	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	A property of quantum relative entropy with an application to privacy in quantum communication.	J. ACM	2009	DBLP DOI BibTeX RDF	quantum communication complexity, Privacy, quantum information theory
9	Michael Huth 0001, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
9	Roli Varma	Attracting Native Americans to computing.	Commun. ACM	2009	DBLP DOI BibTeX RDF
9	Sang Hyoung Lee, Il Hong Suh	Bayesian network-based behavior control for skilligent robots.	ICRA	2009	DBLP DOI BibTeX RDF
9	Feodor Kulishov	DFA-based and SIMD NFA-based regular expression matching on cell BE for fast network traffic filtering.	SIN	2009	DBLP DOI BibTeX RDF	network security, SIMD, regular expressions, cell broadband engine, DFA, NFA
9	Cristian Duda, Gianni Frey, Donald Kossmann, Reto Matter, Chong Zhou	AJAX Crawl: Making AJAX Applications Searchable.	ICDE	2009	DBLP DOI BibTeX RDF
9	Steven J. Landry, Amit V. Lagu	A Model of Integrated Operator-System Separation Assurance and Collision Avoidance.	HCI (11)	2009	DBLP DOI BibTeX RDF	safety, air traffic control, human performance modeling, aviation
9	Frédéric Pluquet, Stefan Langerman, Roel Wuyts	Executing code in the past: efficient in-memory object graph versioning.	OOPSLA	2009	DBLP DOI BibTeX RDF	object-oriented programming, language design, object versioning
9	Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal	Testing Timed Finite State Machines with Guaranteed Fault Coverage.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
9	Jie Xiang 0002, Junjie Chen 0001, Haiyan Zhou, Yulin Qin, Kuncheng Li, Ning Zhong 0001	Using SVM to Predict High-Level Cognition from fMRI Data: A Case Study of 4*4 Sudoku Solving.	Brain Informatics	2009	DBLP DOI BibTeX RDF
9	Thomas Colcombet, Konrad Zdanowski	A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.	ICALP (2)	2009	DBLP DOI BibTeX RDF
9	Dana Angluin, Leonor Becerra-Bonache, Adrian-Horia Dediu, Lev Reyzin	Learning Finite Automata Using Label Queries.	ALT	2009	DBLP DOI BibTeX RDF
9	Peter C. Dillinger, Panagiotis Manolios	Fast, All-Purpose State Storage.	SPIN	2009	DBLP DOI BibTeX RDF
9	Yang Zhao 0011, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
9	Hélène Soubaras	An Evidential Measure of Risk in Evidential Markov Chains.	ECSQARU	2009	DBLP DOI BibTeX RDF
9	Daniel Schmidt 0001, Norbert Wehn	DRAM power management and energy consumption: a critical assessment.	SBCCI	2009	DBLP DOI BibTeX RDF	modelling, measurement, power management, SDRAM
9	Jean Vuillemin, Nicolas Gama	Compact Normal Form for Regular Languages as Xor Automata.	CIAA	2009	DBLP DOI BibTeX RDF
9	Galina Jirásková	Magic Numbers and Ternary Alphabet.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
9	Chittabrata Ghosh, Carlos Cordeiro 0001, Dharma P. Agrawal, M. Bhaskara Rao	Markov Chain Existence and Hidden Markov Models in Spectrum Sensing.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
9	Alessio Dore, Carlo S. Regazzoni	Bayesian Bio-inspired Model for Learning Interactive Trajectories.	AVSS	2009	DBLP DOI BibTeX RDF
9	Kenji R. Yamamoto, Paul G. Flikkema	Prospector: Multiscale Energy Measurement of Networked Embedded Systems with Wideband Power Signals.	CSE (2)	2009	DBLP DOI BibTeX RDF
9	Eimutis Valakevicius	Continuous Time Markov Chain Model of Asset Prices Distribution.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Asset prices distribution, a mixture of exponential distributions, numerical-analytic model, continuous time Markov chain
9	Yoshimasa Ohmoto, Kazuhiro Ueda, Takehiko Ohno	A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent.	AMT	2009	DBLP DOI BibTeX RDF	nonverbal information and lies, Communication
9	Saqib A. Kakvi	Reinforcement Learning for Blackjack.	ICEC	2009	DBLP DOI BibTeX RDF
9	Ying-Wen Bai, Chun-Yang Tsai	Design and implementation of a low-power workstation.	CCECE	2009	DBLP DOI BibTeX RDF
9	Cornelia Wendt, Michael Popp, Berthold Färber	Emotion induction during human-robot interaction.	HRI	2009	DBLP DOI BibTeX RDF	joint construction, stress induction, human-robot interaction, emotion recognition
9	Charles Pak, James Cannady	Asset priority risk assessment using hidden markov models.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	risk assessment
9	Jan Capek, Jitka Komarkova	Trustworthy regional spatial information through web-services.	iiWAS	2009	DBLP DOI BibTeX RDF	dangerous failure state, information sources system, safe failure state, trustworthy information, web services
9	Daniel Kudenko, Marek Grzes	Knowledge-Based Reinforcement Learning for Data Mining.	ADMI	2009	DBLP DOI BibTeX RDF
9	Franz Baader, Andreas Bauer 0002, Marcel Lippmann	Runtime Verification Using a Temporal Description Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
9	George Dimitri Christelis, Michael Rovatsos	Automated norm synthesis in an agent-based planning environment.	AAMAS (1)	2009	DBLP BibTeX RDF	social laws, coordination, conflict resolution, norms, automated planning
9	Bostjan Potocnik, Gasper Music, Igor Skrjanc, Borut Zupancic	Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Hybrid systems, Reachability analysis, Probabilistic neural networks, Model predictive control
9	Zhigang Tian, Richard C. M. Yam, Ming Jian Zuo, Hong-Zhong Huang	Reliability Bounds for Multi-State k-out-of-n Systems.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
9	Ofer Melamed, Omri Barak, Gilad Silberberg, Henry Markram, Misha Tsodyks	Slow oscillations in neural networks with facilitating synapses.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Temporal processing, Model, Synchrony, Recurrent network, Dynamic synapse, Neocortex
9	Irith Pomeranz, Sudhakar M. Reddy	Improving the Transition Fault Coverage of Functional Broadside Tests by Observation Point Insertion.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
9	Daoyi Dong, Chunlin Chen, Tzyh Jong Tarn, Alexander N. Pechen, Herschel Rabitz	Incoherent Control of Quantum Systems With Wavefunction-Controllable Subspaces via Quantum Reinforcement Learning.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
9	Janusz Rajski, Jerzy Tyszer, Grzegorz Mrugalski, Wu-Tung Cheng, Nilanjan Mukherjee 0001, Mark Kassab	X-Press: Two-Stage X-Tolerant Compactor With Programmable Selector.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
9	Changchun Liu, Karla Conn, Nilanjan Sarkar, Wendy Stone	Online Affect Detection and Robot Behavior Adaptation for Intervention of Children With Autism.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
9	Stergiani Spyrou, Panagiotis D. Bamidis, Nicos Maglaveras, George Pangalos, Costas Pappas	A Methodology for Reliability Analysis in Health Networks.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
9	Xihan Li 0003, Fuguo Deng	Controlled teleportation.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	controlled teleportation, quantum computation, entanglement, quantum information, quantum communication
9	Anton Batliner, Stefan Steidl, Christian Hacker, Elmar Nöth	Private emotions versus social interaction: a data-driven approach towards analysing emotion in speech.	User Model. User Adapt. Interact.	2008	DBLP DOI BibTeX RDF	Non-metrical multi-dimensional scaling, Annotation, Emotion, Speech, Dimensions, Categories, Data-driven
9	Sidney K. D'Mello, Scotty D. Craig, Amy M. Witherspoon, Bethany McDaniel, Arthur C. Graesser	Automatic detection of learner's affect from conversational cues.	User Model. User Adapt. Interact.	2008	DBLP DOI BibTeX RDF	Human-computer dialogue, Dialogue features, Discourse markers, Conversational cues, AutoTutor, Human-computer interaction, Intelligent Tutoring Systems, Affect detection
9	Pedro Pereira Rodrigues, João Gama 0001, Luís M. B. Lopes	Clustering Distributed Sensor Data Streams.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF	online adaptive clustering, distributed data streams, incremental discretization, frequent items monitoring, sensor networks
9	Yingbin Liang, Gerhard Kramer, H. Vincent Poor, Shlomo Shamai	Recent results on compound wire-tap channels.	PIMRC	2008	DBLP DOI BibTeX RDF
9	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
9	Dustin Deneault, Dale Schinstock, Christopher Lewis	Tracking ground targets with measurements obtained from a single monocular camera mounted on an unmanned aerial vehicle.	ICRA	2008	DBLP DOI BibTeX RDF
9	Ling Cen, Wee Ser, Zhu Liang Yu	Speech Emotion Recognition Using Canonical Correlation Analysis and Probabilistic Neural Network.	ICMLA	2008	DBLP DOI BibTeX RDF
9	Matthew Greytak, Franz S. Hover	Underactuated point stabilization using predictive models with application to marine vehicles.	IROS	2008	DBLP DOI BibTeX RDF
9	Tatsuya Nomura, Atsushi Omori, Yusuke Suzuki, Hiroaki Mizohata, Keigo Yasumura	Robotics in education: Psychological relationships with "making-artifacts, " computers, and mathematics in Japan.	IROS	2008	DBLP DOI BibTeX RDF
9	Deger Cenk Erdil, Michael J. Lewis	Supporting self-organization for hybrid grid resource scheduling.	SAC	2008	DBLP DOI BibTeX RDF
9	Yen-Tzu Lin, Osei Poku, Naresh K. Bhatti, Ronald D. Blanton	Physically-Aware N-Detect Test Pattern Selection.	DATE	2008	DBLP DOI BibTeX RDF
9	Elena Dubrova, Maxim Teslenko, Hannu Tenhunen	On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers.	DATE	2008	DBLP DOI BibTeX RDF
9	Pritam Roy, David Parker 0001, Gethin Norman, Luca de Alfaro	Symbolic Magnifying Lens Abstraction in Markov Decision Processes.	QEST	2008	DBLP DOI BibTeX RDF
9	Iraj Hosseini, Kaveh Mahdaviani, Omid Taheri, Norman C. Beaulieu	Noniterative Joint Channel Equalization and Decoding Based on State Extended Viterbi Algorithm.	ICC	2008	DBLP DOI BibTeX RDF
9	Bernard Lambeau, Christophe Damas, Pierre Dupont	State-Merging DFA Induction Algorithms with Mandatory Merge Constraints.	ICGI	2008	DBLP DOI BibTeX RDF
9	Ting Lu, Mónica F. Bugallo, Petar M. Djuric	RLS-assisted cost reference particle filtering.	ICASSP	2008	DBLP DOI BibTeX RDF
9	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
9	Sidney K. D'Mello, Roger Taylor, Kelly Davidson, Arthur C. Graesser	Self Versus Teacher Judgments of Learner Emotions During a Tutoring Session with AutoTutor.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
9	Konstantine Arkoudas, Selmer Bringsjord	Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.	PRICAI	2008	DBLP DOI BibTeX RDF
9	Paolo Pilozzi, Danny De Schreye	Termination Analysis of CHR Revisited.	ICLP	2008	DBLP DOI BibTeX RDF	Termination Analysis, Constraint Handling Rules