Search results for "alternation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk	On Alternation.	Acta Informatica	1980	DBLP DOI BibTeX RDF
18	Wolfgang J. Paul, Rüdiger Reischuk	On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.	Acta Informatica	1980	DBLP DOI BibTeX RDF
18	Walter L. Ruzzo	Tree-Size Bounded Alternation.	J. Comput. Syst. Sci.	1980	DBLP DOI BibTeX RDF
18	Gary L. Peterson, John H. Reif	Multiple-Person Alternation	FOCS	1979	DBLP DOI BibTeX RDF
18	Walter L. Ruzzo	Tree-Size Bounded Alternation	STOC	1979	DBLP DOI BibTeX RDF
18	Hien Q. Nguyen	n-Alternation deficiency of geometric rank-functions.	Discret. Math.	1978	DBLP DOI BibTeX RDF
18	Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk	On Alternation (Preliminary Version)	FOCS	1978	DBLP DOI BibTeX RDF
18	C. R. Reddy, Donald W. Loveland	Presburger Arithmetic with Bounded Quantifier Alternation	STOC	1978	DBLP DOI BibTeX RDF
18	Ashok K. Chandra, Larry J. Stockmeyer	Alternation	FOCS	1976	DBLP DOI BibTeX RDF
18	George Goe	Three axiom negation-alternation formulations of the truth-functional calculus.	Notre Dame J. Formal Log.	1964	DBLP DOI BibTeX RDF
11	Christian Prins	A GRASP × Evolutionary Local Search Hybrid for the Vehicle Routing Problem.	Bio-inspired Algorithms for the Vehicle Routing Problem	2009	DBLP DOI BibTeX RDF
11	Jian Chen 0008, Jie Jia, Yingyou Wen, Dazhe Zhao, Jiren Liu	Modeling and extending lifetime of wireless sensor networks using genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	solution granularity, genetic algorithm, wireless sensor network, coverage, network lifetime
11	Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu	A Logic-Based Framework for Reasoning about Composite Data Structures.	CONCUR	2009	DBLP DOI BibTeX RDF
11	Jacques Duparc, Alessandro Facchini, Filip Murlak	Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.	CSL	2009	DBLP DOI BibTeX RDF
11	Jiajun Wen 0001, Yinwei Zhan	Vision-based two hand detection and tracking.	ICIS	2009	DBLP DOI BibTeX RDF	hand detection and tracking, grey model, CamShift
11	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Open answer set programming with guarded programs.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	fixed-point logic, open domains, Answer set programming
11	Miriam Allalouf, Yuval Shavitt	Centralized and distributed algorithms for routing and weighted max-min fair bandwidth allocation.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	maximum concurrent multi-commodity flow problem, maxmin fairness criteria, distributed algorithm, bandwidth allocation
11	Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Vérel	Studying the Effects of Dual Coding on the Adaptation of Representation for Linkage in Evolutionary Algorithms.	Linkage in Evolutionary Computation	2008	DBLP DOI BibTeX RDF	Difficult Optimization, Dynamic Representation, Genetic Algorithms, Performance, Agents, Parallelization, Serialization, Steady State, Linkage
11	Mark Steedman	The Grammar of Scope.	WoLLIC	2008	DBLP DOI BibTeX RDF
11	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
11	António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo	A framework for dependable QoS adaptation in probabilistic environments.	SAC	2008	DBLP DOI BibTeX RDF	probabilistic QoS, dependability, QoS adaptation
11	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
11	Krishnendu Chatterjee, Thomas A. Henzinger	Value Iteration.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
11	Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner	Solving µ-Calculus Parity Games by Symbolic Planning.	MoChArt	2008	DBLP DOI BibTeX RDF
11	Lei Yang, Xiaopeng Zhang 0001	The Non-market Value Assessment in E-Learning.	ISIP	2008	DBLP DOI BibTeX RDF
11	Etsuro Moriya, Friedrich Otto	On Alternating Phrase-Structure Grammars.	LATA	2008	DBLP DOI BibTeX RDF
11	Antonio Ferreira 0001, Valeria Herskovic, Pedro Antunes 0001	Attention-Based Management of Information Flows in Synchronous Electronic Brainstorming.	CRIWG	2008	DBLP DOI BibTeX RDF
11	Francisco Gomez-Martin, Perouz Taslakian, Godfried T. Toussaint	Evenness preserving operations on musical rhythms.	C3S2E	2008	DBLP DOI BibTeX RDF	music, geometry, operations, rhythms
11	Mark Gabel, Zhendong Su 0001	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
11	Jun Zhou, Mingxing He	An Improved Distributed Key Management Scheme in Wireless Sensor Networks.	WISA	2008	DBLP DOI BibTeX RDF	Distributed wireless sensor networks, Key management, Secret sharing, Continuity
11	Ching-Te Huang, Cheng-Han Tsai, Chun-Ping Jen	Effects of Supraphysiological Thermal Injury in Human Embryonic Kidney Cells.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Thermal Injury, supraphysiological temperatures
11	Anthony Cox, Maryanne Fisher	Examining Programmer's Cognitive Skills Using Regular Language.	ACHI	2008	DBLP DOI BibTeX RDF	cognitive skills, programming skills, program comprehension, formal language, regular expressions, regular languages
11	Zhisong Wang, Alexander Maier, Nikos K. Logothetis, Hualou Liang	Single-trial bistable perception classification based on sparse nonnegative tensor decomposition.	IJCNN	2008	DBLP DOI BibTeX RDF
11	Antonio Ferreira 0001, Pedro Antunes 0001	An Attentive Groupware Device to Mitigate Information Overload.	DSV-IS	2008	DBLP DOI BibTeX RDF
11	Dieter van Melkebeek, Konstantin Pervyshev	A Generic Time Hierarchy with One Bit of Advice.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	Subject classification. 68Q15, 68Q10
11	K. Subramani 0001	On a decision procedure for quantified linear programs.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68W05, 68Q17, 90C05, 68W40
11	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
11	Liron D. Grossmann, Yonina C. Eldar	An L1-Method for the Design of Linear-Phase FIR Digital Filters.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
11	Jorge Coelho 0001, Mário Florido	XCentric: logic programming for XML processing.	WIDM	2007	DBLP DOI BibTeX RDF	logic programming, XML processing
11	Marco Beccuti, Giuliana Franceschinis, Serge Haddad	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.	ICATPN	2007	DBLP DOI BibTeX RDF
11	Sarah Lopez, Guoqing Lu, Zhengxin Chen	Modeling miRNA data.	SAC	2007	DBLP DOI BibTeX RDF	miRNA, XML, database, relational database, data modeling
11	Zhilin Wu	On the Expressive Power of QLTL.	ICTAC	2007	DBLP DOI BibTeX RDF
11	Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Vérel	Evolving dynamic change and exchange of genotype encoding in genetic algorithms for difficult optimization problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Md. Monirul Islam, Mohammad Shafiul Alam, Kazuyuki Murase	A New Recurring Multistage Evolutionary Algorithm for Solving Problems Efficiently.	IDEAL	2007	DBLP DOI BibTeX RDF	exploitation and optimization problem, Evolutionary algorithm, exploration
11	Andrew Butterfield	A Denotational Semantics for Handel-C.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
11	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	ATVA	2007	DBLP DOI BibTeX RDF
11	Matthew Hague, C.-H. Luke Ong	Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.	FoSSaCS	2007	DBLP DOI BibTeX RDF
11	Pierre Genevès, Nabil Layaïda, Alan Schmitt	Efficient static analysis of XML paths and types.	PLDI	2007	DBLP DOI BibTeX RDF	satisfiability, modal logic, XPath, type checking
11	Zaojie Kong, Dan Wang, Jianjun Zhang	A Strategic Framework for Enterprise Information Integration of ERP and E-Commerce.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Web Services, Agent, E-commerce, ERP, Enterprise information integration
11	Xuefeng Zhang 0001, Yutong Wang, Qingling Zhang 0001, Baoyan Zhu	Design and Algorithms Realization of Rough Set Simulation Tool Box.	FSKD (1)	2007	DBLP DOI BibTeX RDF
11	Joshua Trzasko, Armando Manduca, Eric Borisch	Robust Kernel Methods for Sparse MR Image Reconstruction.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
11	Mani Swaminathan, Martin Fränzle	A Symbolic Decision Procedure for Robust Safety of Timed Systems.	TIME	2007	DBLP DOI BibTeX RDF
11	Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman	Strategy Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
11	Adam Ponzi	Model of Balance of Excitation and Inhibition in Hippocampal Sharp Wave Replays and Application to Spatial Remapping.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Alain Frisch, Haruo Hosoya	Towards Practical Typechecking for Macro Tree Transducers.	DBPL	2007	DBLP DOI BibTeX RDF
11	Jean-Julien Aucouturier, Yuta Ogai, Takashi Ikegami	Making a Robot Dance to Music Using Chaotic Itinerancy in a Network of FitzHugh-Nagumo Neurons.	ICONIP (2)	2007	DBLP DOI BibTeX RDF
11	Pierre Genevès, Nabil Layaïda	A system for the static analysis of XPath.	ACM Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF	XML, query, logic, XPath, equivalence, Containment
11	Hiroshi Saruwatari, Toshiya Kawamura, Tsuyoki Nishikawa, Akinobu Lee, Kiyohiro Shikano	Blind source separation based on a fast-convergence algorithm combining ICA and beamforming.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
11	Yang Xiao, Yicheng Jin, Yong Yin, Zhuoyu Wu	GPU Based Real-time Shadow Research.	CGIV	2006	DBLP DOI BibTeX RDF	ultra-shadow, stencil buffer, virtual environment, shadow, GPU method
11	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001	Implementing Influence Analysis Using Parameterised Boolean Equation Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
11	Guoqiang Pan, Moshe Y. Vardi	Fixed-Parameter Hierarchies inside PSPACE.	LICS	2006	DBLP DOI BibTeX RDF
11	Yang Xiao, Yicheng Jin	GPU Based Real-time Shadow Research in Large Ship-handling Simulator.	IV	2006	DBLP DOI BibTeX RDF	ultra-shadow, stencil buffer, virtual environment, shadow, GPU method
11	Sumiyo Nishiguchi	Covert Emotive Modality Is a Monster.	JSAI	2006	DBLP DOI BibTeX RDF	monster, fake past, fake present, wide scope also, attitude
11	Bow-Yaw Wang	On the Satisfiability of Modular Arithmetic Formulae.	ATVA	2006	DBLP DOI BibTeX RDF
11	Liu Zhenjuan, Pan Bo, Li Hongguang	Batch Process Fault Diagnosis Based on Fuzzy Petri Nets.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
11	Fuqing Zhao, Yahong Yang, Qiuyu Zhang, Huawei Yi	Timed Petri-Net(TPN) Based Scheduling Holon and Its Solution with a Hybrid PSO-GA Based Evolutionary Algorithm(HPGA).	PRICAI	2006	DBLP DOI BibTeX RDF
11	Mi-Sun Ryu, Hong-Shik Park, Sang-Chul Shin	QoS class mapping over heterogeneous networks using Application Service Map.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
11	John R. Kender, Milind R. Naphade	Video News Shot Labeling Refinement via Shot Rhythm Models.	ICME	2006	DBLP DOI BibTeX RDF
11	Jin Ho Lee, Young Hoon Lee, Yun Ho Lee	Mathematical Modeling and Tabu Search Heuristic for the Traveling Tournament Problem.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
11	Se-Won Jung, Chae-Woo Lee	Energy-Aware Routing Algorithm Using Backup Route for Ad-Hoc Networks.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
11	Ying Liang, Wenyong Wang, Shaochun Zhong, Qingrong Zhang, Yao Wang, Xiao-Lin Quan, Qian Xu 0004	Virtual Biology Modeling Method Based on Validity Confirmation Mechanism.	ICAT	2006	DBLP DOI BibTeX RDF	virtual biology model, valid confirmation, similarity appraisal, teaching confirmation, model match
11	Laura Bozzelli	Complexity Results on Branching-Time Pushdown Model Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
11	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	What's Decidable About Arrays?	VMCAI	2006	DBLP DOI BibTeX RDF
11	Lauri Hella, Jose Maria Turull Torres	Complete Problems for Higher Order Logics.	CSL	2006	DBLP DOI BibTeX RDF	Lindström Quantifiers, Complete Problems, Higher Order Logics
11	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming with Generalized Literals.	FoIKS	2006	DBLP DOI BibTeX RDF
11	Dieter van Melkebeek, Konstantin Pervyshev	A Generic Time Hierarchy for Semantic Models with One Bit of Advice.	CCC	2006	DBLP DOI BibTeX RDF
11	Pierre Genevès, Nabil Layaïda	Comparing XML path expressions.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	analysis, experimentation, XPath
11	Carme Julià, Angel Domingo Sappa, Felipe Lumbreras, Joan Serrat 0002, Antonio M. López 0001	An Iterative Multiresolution Scheme for SFM.	ICIAR (1)	2006	DBLP DOI BibTeX RDF
11	Alexandre R. J. François, Ram Nevatia, Jerry R. Hobbs, Robert C. Bolles	VERL: An Ontology Framework for Representing and Annotating Video Events.	IEEE Multim.	2005	DBLP DOI BibTeX RDF	VERL, VEML, object ontology, modeling, standardization, sequencing, video annotation, ISO, video representation
11	Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce	Regular expression types for XML.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	XML, Type systems, subtyping
11	Atsushi Fujita, Kentaro Inui, Yuji Matsumoto 0001	Exploiting Lexical Conceptual Structure for Paraphrase Generation.	IJCNLP	2005	DBLP DOI BibTeX RDF
11	Jan Friso Groote, Misa Keinänen	A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.	ICTAC	2005	DBLP DOI BibTeX RDF
11	Atsuko Mutoh, Shohei Kato, Hidenori Itoh	Efficient real-coded genetic algorithms with flexible-step crossover.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
11	Luigi Santocanale	Completions of µ-algebras.	LICS	2005	DBLP DOI BibTeX RDF
11	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
11	Radek Pelánek, Jan Strejcek	Deeper Connections Between LTL and Alternating Automata.	CIAA	2005	DBLP DOI BibTeX RDF
11	Jialie Shen 0001, John Shepherd 0001, Anne H. H. Ngu	On Efficient Music Genre Classification.	DASFAA	2005	DBLP DOI BibTeX RDF	Human Factor, Genre, Music Classification
11	Lauri Karttunen	Finnish Optimality-Theoretic Prosody.	FSMNLP	2005	DBLP DOI BibTeX RDF
11	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-Free Parallel Garbage Collection.	ISPA	2005	DBLP DOI BibTeX RDF
11	Yangli Wang, Chengke Wu 0001	Low Complexity Multiple Description Coding Method for Wireless Video.	AINA	2005	DBLP DOI BibTeX RDF
11	Takashi Minohara, Satoshi Ishikawa, Masahiro Amano	Centralized Surveillance of Unused Address Space by using Virtual Networks.	PRDC	2005	DBLP DOI BibTeX RDF
11	Volker Weispfenning	Solving Linear Differential Problems with Parameters.	CASC	2005	DBLP DOI BibTeX RDF
11	Xiaowei He, Jiyi Wang, Jiong Jia	Fuzzy approximation operators based on internal/external factors analysis.	GrC	2005	DBLP DOI BibTeX RDF
11	Michael Breakspear, Leanne M. Williams, Cornelis J. Stam	A Novel Method for the Topographic Analysis of Neural Activity Reveals Formation and Dissolution of 'Dynamic Cell Assemblies'.	J. Comput. Neurosci.	2004	DBLP DOI BibTeX RDF	neural synchronization, nonlinear desynchronization, EEG coherence, cognition
11	HoonSang Jin, Kavita Ravi, Fabio Somenzi	Fate and free will in error traces.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Reachability game, Model checking, Counterexample
11	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with Uniqueness Properties.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
11	Farshad Moradi	Information coding and oscillatory activity in synfire neural networks with and without inhibitory coupling.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
11	Li Chen, Yuechao Wang, Shugen Ma, Bin Li 0001	Studies on Lateral Rolling Locomotion of a Snake Robot.	ICRA	2004	DBLP DOI BibTeX RDF
11	Dong-Yeon Cho, Byoung-Tak Zhang	Evolutionary Continuous Optimization by Distribution Estimation with Variational Bayesian Independent Component Analyzers Mixture Model.	PPSN	2004	DBLP DOI BibTeX RDF
11	Nicole Schweikardt	On the Expressive Power of Monadic Least Fixed Point Logic.	ICALP	2004	DBLP DOI BibTeX RDF