Search results for "SOFSEM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Forster, Christian Bachmaier	Clustered Level Planarity.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller (eds.)	SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Peter C. Lockemann, Jens Nimis	Flexibility through Multiagent Systems: Solution or Illusion?	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Lukás Sekanina	Evolving Constructors for Infinitely Growing Sorting Networks and Medians.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Keith G. Jeffery	Database Research Issues in a WWW and GRIDs World.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Matej Makula, Michal Cernanský, Lubica Benusková	Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Ning Chen 0005, Hong Zhu 0004	Fully Truthful Mechanisms.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Dimitris Plexousakis	Querying and Viewing the Semantic Web: An RDF-Based Perspective.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Danuta Rutkowska	Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Bernadette Charron-Bost, Fabrice Le Fessant	Validity Conditions in Agreement Problems and Time Complexity.	SOFSEM	2004	DBLP DOI BibTeX RDF	Complexity, Distributed Algorithms
1	V. Kumar	Integration, Diffusion, and Merging in Information Management Discipline.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Natasa Milic-Frayling	World Wide Web Challenges: Supporting Users in Search and Navigation.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Miguel Ángel Sicilia Urbán, Elena García-Barriocanal	Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts.	SOFSEM	2004	DBLP DOI BibTeX RDF	Fuzzy conceptual modelling, cooperative information retrieval, adaptive hypermedia, fuzzy databases
1	G. Ravindra, N. Balakrishnan 0001, K. R. Ramakrishnan	Multi-document Automatic Text Summarization Using Entropy Estimates.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Aija Berzina, Andrej Dubrovsky, Rusins Freivalds, Lelde Lace, Oksana Scegulnaja	Quantum Query Complexity for Some Graph Problems.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Ladislava Janku	Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds - Combining Information Theoretical and Supervised Pattern Recognition Approaches.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Ralf Schweimeier, Michael Schroeder 0001	Fuzzy Unification and Argumentation for Well-Founded Semantics.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Tadeusz Pankowski	Processing XPath Expressions in Relational Databases.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Mária Bieliková, Ivan Noris	A Model of Versioned Web Sites.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	H. Jaap van den Herik, H. H. L. M. Donkers	Games, Theory and Applications.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Martin Kavalec, Alexander Maedche, Vojtech Svátek	Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Peter Sanders 0001	Algorithms for Scalable Storage Servers.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Marcel Jirina, Marcel Jirina Jr.	Features of Neighbors Spaces.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin	Theory of One Tape Linear Time Turing Machines.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Sebastian Wernicke 0001, Jochen Alber, Jens Gramm, Jiong Guo, Rolf Niedermeier	Avoiding Forbidden Submatrices by Row Deletions.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	R. Elijah Blessing, V. Rhymend Uthariaraj	Design of Secure Multicast Models for Mobile Services.	SOFSEM	2004	DBLP DOI BibTeX RDF	Basic simple model, Enhanced LeaSel, security, mobile, complexity, Multicast, encryptions, key distribution
1	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An Embedded Language Approach to Router Specification in Curry.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos	Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Sergio Miguel Fernandes, João P. Cachopo, António Rito Silva	Supporting Evolution in Workflow Definition Languages.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Pavel Zezula, Federica Mandreoli, Riccardo Martoglia	Tree Signatures and Unordered XML Pattern Matching.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Dirk Bongartz	Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints.	SOFSEM	2004	DBLP DOI BibTeX RDF
1	Marcel Worring, Andrew D. Bagdanov, Jan C. van Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber, Cees Snoek, Jeroen Vendrig, Jan Wielemaker, Arnold W. M. Smeulders	Interactive Indexing and Retrieval of Multimedia Content.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr	Database Support for Multisource Multiresolution Scientific Data.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan	A Model-Based Approach to Semantic-Based Retrieval of Visual Information.	SOFSEM	2002	DBLP DOI BibTeX RDF	ontology-based image retrieval, visual cue co-occurrence, contextual image matching, Semantic image classification
1	Martin Kutrib, Jan-Thomas Löwe	String Transformation for n -Dimensional Image Compression.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Maria Luisa Sapino	Multimedia Presentations Databases.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Fairouz Kamareddine	On Functions and Types: A Tutorial.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Ulrich Ultes-Nitsche	Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Jürgen Assfalg, Marco Bertini 0001, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati	Semantic Annotation and Indexing of News and Sports Videos.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Keith G. Jeffery	Data Management Challenges for GRID Computing.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
1	Maciej Gebala	The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Roman Barták	Modelling Resource Transitions in Constraint-Based Scheduling.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Marek Kisiel-Dorohinicki	Agent-Oriented Model of Simulated Evolution.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	William I. Grosky, Frantisek Plásil (eds.)	SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings	SOFSEM	2002	DBLP DOI BibTeX RDF
1	K. Subramani 0001	A Specification Framework for Real-Time Scheduling.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Gatis Midrijanis	The Complexity of Probabilistic versus Quantum Finite Automata.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen 0001	Solving Conflicts of Agent Knowledge States in Multiagent Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Didier Dubois, Henri Prade	Bipolarity in Possibilistic Logic and Fuzzy Rules.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Kornél Kovács, András Kocsor, László Tóth 0001	Hungarian Speech Synthesis Using a Phase Exact HNM Approach.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Costas S. Iliopoulos, Manal Mohamed 0001	Validation and Decomposition of Partially Occluded Images.	SOFSEM	2002	DBLP DOI BibTeX RDF	valid image, approximate valid image, image decomposition
1	Hacène Fouchal	Conformance Testing Techniques for Timed Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Antonín Kucera 0001, Petr Jancar	Equivalence-Checking with Infinite-State Systems: Techniques and Results.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Vangalur S. Alagar, Kasilingam Periyasamy	Specification and Verification of Secure Business Transaction Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský	Multi-agent Systems as Concurrent Constraint Processes.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Zdenek Sawa, Petr Jancar	P-Hardness of Equivalence Testing on Finite-State Processes.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Martin Beran	Pipelined Decomposable BSP Computers.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Anna Slobodová	Formal Verification Methods for Industrial Hardware Design.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	William I. Grosky, Rong Zhao	Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Domenico Laforenza	From Metacomputing to Grid Computing: Evolution or Revolution?	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Christos Kaklamanis	Recent Advances in Wavelength Routing.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Tomás Plachetka, Olaf Schmidt, Frank Albracht	The HiQoS Rendering System.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Rusins Freivalds, Andreas J. Winter 0002	Quantum Finite State Transducers.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Bernadette Charron-Bost	Agreement Problems in Fault-Tolerant Distributed Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Osamu Watanabe 0001	How Can Computer Science Contribute to Knowledge Discovery?	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Richard F. Bonner, Rusins Freivalds, Maksim Kravtsev	Quantum versus Probabilistic One-Way Finite Automata with Counter.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Nicola Santoro	Distributed Computations by Autonomous Mobile Robots.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Jan van Leeuwen, Jirí Wiedermann	Beyond the Turing Limit: Evolving Interactive Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Leszek Pacholski, Peter Ruzicka (eds.)	SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Hamideh Afsarmanesh, Ersin Cem Kaletas, Louis O. Hertzberger	The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Sándor Jenei	Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited.	SOFSEM	2001	DBLP DOI BibTeX RDF	Sparse rule base, Interpolation/extrapolation of fuzzy rules, Knowledge-based systems, Expert system, Fuzzy sets, Fuzzy control, Inference, Approximate reasoning
1	Henning Fernau	Approximative Learning of Regular Languages.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski	Model Checking Communication Protocols.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Richard Královic	Time and Space Complexity of Reversible Pebbling.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Vaughan R. Pratt	Software Geography: Physical and Economic Aspects.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Adriano Di Pasquale, Enrico Nardelli	ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs.	SOFSEM	2001	DBLP DOI BibTeX RDF	scalable distributed data structure, message passing environment, multi-dimensional search
1	Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz	Bounding Lamport's Bakery Algorithm.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Isto Aho	On the Approximability of Interactive Knapsack Problems.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Martin Plátek	Two-Way Restarting Automata and J-Monotonicity.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek	How to Employ Reverse Search in Distributed Single Source Shortest Paths.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Simon C. Lambert	Knowledge-Based Control Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	András Kocsor, János Csirik	Fast Independent Component Analysis in Kernel Feature Spaces.	SOFSEM	2001	DBLP DOI BibTeX RDF	FastICA, phoneme classification, feature extraction, Independent Component Analysis, kernel methods
1	Rastislav Kralovic	On Majority Voting Games in Trees.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Leo Galambos	Lemmatizer for Document Information Retrieval Systems in JAVA.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Maciej Gebala	The Reconstruction of Polyominoes from Approximately Orthogonal Projections.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal	An Automatic Composition Algorithm for Functional Logic Programs.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Sidney E. Benda	Physical Design of CMOS Chips in Six Easy Steps.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Marina Kolesnik	On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Dines Bjørner	Domain Engineering: A Software Engineering Discipline in Need of Research.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Cristina De Castro	A Temporal Layered Knowledge Architecture for an Evolving Structured Environment.	SOFSEM	2000	DBLP DOI BibTeX RDF	structured environment, environment evolution, hierarchical graph connection Dedication: to Enrico Denti, with deep esteem and gratitude
1	Jürg Nievergelt	Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Rolf Pfeifer, Dimitrios Lambrinos	Cheap Vision-Exploiting Ecological Niche and Morphology.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Jaroslav Král, Michal Zemlicka	Autonomous Components.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Tao Jiang 0001, Ming Li 0001, Paul M. B. Vitányi	The Incompressibility Method.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Martin Holub	Use of Dependency Microcontexts in Information Retrieval.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Arno Siebes	BioInformatics: Databases + Data Mining (abstract).	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi, Hirofumi Sakurai	Information Access Based on Associative Calculation.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Stasys Jukna, Stanislav Zák	Some Notes on the Information Flow in Read-Once Branching Programs.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Martin Kutrib, Jan-Thomas Löwe	Massively Parallel Pattern Recognition with Link Failures.	SOFSEM	2000	DBLP DOI BibTeX RDF
1	Dirk Bongartz	On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Suerstring Problem.	SOFSEM	2000	DBLP DOI BibTeX RDF

Publications at "SOFSEM"( http://dblp.L3S.de/Venues/SOFSEM )