Search results for "alternation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran	Alternation as a programming paradigm.	PPDP	2009	DBLP DOI BibTeX RDF	integration of paradigms, language extension, alternation
79	Orna Kupferman, Moshe Y. Vardi	From linear time to branching time.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	alternation-free ?-calculus, Linear temporal logic
79	Sergey Kitaev, Steve Seif	Word Problem of the Perkins Semigroup via Directed Acyclic Graphs.	Order	2008	DBLP DOI BibTeX RDF	Perkins semigroup, Free semigroup, Computational complexity -, Directed acyclic graph, Poset, Partially order set, Word problem
67	Orna Kupferman, Moshe Y. Vardi	Π2 ∩ Σ2 ≡ AFMC.	ICALP	2003	DBLP DOI BibTeX RDF
63	Jérémy Barbay, Claire Kenyon	Alternation and redundancy analysis of the intersection problem.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Adaptive analysis, alternation analysis, intersection of sorted arrays, randomized algorithm, intersection, redundancy analysis
52	Vincent A. Nguyen, Peng-Jun Wan, Ophir Frieder	Channel Alternation and Rotation for Trisectorized Cellular Systems.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	channel alternation and rotation, channel assignment, channel allocation, frequency planning, frequency reuse
52	Julian C. Bradfield	The Modal mu-calculus Alternation Hierarchy is Strict.	CONCUR	1996	DBLP DOI BibTeX RDF	mu-calculi, temporal logic, hierarchies, alternation
52	Manfred Kufleitner, Pascal Weil	On FO2 Quantifier Alternation over Words.	MFCS	2009	DBLP DOI BibTeX RDF
52	Yasuo Itoh, Mayumi Oyama	Does the transition of the interval in perceptional alternation have a chaotic rhythm?	SMC	2007	DBLP DOI BibTeX RDF
52	Moshe Y. Vardi	Alternation.	JELIA	2002	DBLP DOI BibTeX RDF
52	Julian C. Bradfield	Simplifying the Modal Mu-Calculus Alternation Hierarchy.	STACS	1998	DBLP DOI BibTeX RDF
52	Juraj Hromkovic	On the Power of Alternation in Finite Automata.	MFCS	1984	DBLP DOI BibTeX RDF
45	Shinichi Shirakawa, Tomoharu Nagao	Evolutionary algorithm considering program size: efficient program evolution using grape.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	generation alternation model, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming
45	Carme Julià, Angel Domingo Sappa, Felipe Lumbreras, Joan Serrat 0002, Antonio M. López 0001	Recovery of Surface Normals and Reflectance from Different Lighting Conditions.	ICIAR	2008	DBLP DOI BibTeX RDF	Alternation technique, missing data, Photometric stereo
45	Tapio Elomaa, Juho Rousu	Necessary and Sufficient Pre-processing in Numerical Range Discretization.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Discretization, Optimal partitioning, Numerical attributes
45	Klaus Reinhardt	Hierarchies over the Context-Free Languages.	IMYCS	1990	DBLP DOI BibTeX RDF
41	Daiki Shitara, Toshiaki Miyazaki, Hidenori Igari	A Function Alternation Algorithm for Wireless Sensor Networks.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Function Alternation, Wireless Sensor Network, Distributed Algorithm
41	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
41	Carme Julià, Angel Domingo Sappa, Felipe Lumbreras, Joan Serrat 0002, Antonio M. López 0001	Photometric stereo through an adapted alternation approach.	ICIP	2008	DBLP DOI BibTeX RDF
41	Christian Dax, Felix Klaedtke	Alternation Elimination by Complementation (Extended Abstract).	LPAR	2008	DBLP DOI BibTeX RDF
41	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and alternation: a proper hierarchy in higher order logics.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
41	Radu Mateescu 0001	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
41	Venkatesan T. Chakaravarthy, Sambuddha Roy	Oblivious Symmetric Alternation.	STACS	2006	DBLP DOI BibTeX RDF
41	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and Alternation: A Proper Hierarchy in Higher Order Logics.	FoIKS	2006	DBLP DOI BibTeX RDF
41	Doron Bustan, Orna Kupferman, Moshe Y. Vardi	A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.	STACS	2004	DBLP DOI BibTeX RDF
41	Radu Mateescu 0001	A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.	TACAS	2003	DBLP DOI BibTeX RDF
41	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
41	Martin Leucker	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.	LPAR	1999	DBLP DOI BibTeX RDF
41	Oliver Matz, Wolfgang Thomas	The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.	LICS	1997	DBLP DOI BibTeX RDF
41	Klaus-Jörn Lange, Klaus Reinhardt	Empty Alternation.	MFCS	1994	DBLP DOI BibTeX RDF
41	Burchard von Braunmühl, Romain Gengler, Robert Rettinger	The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite.	STACS	1994	DBLP DOI BibTeX RDF
34	Pansy D. Patel, Artëm E. Masunov	Time-Dependent Density Functional Theory Study of Structure-Property Relationships in Diarylethene Photochromic Compounds.	ICCS (2)	2009	DBLP DOI BibTeX RDF	photochromism, electronic spectra, bond length alternation, molecular structure, density functional theory
34	Debasri Chakrabarti, Pushpak Bhattacharyya	Syntactic Alternations of Hindi Verbs with Reference to the Morphological Paradigm.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF	Syntactic Alternation, Morphological Paradigm, Semantic Category
34	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
34	Attila Kiss 0001, Vu Le Anh	Efficient Processing SAPE Queries Using the Dynamic Labelling Structural Indexes.	ADBIS	2006	DBLP DOI BibTeX RDF
34	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
34	Radu Mateescu 0001	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.	TACAS	2002	DBLP DOI BibTeX RDF
34	K. Narayan Kumar, C. R. Ramakrishnan 0001, Scott A. Smolka	Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.	ICLP	2001	DBLP DOI BibTeX RDF
34	Moshe Y. Vardi	Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.	CONCUR	1998	DBLP DOI BibTeX RDF
34	Henrik Reif Andersen	Model Checking and Boolean Graphs.	ESOP	1992	DBLP DOI BibTeX RDF
29	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
29	Anfeng Liu, Xian-You Wu, Wei-Hua Gui 0001	Research on Energy Hole Problem for Wireless Sensor Networks Based on Alternation between Dormancy and Work.	ICYCS	2008	DBLP DOI BibTeX RDF
29	Jacques Duparc, Alessandro Facchini	Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I).	CiE	2008	DBLP DOI BibTeX RDF	Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus
29	Marcin Jurdzinski, Ranko Lazic 0001	Alternation-free modal mu-calculus for data trees.	LICS	2007	DBLP DOI BibTeX RDF
29	Yangli Wang, Chengke Wu 0001	An improved multiple description video coding method using GOB alternation and low quality macroblock update.	AINA (1)	2006	DBLP DOI BibTeX RDF
29	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.	TABLEAUX	2005	DBLP DOI BibTeX RDF
29	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Term Algebras with Length Function and Bounded Quantifier Alternation.	TPHOLs	2004	DBLP DOI BibTeX RDF
29	Kumar Neeraj Verma	Alternation in Equational Tree Automata Modulo XOR.	FSTTCS	2004	DBLP DOI BibTeX RDF
29	Yijia Chen, Jörg Flum, Martin Grohe	Bounded Nondeterminism and Alternation in Parameterized Complexity Theory.	CCC	2003	DBLP DOI BibTeX RDF
29	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
29	Ralf Küsters, Thomas Wilke	Deciding the First Level of the µ-Calculus Alternation Hierarchy.	FSTTCS	2002	DBLP DOI BibTeX RDF
29	Daisuke Ikeda, Yasuhiro Yamada, Sachio Hirokawa	Eliminating Useless Parts in Semi-structured Documents Using Alternation Counts.	Discovery Science	2001	DBLP DOI BibTeX RDF
29	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Parallel Model Checking for the Alternation Free µ-Calculus.	TACAS	2001	DBLP DOI BibTeX RDF
29	Olivier Ly	The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite.	FSTTCS	2000	DBLP DOI BibTeX RDF
29	Thomas Buchholz, Andreas Klein 0001, Martin Kutrib	Iterative Arrays with a Wee Bit Alternation.	FCT	1999	DBLP DOI BibTeX RDF
29	Jirí Wiedermann	Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation.	MFCS	1998	DBLP DOI BibTeX RDF
29	Nicole Schweikardt	The Monadic Quantifier Alternation Hierarchy over Grids and Pictures.	CSL	1997	DBLP DOI BibTeX RDF
29	Jirí Wiedermann	Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results.	ICALP	1996	DBLP DOI BibTeX RDF
29	Burchard von Braunmühl	Alternation for Two-way Machines with Sublogarithmic Space.	STACS	1993	DBLP DOI BibTeX RDF
29	Rance Cleaveland, Bernhard Steffen	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.	CAV	1991	DBLP DOI BibTeX RDF
29	Gerhard Buntrock, Albrecht Hoene	Reversals and Alternation.	STACS	1989	DBLP DOI BibTeX RDF
29	Klaus-Jörn Lange	Two Characterizations of the Logarithmic Alternation Hierarchy.	MFCS	1986	DBLP DOI BibTeX RDF
23	Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell 0001	Alternating Timed Automata over Bounded Time.	LICS	2010	DBLP DOI BibTeX RDF	Church's Problem, Timed Automata, Alternation
23	Slawomir Lasota 0001, Igor Walukiewicz	Alternating timed automata.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	emptyness problem, timed automata, Alternation
23	Eunryoung Lee, Ae-sun Yoon, Hyuk-Chul Kwon	Exploiting Morpho-syntactic Features for Verb Sense Distinction in KorLex.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	KorLex, Korean wordnet, verb sense distinction, transitivity alternation, Korean middle verbs, WordNet
23	Ryan Williams 0001	Parallelizing time with polynomial circuits.	SPAA	2005	DBLP DOI BibTeX RDF	parallel speedup, circuit complexity, alternation
23	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
23	Marcio T. Oliveira, Alan J. Hu	High-Level specification and automatic generation of IP interface monitors.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, pipelining, regular expressions, alternation
23	Charles B. Dunham	The one-sided Remez algorithm.	Computing	1983	DBLP DOI BibTeX RDF	One-sided, Remez algorithm, alternation, minimax
22	Myongkeun Oh, Victor Matveev	Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization
22	Naoki Hamada, Jun Sakuma, Shigenobu Kobayashi, Isao Ono	Functional-Specialization Multi-Objective Real-Coded Genetic Algorithm: FS-MOGA.	PPSN	2008	DBLP DOI BibTeX RDF
22	Tao Yang, Xi Chen	A Visual Mining on RVA Results of Hydrologic Alternations along the East River, South China (1952-2002).	FSKD (4)	2008	DBLP DOI BibTeX RDF
22	Kandasamy Selvaradjou, Marudachalam Dhanaraj, Buchi Goutham, C. Siva Ram Murthy	A new battery and redundancy aware node scheduling protocol for Wireless Sensor Networks.	COMSWARE	2008	DBLP DOI BibTeX RDF
22	François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette	Taming Existence in RDF Querying.	RR	2008	DBLP DOI BibTeX RDF
22	Levente Hajder, Ákos Pernek, Csaba Kazó	Fast and Precise Weak-Perspective Factorization.	CAIP	2007	DBLP DOI BibTeX RDF
22	Teijiro Isokawa, Haruhiko Nishimura, Naotake Kamiura, Nobuyuki Matsui	A Multilayered Scheme of Bidirectional Associative Memory for Multistable Perception.	ICONIP (2)	2007	DBLP DOI BibTeX RDF
22	Christophe Joubert, Radu Mateescu 0001	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
22	Yongsu Park, Younho Lee, Heeyoul Kim, Gil-Joo Lee, Il-Hee Kim	Hardware Stack Design: Towards an Effective Defence Against Frame Pointer Overwrite Attacks.	IWSEC	2006	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow attack
22	Yongsu Park, Yong Ho Song, Eul-Gyu Im	Design of a Reliable Hardware Stack to Defend Against Frame Pointer Overwrite Attacks.	ISI	2006	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow attack
22	Yasutake Takahashi, Kazuhiro Edazawa, Kentarou Noma, Minoru Asada	Simultaneous Learning to Acquire Competitive Behaviors in Multi-agent System Based on Modular Learning System.	RoboCup	2005	DBLP DOI BibTeX RDF
22	A. M. Buchanan, Andrew W. Fitzgibbon	Damped Newton Algorithms for Matrix Factorization with Missing Data.	CVPR (2)	2005	DBLP DOI BibTeX RDF
22	Martin Lange	Weak Automata for the Linear Time µ-Calculus.	VMCAI	2005	DBLP DOI BibTeX RDF
22	Jan Friso Groote, Misa Keinänen	Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.	TACAS	2004	DBLP DOI BibTeX RDF
22	Dietmar Berwanger	Game Logic is Strong Enough for Parity Games.	Stud Logica	2003	DBLP DOI BibTeX RDF	game logic, modal mu-calculus, model checking, expressive power
22	Jérémy Barbay	Optimality of Randomized Algorithms for the Intersection Problem.	SAGA	2003	DBLP DOI BibTeX RDF
22	Georg Gottlob, Erich Grädel, Helmut Veith	Datalog LITE: a deductive query language with linear time model checking.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logics, verification, Complexity, databases, temporal logics
22	Haruo Hosoya, Benjamin C. Pierce	Regular expression pattern matching for XML.	POPL	2001	DBLP DOI BibTeX RDF	XML
22	Eldar Fischer, Ilan Newman	Testing of matrix properties.	STOC	2001	DBLP DOI BibTeX RDF	matrix properties, property testing
22	Noga Alon, Eldar Fischer, Michael Krivelevich, Mario Szegedy	Efficient Testing of Large Graphs.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 68R10, 05C35, 05C85
22	Orna Kupferman, Moshe Y. Vardi	The Weakness of Self-Complementation.	STACS	1999	DBLP DOI BibTeX RDF
22	Narayan C. Debnath	A Study of Control Flow and Data Dependency Interface (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
22	Dainis Geidmanis	On Possibilities of One-Way Synchronized and Alternating Automata.	MFCS	1990	DBLP DOI BibTeX RDF
22	Birgit Jenner, Bernd Kirsig	Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata.	STACS	1988	DBLP DOI BibTeX RDF
22	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
18	Athina Georgara, Raman Kazhamiakin, Ornella Mich, Alessio Palmero Aprosio, Jean-Christophe R. Pazzaglia, Juan Antonio Rodríguez-Aguilar, Carles Sierra	Correction to: The AI4Citizen pilot: Pipelining AI-based technologies to support school-work alternation programmes.	Appl. Intell.	2024	DBLP DOI BibTeX RDF
18	Minzheng Li, Xiangzhong Fang, Haixin Yang	Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation.	CoRR	2023	DBLP DOI BibTeX RDF
18	Tinghui Chen, Shuai Li	Using Alternation Direction Method of Multipliers to Enhance robots Calibration Accuracy based on Multi-Planal Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jan Rooduijn, Yde Venema	Focus-style proofs for the two-way alternation-free μ-calculus.	CoRR	2023	DBLP DOI BibTeX RDF
18	Yoshiki Nakamura 0001	On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.	CoRR	2023	DBLP DOI BibTeX RDF
18	Emanuel Kieronski	A Uniform One-Dimensional Fragment with Alternation of Quantifiers.	GandALF	2023	DBLP DOI BibTeX RDF