Naposledy ...

Blocking mechanisms in description logics, a general approach

Dmitry Tishkovsky - 11.6.2008

We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.


Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test

Dmitry Tishkovsky - 9.6.2008

The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.


A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

Dmitry Tishkovsky - 11.6.2008

A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.


Valid XHTML 1.0!

Výsledky - Publikace

Rok 2008 Rok 2007 Rok 2006 Rok 2005 Rok 2004 Roky 2004-2008
 
The list of publications in RDF format

 
 
2008
0
0
1
1 / 0
1
2
1
4 / 0
17
32
12
59 / 12
4
0
2
6 / 0
1
0
0
1 / 1
celkem
24
35
20
77 / 14


Paper in pdf format
See abstract
Ali K., Pokorný Jaroslav
A Three-Dimensional XML-Based Model
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 659-671.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Bartoň Stanislav, Zezula Pavel
Indexing Structure for Graph-Structured Data
In: Studies in Computational Intelligence, Volume: 165, Springer Berlin/Heidelberg, Berlin, 2008, pp. 167-188.
Bartoň Stanislav, Dohnal Vlastislav, Sedmidubský Jan, Zezula Pavel
Building Self-Organized Image Retrieval Network
In: Proceedings of 6th Workshop on Large-Scale Distributed Systems for Information Retrieval (LSDS-IR '08), ACM, USA, 2008. (in_print)
Basovník Stanislav, Dekár Martin, Jusko Pavol, Mikulík Andrej, Obdržálek David, Pechal Radim, Petrůšek Tomáš, Piták Roman
Logion - A Robot Which Collects Rocks
In: Proc. of International Conference on Research and Education in Robotics, 2008, pp. 276-287. ISBN: 978-80-7378-042-5
Presented at: EUROBOT 2008: International Conference on Research and Education in Robotics, 21.-24.5.2008, Heidelberg, Germany.
See abstract
Batko Michal, Skopal Tomáš, Lokoč Jakub
New Dynamic Construction Techniques for M-tree
In: Journal of Discrete Algorithms, Elsevier, Amsterdam, The Netherlands, 2008. (in_print)
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
Scalability Comparison of Peer-to-Peer Similarity Search Structures
In: Future Generation Computer Systems, Volume: 24, No: 8, Elsevier, Amsterdam, The Netherlands, 2008, pp. 834-848.
See abstract
Batko Michal, Skopal Tomáš, Lokoč Jakub
New Dynamic Construction Techniques for M-tree
In: Journal of Discrete Algorithms, Elsevier, Amsterdam, The Netherlands, 2008. (in_print)
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
Scalability Comparison of Peer-to-Peer Similarity Search Structures
In: Future Generation Computer Systems, Volume: 24, No: 8, Elsevier, Amsterdam, The Netherlands, 2008, pp. 834-848.
Batko Michal, Kohoutková Petra, Zezula Pavel
Combining Metric Features in Large Collections
In: 1st International Workshop on Similarity Search and Applications (SISAP 2008), IEEE Computer Society, Los Alamitos CA, Washington, Tokyo, 2008, pp. 79-86.
Batko Michal, Falchi Fabrizio, Lucchese Claudio, Novák David, Perego Raffaele, Rabitti Fausto, Sedmidubský Jan, Zezula Pavel
Crawling, Indexing, and Similarity Searching Images on the Web
In: Proceedings of the Sixteenth Italian Symposium on Advanced Database, 2008, pp. 382-389.
Bednárek David
Output-Driven XQuery Evaluation
In: Proc. of 2nd International Symposium on Intelligent Distributed Computing, Studies in Computational Intelligence, (Ed. C. Badica et al.), Volume: 162, Springer-Verlag, Heidelberg, 2008, pp. 55-64. ISBN: 978-3-540-85256-8
Presented at: IDC 2008: 2nd International Symposium on Intelligent Distributed Computing, 18.-19.9.2008, Catania, Italy.
Bednárek David
Reducing Temporary Trees in XQuery
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 30-45. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Bednárek David, Yaghob Jakub, Zavoral Filip
Fine Grained Access Rights Definition in a Three Tiered Information System
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Bednárek David
Extending Datalog to Cover XQuery
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 1-6. ISBN: 978-80-969184-9-2
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Bosch Sonja, Fellbaum Christiane, Pala Karel
Derivational Relations in English, Czech and Bantu Wordnet
In: Proc. of Fourth Global WordNet Conference, University of Szeged, Department of Informatics, 2008, pp. 74-90.
Presented at: GWC 2008, 22.-25.1.2008, Szeged, Hungary.
Paper in pdf format
See abstract
Daniel Milan
Comments on Josang's Normal Coarsening and Consensus Operator
In: IJICIC, Volume: 4, No: 5, 2008, pp. 1079-1088.
See abstract
Daniel Milan
Contribution of DSm Approach to the Belief Function Theory
In: IPMU 2008, 2008, pp. 417-424.
Presented at: IPMU 2008, 22.-27.06.2008, Malaga - Torremolinos, Spain.
Daniel Milan
Relations of DSm Belief Conditioning Rules to Dempster-Shafer Approach
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, (Ed. T. Itoh, A. Shioura), 2008, pp. 63-68.
Presented at: 11th Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, 15.-17.9.2008, Sendai - Tohoku University, Japan.
See abstract
Daniel Milan
Mathematical Structure and Formulas for the minC Combination of Belief Functions
In: Fusion 2008, 2008, pp. 760-767.
Presented at: Fusion 2008, 30.06-03.07.2008, Cologne, Germany.
Dědek Jan, Eckhardt Alan, Vojtáš Peter
Experiments with Czech Linguistic Data and ILS
In: Inductive Logic Programming (Late Breaking Papers), Action M, Prague, 2008, pp. 20-25. ISBN: 978-80-86742-26-7
Presented at: ILP 2008: Inductive Logic Programming, 10.-12.9.2008, Prague, Czech Republic.
Dědek Jan, Vojtáš Peter
Computing aggregations from linguistic web resources: a case study in Czech Republic sector/traffic accidents
In: Proc. of International Conference on Advanced Engineering Computing and Applications in Science, IEEE Computer Society Press, 2008, pp. 7-12. ISBN: 978-0-7695-3369
Presented at: ADVCOMP 2008: International Conference on Advanced Engineering Computing and Applications in Science, 29.9.-4.10.2008, Valencia, Spain.
Paper in pdf format
See abstract
Dědek Jan, Vojtáš Peter
Extrakce informací z textově orientovaných zdrojů webu
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Dědek Jan, Eckhardt Alan, Galamboš Leo, Vojtáš Peter
Sémantický web
In: DATAKON 2008, (Ed. Řepa V., Svatoš O.), Masaryk university, 2008, pp. 12-30.
Presented at: DATAKON 2008, 18.-21.10.2008, Brno, Czech Republic.
See abstract
Dohnal Vlastislav, Gennaro Claudio, Zezula Pavel
Efficiency and Scalability Issues in Metric Access Methods
In: Computational Intelligence in Medical Informatics, Springer Verlag, Berlin, Germany, 2008. ISBN: 978-3-540-75766-5
Paper in pdf format
See abstract
Dohnal Vlastislav, Sedmidubský Jan, Zezula Pavel, Novák David
Similarity Searching: Towards Bulk-loading Peer-to-Peer Networks
In: 1st International Workshop on Similarity Search and Applications (SISAP 2008), IEEE, 2008, pp. 87-94.
Presented at: SISAP 2008 - Workshop at ICDE 2008, 11.-12.04.2008, Cancun, Mexico.
Dokulil Jiří, Katreniaková J.
Visual Exploration of RDF Data
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 572-583. ISBN: 978-3-540-77565-2
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří, Katreniaková J.
Visual Exploration of RDF Data
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 672-683.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Dvořáková Jana, Zavoral Filip
Xord: An Implementation Framework for Efficient XSLT Processing
In: Proc. of 2nd International Symposium on Intelligent Distributed Computing, Studies in Computational Intelligence, (Ed. C. Badica et al.), Volume: 162, Springer-Verlag, Heidelberg, 2008, pp. 95-104. ISBN: 978-3-540-85256-8
Presented at: IDC 2008: 2nd International Symposium on Intelligent Distributed Computing, 18.-19.9.2008, Catania, Italy.
Dvořáková Jana, Zavoral Filip
BUXT Engine in Xord: Fragment Buffers for Streaming XSLT Transformations
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Dvořáková Jana, Zavoral Filip
Schema-Based Analysis of XSLT Streamability
In: Proc. of International Conference on Advanced Engineering Computing and Applications in Science, IEEE Computer Society Press, 2008, pp. 187-192. ISBN: 978-0-7695-3369
Presented at: ADVCOMP 2008: International Conference on Advanced Engineering Computing and Applications in Science, 29.9.-4.10.2008, Valencia, Spain.
Dvořáková Jana, Zavoral Filip
A Low-Memory Streaming Algorithm for XSLT Processing Implemented in Xord Framework
In: Proc. of 1st International Conference on the Applications of Digital Information and Web Technologies, IEEE Computer Society Press, 2008, pp. 239-247. ISBN: 978-1-4244-2624-9
Presented at: ICADIWT 2008: 1st International Conference on the Applications of Digital Information and Web Technologies, 4.-6.8-2008, Ostrava, Czech Republic.
Dvořáková Jana, Zavoral Filip
Determining XSLT Streamability Using New Hierarchical XSD Model
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 7-12. ISBN: 978-80-969184-9-2
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Falchi Fabrizio, Gennaro Claudio, Zezula Pavel
Nearest neighbor search in metric spaces through Content-Addressable Networks
In: Information Processing and Management, Volume: 44, No: 1, Elsevier, 2008, pp. 411-429.
Feuerlicht George, Pokorný Jaroslav, Richta Karel
Object-Relational Database Design: Can your application benefit from SQL:2003?
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Hájek Petr, Mesiar R.
On copulas, quasicopulas and fuzzy logic
In: Soft Computing, Volume: 12, No: 12, Springer, 2008, pp. 1239-1243.
Hliněná Dana, Vojtáš Peter
A Note on an Example of Use of Fuzzy Preference Structures
In: Acta Universitatis Matthiae Belii, Volume: 14, 2008, pp. 29-39.
Horák Aleš, Pala Karel, Rambousek Adam
The Global WordNet Grid Software Design
In: Proc. of Fourth Global WordNet Conference, University of Szeged, Department of Informatics, 2008, pp. 194-199.
Presented at: GWC 2008, 22.-25.1.2008, Szeged, Hungary.
Horák Aleš
Computer Processing of Czech Syntax and Semantics
In:
Horák Aleš, Pala Karel, Rambousek Adam
Tools for Managing Multiligual Lexical Resources
In: Proc. of International Conference Inteligent Information Systems, Polish Academy of Sciences, 2008, pp. 451-460.
Presented at: International Conference Inteligent Information Systems, , Zakopane, Poland.
Ivanova K., Heid U., Schulte im Walde S., Kilgarriff A., Pomikálek Jan
Evaluating a German Sketch Grammar: A Case Study on Noun Phrase Case
In: Proceedings of the Sixth International Language Resources and Evaluation (LREC'08), European Language Resources Association (ELRA), 2008.
Presented at: International Conference on Language Resources and Evaluation, , Marrakech, Morocco.
Jusko Pavol, Obdržálek David, Petrůšek Tomáš
Software-Hardware Mapping in a Robot Design
In: Proc. of International Conference on Research and Education in Robotics, LNCS, Springer-Verlag, Heidelberg, 2008, pp. 42-51. ISBN: 978-80-7378-042-5
Presented at: EUROBOT 2008: International Conference on Research and Education in Robotics, 21.-24.5.2008, Heidelberg, Germany.
Kochánek Jiří, Lánský Jan, Uzel Petr, Žemlička M.
Multistream Compression
In: Proc. of Data Compression Conference, IEEE Computer Society Press, 2008, pp. 557. ISBN: 978-0-7695-3121-2
Presented at: DCC 2008: Data Compression Conference, 25.-27.3.2008, Snowbird, Utah, USA.
Kudělka Miloš, Snášel Václav, Lehečka Ondřej, El-Qawasmeh Eyas, Pokorný Jaroslav
Web pages reordering and clustering based on web patterns
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 731-742.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat na sémantickém webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 61-68. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Řimnáč Martin
Automatizovaný návrh pravidel pro integraci dat a sémantický web
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Lokoč Jakub, Skopal Tomáš
On Reinsertions in M-tree
In: Proc. of 1st international workshop on Similarity Search and Applications, IEEE Computer Society Press, 2008, pp. 121-128. ISBN: 0-7695-3101-6
Presented at: SISAP 2008: 1st international workshop on Similarity Search and Applications, 11.-12.4.2008, Cancun, Mexico.
Lokoč Jakub, Skopal Tomáš
NM-tree: Flexible Approximate Similarity Search in Metric and Non-metric Spaces
In: Proc. of 19th International Conference on Database and Expert Systems Applications, LNCS 5181, Springer-Verlag, Berlin, 2008, pp. 312-325. ISBN: 978-3-540-85653-5
Presented at: DEXA 2008: 19th International Conference on Database and Expert Systems Applications, 1.-5.9.2008, Turin, Italy.
Paper in pdf format
See abstract
Lokoč Jakub, Skopal Tomáš
On Reinsertions in M-tree
In: 1st International Workshop on Similarity Search and Applications (SISAP 2008), IEEE, 2008. (in_print)
Presented at: SISAP 2008 - Workshop at ICDE 2008, 11.-12.04.2008, Cancun, Mexico.
Mlýnková Irena
An Analysis of Approaches to XML Schema Inference
In: Proc. of 4th International Conference on Signal-Image Technology and Internet-Based Systems, IEEE Computer Society Press, 2008. ISBN: 0-7695-3101-6 (in_print)
Presented at: SITIS 2008: 4th International Conference on Signal-Image Technology and Internet-Based Systems, 30.11.-3.12.2008, Bali, Indonesia.
Mlýnková Irena
Equivalence of XSD Constructs and its Exploitation in Similarity Evaluation
In: Proc. of 7th International Conference on Ontologies, DataBases, and Applications of Semantics, LNCS 5332, Springer-Verlag, Berlin, 2008, pp. 1252-1269. ISBN: 978-3-540-85712-9 (in_print)
Presented at: ODBASE 2008: 7th International Conference on Ontologies, DataBases, and Applications of Semantics, 11.-13.11.2008, Monterrey, Mexico.
Mlýnková Irena
Similarity of XML Schema Definitions
In: Proc. of 8th ACM Symposium on Document Engineering, ACM Press, Berlin, 2008, pp. 187-190. ISBN: 978-1-60558-081-4
Presented at: DocEng 2008: 8th ACM Symposium on Document Engineering, 16.-19.9.2008, Sao Paulo, Brazil.
Mlýnková Irena
Current Trends in Testing XMLMSs
In: Proc. of 17th International Conference on Information Systems Development, Springer Science + Business Media, Inc., Berlin, 2008. ISBN: 978-3-540-85712-9 (in_print)
Presented at: ISD 2008: 17th International Conference on Information Systems Development, 25.-27.8.2008, Paphos, Cyprus.
Paper in pdf format
Mlýnková Irena
XML Schema Inference: A Study
Technical Report: 2008/6, Dep. of Software Engineering, MFF, Charles University, Prague, 2008, 18 p.
Paper in pdf format
See abstract
Mlýnková Irena, Pokorný Jaroslav
UserMap - an Adaptive Enhancing of User-Driven XML-to-Relational Mapping Strategies
In: ADC '08: Proceedings of the 19th Australasian Database Conference, Volume: 75, Australia Computer Society, Wollongong, New South Wales, 2008, pp. 165-174.
Presented at: ADC '08: 19th Australasian Database Conference, 22.-25.01.2008, Wollongong, New South Wales, Australia.
Nečaský Martin, Pokorný Jaroslav
Conceptual Modeling of IS-A Hierarchies for XML
In: Proc. of 18th European Japanese Conference on Information Modelling and Knowledge Bases, EJC2008 Program Comitee and EJC2008 Program Coordination team, 2008, pp. 65-84. ISBN: 978-3-540-85712-9 (in_print)
Presented at: EJC 2008: 18th European Japanese Conference on Information Modelling and Knowledge Bases, 2.-6.6.2008, Tsukuba, Japan.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Model Based Normalization of XML Views
In: Proc. of DATESO 2008, (Ed. J. Pokorný, V. Snášel, K. Richta), CEUR Workshop Proc., 2008, pp. 13-24.
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Nečaský Martin, Pokorný Jaroslav
Design and Management of Semantic Web Services using Conceptual Model
In: Proceedings of The 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Volume: 3, Fortaleza, Ceará, 2008, pp. 2243-2247.
Presented at: 23rd Annual ACM Symposium on Applied Computing, 16.-20.3.2008, Fortaleza, Brazil.
Paper in pdf format
See abstract
Nedbal Radim
User Preference and Optimization of Relational Queries
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 82-87. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
Nedbal Radim
Algebraic optimization of relational queries with various kinds of preferences
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 388-399.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Neruda Roman, Beuster Gerd
Toward Dynamic Generation of Computational Agents by Means of Logical Descriptions
In: International Transactions on Systems Science and Applications, Volume: 4, No: 1, 2008.
Paper in pdf format
See abstract
Neruda Roman
Ontology-based and Evolutionary Search for Computational Agents Schemes
In: Proceedings of The Twentieth International Conference on Software Engineering and Knowledge Engineering SEKE 2008, Knowledge Systems Institute, Skokie, 2008.
Presented at: SEKE 2008, 1.-3.7.2008, Redwood City, California, USA.
Nováček Vít
Automatic Knowledge Acquisition and Integration Technique: Application to Large Scale Taxonomy Extraction and Document Annotation
In: Proceedings of ICEIS 2007, Kluwer Academic Publishing, Artificial Intelligence and Decision Support Systems, London, 2008, pp. 160-172. Enterprise Information Systems (ICEIS 2007, revised selected papers), Springer, 2008, pp. 160-172.
Presented at: ICEIS 2007, 12.-16.6.2007, Funchal, Madeira - Portugal.
Novák David, Batko Michal, Zezula Pavel
Content-based Image Retrieval on the Web
In: Proceedings of the Poster and Demonstration Paper Track of the 1st Future Internet Symposium (FIS 2008), CEUR Workshop Proceedings, Vienna, 2008, pp. 1-3.
Novák David, Batko Michal, Zezula Pavel
Web-scale System for Image Similarity Search: When the Dreams Are Coming True
In: Proceedings of the Sixth International Workshop on Content-Based Multimedia Indexing (CBMI 2008), IEEE, London, 2008, pp. 446-453.
Obdržálek David
Usage of real-world robotics in Semantic Web
In: Proc. of 5th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2008. (in_print)
Presented at: Innovations 2008: 5th International Conference on Innovations in Information Technology, 16.-18.12.2008, Al Ain, United Arab Emirates.
Obdržálek David
Daly by se použít robotické metody i v sémantickém webu?
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 87-90. ISBN: 978-80-969184-9-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Ondrejička Matúš, Pokorný Jaroslav
Extending Fagin's algorithm for more users based on multidimensional B-tree
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 199-214. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Paper in pdf format
See abstract
Petrů Lukáš, Wiedermann Jiří
On the universal computing power of amorphous computing systems
In: Theory of Computing Systems, Springer, 2008. (in_print)
Podzimek Michal, Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Mám hlad: pomůže mi Sémantický web?
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 91-94. ISBN: 978-80-969184-9-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Pokorný Jaroslav, Vávra Jan, Snášel Václav
A Renewed Matrix Model for XML Data
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008. (in_print)
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Pokorný Jaroslav, Richta Karel, Valenta Michal
Cellstore: Educational and Experimental XML-Native DBMS
In: The Inter-Networked World: ISD Theory, Practice, and Education, (Ed. Barry C., Lang M., Wojtkowski W., Wojtkowski G., Wrycza S., Zupancic J.), Springer-Verlag, New York, 2008. ISBN: 978-0387304038
Pomikálek Jan, Rychlý Pavel
Detecting Co-Derivative Documents in Large Text Collections
In: Proceedings of the Sixth International Language Resources and Evaluation (LREC'08), European Language Resources Association (ELRA), 2008, pp. 132-135.
Presented at: International Conference on Language Resources and Evaluation, , Marrakech, Morocco.
Paper in pdf format
See abstract
Řimnáč Martin, Tyl Pavel
Kombinace metod pro srovnání ontologií
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 113-117. ISBN: 978-80-969184-8-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Paper in pdf format
See abstract
Řimnáč Martin
Nevyužité možnosti sémantického webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 106-111. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Sedmidubský Jan, Bartoň Stanislav, Dohnal Vlastislav, Zezula Pavel
Adaptive Approximate Similarity Searching through Metric Social Networks
In: 24th International Conference on Data Engineering (ICDE 2008), 2008, pp. 3.
Presented at: 24th International Conference on Data Engineering, 7.-12.4.2008, Cancún, Mexico.
See abstract
Sedmidubský Jan, Bartoň Stanislav, Dohnal Vlastislav
mSN: Metric Social Network for Similarity Searching
SW prototype
Sedmidubský Jan, Dohnal Vlastislav, Bartoň Stanislav, Zezula Pavel
A Self-organized System for Content-based Search in Multimedia.
In: IEEE International Symposium on Multimedia (ISM 2008), Patrick Kellenberger, Los Alamitos, California, 2008. (in_print)
Paper in pdf format
Šesták Radovan, Lánský Jan, Žemlička M.
Suffix Array for Large Alphabet
In: Proc. of 2008 Data Compression Conference (DCC 2008), IEEE Computer Society Press, 2008, pp. 543-543.
Presented at: DCC 2008 Data Compression Conference, 25.-27.3.2008, Snowbird, Utah, USA.
Paper in pdf format
See abstract
Šesták Radovan, Lánský Jan
Compression of Concatenated Web Pages Using XBW
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 743-754.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Slušný Stanislav, Neruda Roman, Vidnerová Petra
Rule-based Analysis of Behaviour Learned by Evolutionary and Reinforcement Algorithms
In: Advanced Intelligent Computing Technology and Applications-ICIC2008, LNAI, Springer Verlag, 2008.
Presented at: ICIC 2008, 15.-18.09.2008, Shanghai, China.
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
Using SDD for Topic Identification
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008.
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Snášel Václav, Dvorský Jiří, Timofieiev Anton, Pokorný Jaroslav
H-Index Analysis of Enron Corpus
In: Proc. of 8th International Conference on Intelligent Systems Design and Applications, IEEE Computer Society, 2008. (in_print)
Presented at: ISDA 2008: 8th International Conference on Intelligent Systems Design and Applications, 25.-28.11.2008, Kaohsiung, Taiwan.
Snášel Václav, Moravec Pavel, Húsek Dušan, Frolov A., Řezanková Hana, Polyakov P. Y.
Pattern Discovery for High-Dimensional Binary Datasets
In: ICONIP 2007: International Conference on Neural Information Processing, (Ed. M. Ishikawa, K. Doya, H. Miyamoto, T. Yamakawa), LNCS 4984, Springer, Berlin, 2008, pp. 861-872. ISBN: 978-3-540-69154-9
Presented at: 14th International Conference on Neural Information Processing, 13.-16.11.2007, Kitakyushu, Japan.
Paper in pdf format
See abstract
Špánek Roman
Self-organizing and Self-monitoring Security Model for Dynamic Distributed Environments
In: Diploma Thesis, Technical University of Liberec, Faculty of Mechatronics and Interdisciplinary Engineering Studies, Liberec, 2008, pp. 130 p..
Paper in pdf format
See abstract
Špánek Roman, Řimnáč Martin, Linková Zdeňka
On creating a trusted and distributed data source environment
In: SOFSEM 2008: Theory and Practice of Computer Science, P. J. Šafárik University, Košice, 2008, pp. 112-123.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Tyl Pavel
Combination of Methods for Ontology Matching
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 125-132. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Vaneková Veronika, Vojtáš Peter
A Description Logic with Concept Ordering and top-k Restriction
In: Proc. of 18th European Japanese Conference on Information Modelling and Knowledge Bases, EJC2008 Program Comitee and EJC2008 Program Coordination team, 2008, pp. 139-149. ISBN: 978-3-540-85712-9 (in_print)
Presented at: EJC 2008: 18th European Japanese Conference on Information Modelling and Knowledge Bases, 2.-6.6.2008, Tsukuba, Japan.
Vojtáš Peter, Gurský Peter
On top-k search with no random access using small memory
In: Proc. of 12th Advances in Databases and Information Systems, LNCS 5207, Springer-Verlag, Berlin, 2008, pp. 97-111. ISBN: 978-3-540-85712-9
Presented at: ADBIS 2008: 12th Advances in Databases and Information Systems, 5.-9.9.2008, Pori, Finland.
Vojtáš Peter
Decathlon, Conflicting Objectives and User Preference Querying
In: Proc. of DATESO 2008, (Ed. J. Pokorný, V. Snášel, K. Richta), CEUR Workshop Proc., 2008, pp. 76-78. ISBN: 978-80-248-1746-0
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Wiedermann Jiří, Petrů Lukáš
Communicating Mobile Nano-Machines and Their Computational Power
Technical Report: V-1024, ICS AS CR, Prague, 2008, 9 p.
Paper in pdf format
See abstract
Wiedermann Jiří
An Architecture of an Embodied Cognitive Agent with Two Cooperating Internal World Models
In: Cybernetics and Systems Research, (Ed. R. Trappl), Austrian Society of Cybernetics Studies, Vienna, 2008, pp. 561-566.
Presented at: EMCSR 2008, 25.-28.03.2008, Vienna, Austria.
Paper in pdf format
See abstract
Wiedermann Jiří
Specifikace výpočetního modelu mysli vědomého vtěleného agenta
In: Modely mysle, (Ed. V. Kvasnicka, J. Kelemen, J. Pospichal a E. Gal), Europa, Bratislava, 2008.
Paper in pdf format
See abstract
Wiedermann Jiří
How we think of computing today
In: Logic and Theory of Algorithms, LNCS 5028, Springer, 2008, pp. 579-593.
Presented as an invited talk: Conference on Computability in Europe, CiE 2008, 15.-20.06.2008, Athens, Greece.
Zezula Pavel, Dohnal Vlastislav, Batko Michal
File Organizations
In: Wiley Encyclopedia of Computer Science and Engineering, Wiley-Interscience, San Francisco, CA, USA, 2008, pp. 1-11.
Zezula Pavel, Batko Michal, Dohnal Vlastislav
Indexing Metric Spaces
In: Database Management and Information Retrieval, Springer-Verlag, New York, 2008, pp. 1-4.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.