Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Digital
ISBN: 9783540692706 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- informatica --- informatiesystemen --- database management --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- AI (artificiële intelligentie)
Book
ISBN: 9783540692706 Year: 2006 Publisher: Berlin Heidelberg Springer Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume collects the papers presented at the 11th International Conference onDatabaseTheory,ICDT2007,heldduringJanuary10-12,2007,inBarcelona, Spain. ICDT (http://alpha. luc. ac. be/?lucp1080/icdt/) now has a long tradition of international conferences, providing a biennial scienti?c forum for the com- nication of high-quality and innovative research results on theoretical aspects of all forms of data management systems and database technology. The conf- ence usually takes place in Europe, and previous conferences were held in Rome (1986),Bruges(1988),Paris(1990),Berlin(1992),Prague(1995),Delphi(1997), Jerusalem(1999),London(2001),Siena(2003)andEdinburgh(2005). ICDThas merged with the Symposium on Mathematical Fundamentals of Database S- tems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. This yearICDT received111papersubmissions (after 138titlesandabstracts were ?rst announced). Two of the papers were later withdrawn and one was rejected as it was 24 pages long (instead of 15). From the remaining 108 s- missions, the ICDT Program Committee selected 25 papers for presentation at the conference. Most of these papers were extended abstracts and preliminary reports on work in progress. It is anticipated that most of these papers will - pear in a more polished form in scienti?c journals. The proceedings also contain three invited papers by Jan Chomicki, Cynthia Dwork, and Laura Haas. The Best Newcomer Award, for the best submission written solely by authors who had never published in earlier ICDT proceedings, was given by the Program Committee to Piotr Wieczorek for his paper Complexity of TypecheckingXML Views of Relational Databases.
Mathematical logic --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- informatica --- informatiesystemen --- database management --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots
ISBN: 354069269X 3540692703 Year: 2006 Publisher: Berlin ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Database management --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Data structures (Computer science). --- Computers. --- Mathematical logic. --- Database management. --- Artificial intelligence. --- Computer Science. --- Data Structures, Cryptology and Information Theory. --- Database Management. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Artificial Intelligence. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
| Listing 1 - 3 of 3 |
Sort by
|