The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (sofsem)
2002 (conf/sofsem/2002)

  1. Hacène Fouchal
    Conformance Testing Techniques for Timed Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:1-19 [Conf]
  2. Ralf Reussner
    Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:20-40 [Conf]
  3. Antonín Kucera, Petr Jancar
    Equivalence-Checking with Infinite-State Systems: Techniques and Results. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:41-73 [Conf]
  4. Fairouz Kamareddine
    On Functions and Types: A Tutorial. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:74-93 [Conf]
  5. Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
    Database Support for Multisource Multiresolution Scientific Data. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:94-114 [Conf]
  6. Jürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati
    Semantic Annotation and Indexing of News and Sports Videos. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:115-131 [Conf]
  7. Maria Luisa Sapino
    Multimedia Presentations Databases. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:132-134 [Conf]
  8. Marcel Worring, Andrew D. Bagdanov, Jan 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. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:135-148 [Conf]
  9. Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan
    A Model-Based Approach to Semantic-Based Retrieval of Visual Information. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:149-167 [Conf]
  10. Didier Dubois, Henri Prade
    Bipolarity in Possibilistic Logic and Fuzzy Rules. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:168-173 [Conf]
  11. Keith G. Jeffery
    Data Management Challenges for GRID Computing. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:174-180 [Conf]
  12. Kornél Kovács, András Kocsor, László Tóth
    Hungarian Speech Synthesis Using a Phase Exact HNM Approach. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:181-185 [Conf]
  13. Roman Barták
    Modelling Resource Transitions in Constraint-Based Scheduling. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:186-194 [Conf]
  14. K. Subramani
    A Specification Framework for Real-Time Scheduling. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:195-207 [Conf]
  15. Martin Kutrib, Jan-Thomas Löwe
    String Transformation for n -Dimensional Image Compression. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:208-217 [Conf]
  16. Costas S. Iliopoulos, Manal Mohamed
    Validation and Decomposition of Partially Occluded Images. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:218-230 [Conf]
  17. Radoslaw Katarzyniak, Ngoc Thanh Nguyen
    Solving Conflicts of Agent Knowledge States in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:231-239 [Conf]
  18. Vangalur S. Alagar, Kasilingam Periyasamy
    Specification and Verification of Secure Business Transaction Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:240-252 [Conf]
  19. Marek Kisiel-Dorohinicki
    Agent-Oriented Model of Simulated Evolution. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:253-261 [Conf]
  20. Maciej Gebala
    The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:262-272 [Conf]
  21. Gatis Midrijanis
    The Complexity of Probabilistic versus Quantum Finite Automata. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:273-278 [Conf]
  22. Ulrich Ultes-Nitsche
    Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:279-288 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002