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 |
|