close
1.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
2.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
3.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
Chandan Singh, Vishal Goyal, Takeo Kanade, Jyotsna Sengupta, Dharam Veer Sharma, Gurpreet Singh Lehal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
Computational Aspect of Verb Classification in Malayalam / K.G. Sulochana ; V. Jayan
Period Prediction System for Tamil Epigraphical Scripts Based on Support Vector Machine / P. Subashini ; M. Krishnaveni ; N. Sridevi
Name Entity Recognition Systems for Hindi Using CRF Approach / Rajesh Sharma ; Vishal Goyal
An N-Gram Based Method for Bengali Keyphrase Extraction / Kamal Sarkar
Feature Extraction and Recognition of Bengali Word Using Gabor Filter and Artificial Neural Network / Mahua Nandy (Pal) ; Sumit Majumdar
The Segmentation of Half Characters in Handwritten Hindi Text / Naresh Kumar Garg ; Lakhwinder Kaur ; Manish K. Jindal
Finding Influence by Cross-Lingual Blog Mining through Multiple Language Lists / Aditya Mogadala ; Vasudeva Varma
Renaissance of Opinion Mining / Ankur Rana ; Vimal K. Soni
OpenLogos Machine Translation: Exploring and Using It in Anusaaraka Platform / Sriram Chaudhury ; Sukhada ; Akshar Bharati
Role of e-Learning Models for Indian Languages to Implement e-Governance / Avinash Sharma ; Vijay Singh Rathore
A Compiler for Morphological Analyzer Based on Finite-State Transducers / Bhuvaneshwari C. Melinamath ; A. G. Math ; Sunanda D. Biradar
On Multifont Character Classification in Telugu / Venkat Rasagna ; K.J. Jinesh ; C.V. Jawahar
Parallel Implementation of Devanagari Document Image Segmentation Approach on GPU / Brijmohan Singh ; Nitin Gupta ; Rashi Tyagi ; Ankush Mittal ; Debashish Ghosh
A Rule Based Schwa Deletion Algorithm for Punjabi TTS System / Parminder Singh
Clause Based Approach for Ordering in MT Using OpenLogos / Arpana Sharma ; Neha Narang ; Sonal Dixit
Comparison of Feature Extraction Methods for Recognition of Isolated Handwritten Characters in Gurmukhi Script / Dharam Veer Sharma ; Puneet Jhajj
Dewarping Machine Printed Documents of Gurmukhi Script / Shilpi Wadhwa
Developing Oriya Morphological Analyzer Using Lt-Toolbox / Itisree Jena ; Himani Chaudhry ; Dipti M. Sharma
Durational Characteristics of Indian Phonemes for Language Discrimination / B. Lakshmi kanth ; Venkatesh Keri ; Kishore S. Prahallad
A Transliteration Based Word Segmentation System for Shahmukhi Script / Tejinder Singh Saini
Optimizing Character Class Count for Devnagari Optical Character Recognition / Jasbir Singh
Multifont Oriya Character Recognition Using Curvelet Transform / Swati Nigam ; Ashish Khare
Exploiting Ontology for Concept Based Information Retrieval / Aditi Sharan ; Manju Lata Joshi ; Anupama Pandey
Parsing of Kumauni Language Sentences after Modifying Earley's Algorithm / Rakesh Pandey ; Nihar Ranjan Pande ; H.S. Dhami
Comparative Analysis of Gabor and Discriminating Feature Extraction Techniques for Script Identification / Rajneesh Rani ; Renu Dhir ; Gurpreet Singh lehal
Poster
Automatic Word Aligning Algorithm for Hindi-Punjabi Parallel Text / Karuna Jindal ; Shikha Jindal
Making Machine Translations Polite: The Problematic Speech Acts / Ritesh Kumar
Tagging Sanskrit Corpus Using BIS POS Tagset / Madhav Gopal ; Girish Nath Jha
Manipuri Transliteration from Bengali Script to Meitei Mayek: A Rule Based Approach / Kishorjit Nongmeikapam ; Ningombam Herojit Singh ; Sonia Thoudam ; Sivaji Bandyopadhyay
Online Handwriting Recognition for Malayalam Script / T.R. Indhu
Optimized Multi Unit Speech Database for High Quality FESTIVAL TTS / T. Sajini
Comparative Analysis of Printed Hindi and Punjabi Text Based on Statistical Parameters / Lalit Goyal
Participles in English to Sanskrit Machine Translation / Vimal Mishra ; R.B. Mishra
Web-Drawn Corpus for Indian Languages: A Case of Hindi / Narayan Choudhary
Handwritten Hindi Character Recognition Using Curvelet Transform / Gyanendra K. Verma ; Shitala Prasad ; Piyush Kumar
Challenges in Developing a TTS for Sanskrit / Diwakar Mishra ; Kalika Bali
A Hybrid Learning Algorithm for Handwriting Recognition / Binu P. Chacko ; P. Babu Anto
Hindi to Punjabi Machine Translation System
Cascading Style Sheet Styling Issues in Punjabi Language / Swati Mittal ; R.K. Sharma ; Parteek Bhatia
Translation of Hindi se to Tamil in a MT System / Sobha Lalitha Devi ; P. Pralayankar ; V. Kavitha ; S. Menaka
Preprocessing Phase of Punjabi Language Text Summarization / Vishal Gupta
Comparative Analysis of Tools Available for Developing Statistical Approach Based Machine Translation System / Ajit Kumar
Discriminative Techniques for Hindi Speech Recognition System / Rajesh Kumar Aggarwal ; Mayank Dave
An Experiment on Resolving Pronominal Anaphora in Hindi: Using Heuristics / Kiran Pala ; Rafiya Begum
A Novel GA Based OCR Enhancement and Segmentation Methodology for Marathi Language in Bimodal Framework / Amarjot Singh ; Ketan Bacchuwar ; Akash Choubey
Panmozhi Vaayil - A Multilingual Indie Keyboard Interface for Business and Personal Use / H.R. Shiva Kumar ; Abhinava Shivakumar ; Akshay Rao ; Sriraman Arun ; A.G. Ramakrishnan
Power Spectral Density Estimation Using Yule Walker AR Method for Tamil Speech Signal / V. Radha ; C. Vimala
Challenges in NP Case-Mapping in Sanskrit Hindi Machine Translation / Kumar Nripendra Pathak
Modeified BLEU for Measuring Performance of a Machine-Translation Software / Kalyan Joshi ; M.B. Rajarshi
Demo Abstracts
A System for Online Gurmukhi Script Recognition
Spoken Isolated Word Recognition of Punjabi Language Using Dynamic Time Warp Technique / Ravinder Kumar ; Mohanjit Singh
Text-To-Speech Synthesis System for Punjabi Language
Hand-Filled Form Processing System for Gurmukhi Script
Urdu to Hindi and Reverse Transliteration System / V.S. Kalra
iPlugin: Indian Language Web Application Development Tool / Anup Kanaskar ; Vrundesh Waghmare
An OCR System for Printed Indie Scripts / Tushar Patnaik
Gujarati Text - TO - Speech System / Samyak Bhuta ; S. Rama Mohan
Large Web Corpora for Indian Languages / Adam Kilgarriff ; Girish Duvuru
Localization of EHCPRs System in the Multilingual Domain: An Implementation / Sarika Jain ; Deepa Chaudhary ; N.K. Jain
Author Index
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
6.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
7.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼