Conferences in DBLP
Ricardo A. Baeza-Yates Graphs from Search Engine Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Lubos Brim , Mojmír Kretínský Model-Checking Large Finite-State Systems and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Interaction and Realizability. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Chevaleyre , Ulle Endriss , Jérôme Lang , Nicolas Maudet A Short Introduction to Computational Social Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Asaf Efrima , David Peleg Distributed Models and Algorithms for Mobile Robot Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew V. Goldberg Point-to-Point Shortest Path Algorithms with Preprocessing. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger Games, Time, and Probability: Graph Models for System Design and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas R. Jennings Agreement Technologies. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer , Ilinca Ciupa , Andreas Leitner , Lisa Ling Liu Automatic Testing of Object-Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz W. Schmidt Architecture-Based Reasoning About Performability in Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Remco C. Veltkamp Multimedia Retrieval Algorithmics. [Citation Graph (0, 0)][DBLP ] Conf ] Ruben Agadzanyan , Rusins Freivalds Size of Quantum Finite State Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Yuichi Asahiro , Eiji Miyano , Shuichi Miyazaki , Takuro Yoshimuta Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey Bereg , Markus Völker , Alexander Wolff , Yuanyi Zhang Straightening Drawings of Clustered Hierarchical Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Hajo Broersma , Bert Marchal , Daniël Paulusma , A. N. M. Salman Improved Upper Bounds for lambda -Backbone Colorings Along Matchings and Stars. [Citation Graph (0, 0)][DBLP ] Conf ] Jérémie Chalopin , Emmanuel Godard , Yves Métivier , Gerard Tel About the Termination Detection in the Asynchronous Message Passing Model. [Citation Graph (0, 0)][DBLP ] Conf ] Raphaël Clifford , Benjamin Sach Fast Approximate Point Set Matching for Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Orhan Dagdeviren , Kayhan Erciyes A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] O'Neil Delpratt , Naila Rahman , Rajeev Raman Compressed Prefix Sums. [Citation Graph (0, 0)][DBLP ] Conf ] Yefim Dinitz , Shay Solomon On Optimal Solutions for the Bottleneck Tower of Hanoi Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslaw Dynia , Miroslaw Korzeniowski , Jaroslaw Kutylowski Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fürer , Shiva Prasad Kasiviswanathan Exact Max 2-Sat: Easier and Faster. [Citation Graph (0, 0)][DBLP ] Conf ] Frantisek Galcík , Gabriel Semanisin Maximum Finding in the Symmetric Radio Networks with Collision Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Gößler , Susanne Graf , Mila E. Majster-Cederbaum , Moritz Martens , Joseph Sifakis An Approach to Modelling and Verification of Component Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mika Hirvensalo Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. [Citation Graph (0, 0)][DBLP ] Conf ] David Janin On the (High) Undecidability of Distributed Synthesis Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Bastian Katz , Marco Gaertler , Dorothea Wagner Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sungwook Kim , Sungchun Kim Online Service Management Algorithm for Cellular/WALN Multimedia Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Pok-Son Kim , Arne Kutzner A Simple Algorithm for Stable Minimum Storage Merging. [Citation Graph (0, 0)][DBLP ] Conf ] Sang-Wook Kim , Seok-Ho Yoon , Sang-Cheol Lee , Junghoon Lee , Miyoung Shin Generating High Dimensional Data and Query Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Kneis , Daniel Mölle , Peter Rossmanith Partial vs. Complete Domination: t-Dominating Set. [Citation Graph (0, 0)][DBLP ] Conf ] Vera Kurková Estimates of Data Complexity in Neural-Network Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Lanese Concurrent and Located Synchronizations in pi -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Su-Mi Lee , Su Youn Lee , Dong Hoon Lee Efficient Group Key Agreement for Dynamic TETRA Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Maier , Steffen Mecke , Dorothea Wagner Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Monnot , Sophie Toulouse The Pk Partition Problem and Related Problems in Bipartite Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Pedreira , Nieves R. Brisaboa Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Lukás Petru , Jirí Wiedermann A Model of an Amorphous Computer and Its Communication Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Quadri , Éric Soutif , Pierre Tolla A Branch-and-Bound Algorithm to Solve Large Scale Integer Quadratic Multi-Knapsack Problems. [Citation Graph (0, 0)][DBLP ] Conf ] M. Sohel Rahman , Costas S. Iliopoulos Indexing Factors with Gaps. [Citation Graph (0, 0)][DBLP ] Conf ] Joel Ratsaby Information Efficiency. [Citation Graph (0, 0)][DBLP ] Conf ] Bala Ravikumar , Nicolae Santean Deterministic Simulation of a NFA with k -Symbol Lookahead. [Citation Graph (0, 0)][DBLP ] Conf ] Jae-Kwon Seo , Kyung-Geun Lee Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Stamer , Friedrich Otto Restarting Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Síma , Stanislav Zák A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3. [Citation Graph (0, 0)][DBLP ] Conf ] Ladislav Vagner , Borivoj Melichar Formal Translation Directed by Parallel LLP Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Hua Wang , Zuquan Ge , Jun Ma Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast. [Citation Graph (0, 0)][DBLP ] Conf ] Qingjun Xiao , Ruonan Rao , Jinyuan You A Language for Reliable Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoxiao Yang , Zhenhua Duan Operational Semantics of Framed Temporal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Zankl , Nao Hirokawa , Aart Middeldorp Constraints for Argument Filterings. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Cubillos , Franco Guidi-Polanco , Ricardo Soto Performance Analysis of a Multiagent Architecture for Passenger Transportation. [Citation Graph (0, 0)][DBLP ] Conf ] Reza Ebrahimpour , Ehsanollah Kabir , Mohammad Reza Yousefi Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Mi-young Kang , Omar F. Hamad , Choung-Ung Pom , Ji-Seung Nam FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Karpowicz , Krzysztof Malinowski On Efficient Resource Allocation in Communication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Byungryong Kim Protecting Agent from Attack in Grid ComputingIII . [Citation Graph (0, 0)][DBLP ] Conf ] Javad Safaei , Gholamreza Ghassem-Sani Incremental Learning of Planning Operators in Stochastic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Vokrínek , Jirí Bíba , Jirí Hodík , Jaromír Vybíhal , Michal Pechoucek Competitive Contract Net Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Xue Xiao , Zeng Zhifeng , Cui Ying Agent Oriented Methodology Construction and Customization with HDA. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bartalos , Michal Barla , György Frivolt , Michal Tvarozek , Anton Andrejko , Mária Bieliková , Pavol Návrat Building an Ontological Base for Experimental Evaluation of Semantic Web Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Heung-Nam Kim , Ae-Ttie Ji , Soon-Geun Lee , GeunSik Jo Semantic Web Approach in Designing a Collaborative E-Item Bank System. [Citation Graph (0, 0)][DBLP ] Conf ] Deok-Hwan Kim , Jae-Won Song , Ju-Hong Lee A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web. [Citation Graph (0, 0)][DBLP ] Conf ] José Paulo Leal , Marcos Aurélio Domingues Rapid Development of Web Interfaces to Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dae Sung Lee , Ki-Chang Kim , Year Back Yoo Enhancing Security by Embedding Biometric Data in IP Header. [Citation Graph (0, 0)][DBLP ] Conf ] Hyunho Lee , Wonsuk Lee Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Li , Fangchun Yang , Kai Shuang , Sen Su A Semantic Peer-to-Peer Overlay for Web Services Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Sun Park , Ju-Hong Lee , Deok-Hwan Kim , Chan-Min Ahn Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Josep Silva A Program Slicing Based Method to Filter XML/DTD Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Joe Tekli , Richard Chbeir , Kokou Yétongnon A Hybrid Approach for XML Similarity. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Tvarozek , Michal Barla , Mária Bieliková Personalized Presentation in Web-Based Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jianyin Zhang , Fangchun Yang , Kai Shuang , Sen Su Immune-Inspired Online Method for Service Interactions Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Chen , Zhiming Liu , Vladimir Mencl Separation of Concerns and Consistent Integration in Requirements Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Yunja Choi Checking Interaction Consistency in MARMOT Component Refinements. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Collet , Alain Ozanne , Nicolas Rivierre Towards a Versatile Contract Model to Organize Behavioral Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Drazan , Vladimir Mencl Improved Processing of Textual Use Cases: Deriving Behavior Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Harksoo Kim A Dialogue-Based NLIDB System in a Schedule Management Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Jai Wug Kim , Jongpil Lee , Heon Young Yeom Experimental Assessment of the Practicality of a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum , Moritz Martens , Christoph Minnameier A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Matousek , Filip Zavoral Extracting Zing Models from C Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Ian D. Peake , Heinz W. Schmidt Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Schreiner , Karl M. Göschka Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 