Object
Title: Prolog, Mercury and the termination problem
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 5 (2006)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Mar 26, 2015
In our library since:
Mar 26, 2015
Number of object content hits:
16
Number of object content views in DjVu format
15
All available object's versions:
https://dlibra.umcs.lublin.pl/publication/20434
Show description in RDF format:
Show description in OAI-PMH format:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
- The oriented chromatic number of some grids
- A Markovian model of the RED mechanism solved with a cluster of computers
- Linux based Live CD on optical
- Fast interpolating algorithms in cryptography
- Professionally designed and developed OpenMP parser for the Ada programming language using flex
- Agent based approach to University Timetabling Problem
- Credibility coefficients based on frequent sets
- Prolog, Mercury and the termination problem
- Reducing algorithm for percolation cluster analysis
- Application of computer algebra systems (CAS) to formale xpansion of exact Callen equations into the systems of algebraic equations
- Automatic Keyphrase Extraction
- Java Server Faces and Java Bean Technologies in Expert application
- Sigma-if neural network as the use of selective attention technique in classification and knowledge discovery problems solving
- Hybrid artificial intelligence technique for solving large,highly constrained timetabling problems
- Reduction of ensemble of classifiers with a rule sets analysis
- Uncertainty in expert systems and credit granting decisions
- Fractal feature analysis of the human brain structuresin neuroanatomy changes
- A wide depth of field reconstruction method based on partially focused image series
- Robustness of data hiding in image the Fourier spectrum
- Multilevel near optimal thresholding applied to watershed grouping
- Parallelization of the ‘Particle-in-Cell’ (PIC) density calculations in plasma computer simulations
- Application of heuristic optimization techniques in physics of magnetism
- Phase diagram for mixed ternary alloy from evolutionary optimization
- Counting solutions of equations over two-element algebras
- Algorithm and numerical modelling of macroscopic barriers for fission
- The XML interoperability and the Polish Energy Market needs
- Unified Modeling Language extensions for modeling user-oriented, multi-channel access CRM systems
- Use of simulation techniques for profit forecasting of saving programs
- Vowel recognition in continuous speech with application of MLP neural network
- Computer program for visual diagnosis of the speech disorders
- Computational ability of LSM ensemble in the model of mammalian visual system
- Digital signals analysis with the LPC method
- Alternative methods of designing multi channel optical communication systems
- Optical communication multibus systems
- Comparison of stochastic optimal controls with different level of self-learning
- Multi-channel recorder for forces and accelerations
- Multi-channel recorder for I-V curves
- The computer network topologies designs and the coherent graphs algebra
- An application of virtual reality for training and ranking operators of mobile robot
- Detecting changes in environment of mobile robot
- Cracking WPA? Is it possible?
- New security and control protocol for VoIP based on steganography and digital watermarking
- Design and implementation of the middle-class web-portal for cooperation with students team
- The use of database and methods of artificial intelligence – neural networks for observing the changes in the subsoil waters in Beskid Śląski
- Intelligent Tutorial System LISE
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
| Edition name | Date |
|---|---|
| Sasak, Anna - Prolog, Mercury and the termination problem | Mar 26, 2015 |
