Time structures : :: SCD d'Orléans

Time structures : formal description and algorithmic representation

Time structures : formal description and algorithmic representation

The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship be...

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Hajnicz, Elzbieta, 19..-
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science. Lecture notes in artificial intelligence 1047
Témata:	Informatique Algorithmes Intelligence artificielle Logique symbolique et mathématique Temps
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Time structures, formal description and algorithmic representation, Elżbieta Hajnicz, 1996, Berlin, Springer, 1 vol. (IX-244 p.), Lecture notes in computer science, 3-540-60941-5 • Time Structures, Texte imprimé, 9783662195901

Podobné jednotky

Algorithmic learning for knowledge-based systems : GOSLER final report
Autor: Jantke, Klaus Peter, 1951-

Conceptual structures : integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15 19, 2002 : proceedings

Algorithmic learning theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings
Autor: Arikawa, Setsuo, 1941-

Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

Algorithmic learning theory : 8th International Workshop, ALT '97 Sendai, Japan, October 6-8, 1997 : proceedings
Autor: Li, Ming, 1955-...., informaticien

Algorithmic learning theory : 11th International Conference, ALT 2000, Sydney, Australia, December 11 13, 2000 : proceedings

Algorithmic learning theory : 13th international conference, ALT 2002, Lübeck, Germany, November 24-26, 2002 : proceedings

Algorithmic learning theory : 9th international conference, ALT ±98, Otzenhausen, Germany, October 8-10, 1998 : proceedings

Algorithmic learning theory : 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

Algorithmic learning theory : 10th International Conference, ALT 99, Tokyo, Japan, December 6-8, 1999 : proceedings
Autor: Watanabe, Osamu

Algorithmic learning theory : 12th international conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings

Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers

Electronic dictionaries and automata in computational linguistics : LITP Spring School on theoretical computer science, Saint-Pierre D'Oléron, France, May 25-29, 1987 : proceedings

Computational intelligence : theory and applications : international conference, 6th fuzzy days, Dortmund, Germany, May 25-28, 1999 : proceedings

Computational intelligence : theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings

Learning classifier systems : from foundations to applications
Autor: Lanzi, Pier Luca, 1967-

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
Autor: Kahle, Reinhard, 1967-

Learning theory and Kernel machines : 16th annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Machine learning : ECML 2002 : 13th European Conference on Machine Learning Helsinki, Finland, August 19 23, 2002 : proceedings

Machine learning : ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003 : proceedings

Instantiation theory : on the foundations of automated deduction
Autor: Williams, James G., 1939-

Machine learning : ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004 : proceedings
Autor: Boulicaut, Jean-François, 1960-

Computational learning theory : 4th European Conference, EuroCOLT 99, Nordkirchen, Germany, March 29 31, 1999 : proceedings

Computational learning theory : second European Conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995 : proceedings

Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8 10, 2002 : proceedings

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 : proceedings

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15]

Non-standard inferences in description logics
Autor: Küsters, Ralf, 1972-...., informaticien

Artificial intelligence and soft computing - ICAISC 2004 : 7th international conference, Zakopane, Poland, June 7-11, 2004 : proceedings

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings

Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
Autor: Furuhashi, Takeshi, 1954-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales