Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal languages --- Machine theory --- 681.3*F41 --- 681.3*F42 --- 681.3*F43 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Formalization (Linguistics) --- Language and languages --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages. --- Machine theory. --- 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31}

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Automatic theorem proving --- Software engineering. --- Automatic theorem proving. --- 681.3*I22 --- 681.3*D24 --- 681.3*D12 --- 681.3*F31 --- 681.3*F41 --- 681.3*C22 --- 681.3*D46 --- 681.3*D213 --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Automatic programming--See also {681.3*I22} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Network protocols: protocol architecture; protocol verification --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Reusable software: domain engineering; reusable libraries; reuse models --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- 681.3*C22 Network protocols: protocol architecture; protocol verification --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D12 Automatic programming--See also {681.3*I22} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Computer software engineering --- Engineering --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2001, held in Freiburg, Germany, in September 2001. The 40 revised full papers presented together with four invited contributions were carefully reviewed and selected from close to 100 submissions. Among the topics addressed are hidden Markov models, text summarization, supervised learning, unsupervised learning, demographic data analysis, phenotype data mining, spatio-temporal clustering, Web-usage analysis, association rules, clustering algorithms, time series analysis, rule discovery, text categorization, self-organizing maps, filtering, reinforcemant learning, support vector machines, visual data mining, and machine learning.

Data mining --- Database searching --- Expert systems (Computer science) --- Computer Science --- Engineering & Applied Sciences --- 681.3*I2 <063> --- 681.3*H3 <063> --- 681.3*J1 --- 681.3*H2 <063> --- 681.3*G3 <063> --- 681.3*I7 <063> --- 681.3*F42 <063> --- 681.3*F41 <063> --- Artificial intelligence. AI--Congressen --- Information storage and retrieval--Congressen --- Administrative data processing (Computer applications) --- Database management: security; integrity; protection--See also {?681.5*E5}--Congressen --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing)--Congressen --- Text processing (Computing methodologies)--See also {681.3*H4}--Congressen --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31}--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- 681.3*J1 Administrative data processing (Computer applications) --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Computer science. --- Information technology. --- Business --- Data structures (Computer science). --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Text processing (Computer science). --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Data Structures, Cryptology and Information Theory. --- Database Management. --- IT in Business. --- Information Storage and Retrieval. --- Document Preparation and Text Processing. --- Data processing. --- Processing, Text (Computer science) --- Database management --- Electronic data processing --- Information storage and retrieval systems --- Word processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- 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 --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Data structures (Computer scienc. --- Information storage and retrieva. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Data Structures and Information Theory. --- Natural Language Processing (NLP). --- Information storage and retrieval systems. --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Business—Data processing.