close
1.

電子ブック

EB
José Neves, José Manuel Machado, Manuel Filipe Santos, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems / Joao Leite ; Manoela Ilic
Application of Logic Wrappers to Hierarchical Data Extraction from HTML / Amelia Badica ; Costin Badica ; Elvira Popescu
Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems / J.R. Mendez ; F. Fdez-Riverola ; D. Glez-Pena ; F. Diaz ; J.M. Corchado
Godel and Computability / Luis Moniz Pereira
Prospective Logic Agents / Goncalo Lopes
An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers / Rui Leite ; Pavel Brazdil
Modelling Morality with Prospective Logic / Ari Saptawijaya
Change Detection in Learning Histograms from Data Streams / Raquel Sebastiao ; Joao Gama
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction / Helder Quintela ; Manuel Filipe Santos ; Paulo Cortez
Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering / Pedro Pereira Rodrigues
On the Use of Rough Sets for User Authentication Via Keystroke Dynamics / Kenneth Revett ; Sergio Tenreiro de Magalhaes ; Henrique M.D. Santos
The Halt Condition in Genetic Programming / Jose Neves ; Jose Machado ; Cesar Analide ; Antonio Abelha ; Luis Brito
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives / Gregory Wheeler
First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) / Chapter 2:
Nonlinear Models for Determining Mode Choice: Accuracy is not Always the Optimal Goal / Elke Moons ; Geert Wets ; Marc Aerts
Adaptation in Games with Many Co-evolving Agents / Ana L.C. Bazzan ; Franziska Klugl ; Kai Nagel
Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) / Chapter 3:
Symmetry at the Genotypic Level and the Simple Inversion Operator / Cristian Munteanu ; Agostinho Rosa
A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem / Nelishia Pillay ; Wolfgang Banzhaf
Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game / Carlos Grilo ; Luis Correia
Improving Evolutionary Algorithms with Scouting / Konstantinos Bousmalis ; Gillian M. Hayes ; Jeffrey O. Pfaffmann
Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms / Rui Mendes ; James Kennedy
Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization / Pradyumn Kumar Shukla
First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) / Chapter 4:
Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective / Carlos Ramos
Ubiquitous Ambient Intelligence in a Flight Decision Assistance System / Nuno Gomes ; Cristiano Pereira ; Francisco Nunes
Argumentation-Based Decision Making in Ambient Intelligence Environments / Goreti Marreiros ; Ricardo Santos ; Paulo Novais ; Jose Bula-Cruz
Intelligent Mixed Reality for the Creation of Ambient Assisted Living / Ricardo Costa ; Luis Lima ; Carlos Alberto
Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display / Victor Alves ; Filipe Marreiros ; Luis Nelas ; Mourylise Heymer
Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) / Chapter 5:
Partial and Dynamic Ontology Mapping Model in Dialogs of Agents / Ademir Roberto Freddo ; Robison Cris Brito ; Gustavo Gimenez-Lugo ; Cesar Augusto Tacla
Using Ontologies for Software Development Knowledge Reuse / Bruno Antunes ; Nuno Seco ; Paulo Gomes
First Workshop on Business Intelligence (BI 2007) / Chapter 6:
Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market / Virgilijus Sakalauskas ; Dalia Kriksciuniene
A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System / Jorge Loureiro ; Orlando Belo
Experiments for the Number of Clusters in K-Means / Mark Ming-Tso Chiang ; Boris Mirkin
A Network Algorithm to Discover Sequential Patterns / Luis Cavique
Adaptive Decision Support for Intensive Care / Pedro Gago ; Alvaro Silva
A Tool for Interactive Subgroup Discovery Using Distribution Rules / Joel P. Lucas ; Alipio M. Jorge ; Fernando Pereira ; Ana M. Pernas ; Amauri A. Machado
Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study / Carmen Rebelo ; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao
Resource-Bounded Fraud Detection / Luis Torgo
First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) / Chapter 7:
System Stability Via Stepping Optimal Control: Theory and Applications / Binhua Tang ; Li He ; Sushing Chen ; Bairong Shen
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains / Miguel Rocha ; Paulo Maia ; Jose P. Pinto ; Isabel Rocha ; Eugenio C. Ferreira
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT / Shulin Wang ; Huowang Chen ; Shutao Li ; Dingxing Zhang
Second Workshop on Intelligent Robotics (IROBOT 2007) / Chapter 8:
An Omnidirectional Vision System for Soccer Robots / Antonio J.R. Neves ; Gustavo A. Corrente ; Armando J. Pinho
Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks / Lutz Frommberger
Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation / Luiz A. Celiberto Jr. ; Jackson Matsuura ; Reinaldo A.C. Bianchi
Human Robot Interaction Based on Bayesian Analysis of Human Movements / Jorg Rett ; Jorge Dias
Understanding Dynamic Agent's Reasoning / Nuno Lau ; Luis Paulo Reis ; Joao Certo
Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) / Chapter 9:
Convergence of Independent Adaptive Learners / Francisco S. Melo ; Manuel C. Lopes
Multi-agent Learning: How to Interact to Improve Collective Results / Pedro Rafael ; Joao Pedro Neto
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization / Filipe Cruz ; Antonio Pereira ; Pedro Valente ; Pedro Duarte
Tax Compliance Through MABS: The Case of Indirect Taxes / Luis Antunes ; Joao Balsa ; Helder Coelho
First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) / Chapter 10:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection / Joao Marques-Silva ; Ines Lynce ; Ana Graca ; Arlindo L. Oliveira
GRASPER: A Framework for Graph Constraint Satisfaction Problems / Ruben Viegas ; Francisco Azevedo
Second Workshop on Text Mining and Applications (TEMA 2007) / Chapter 11:
Text Segmentation Using Context Overlap / Radim Rehurek
Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach / Rosa Del Gaudio ; Antonio Branco
N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus / Artur Silic ; Jean-Hugues Chauchat ; Bojana Dalbelo Basic ; Annie Morin
Detection of Strange and Wrong Automatic Part-of-Speech Tagging / Vitor Rocio ; Joaquim Silva ; Gabriel Lopes
New Techniques for Relevant Word Ranking and Extraction / Joao Ventura ; Joaquim Ferreira da Silva
Author Index
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
2.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
Characteristics / II:
Speaker Characteristics / Tanja Schultz
Foreign Accent / Ulrike Gut
Acoustic Analysis of Adult Speaker Age / Susanne Schotz
Speech Under Stress: Analysis, Modeling and Recognition / John H.L. Hansen ; Sanjay Patil
Speaker Characteristics and Emotion Classification / Anton Batliner ; Richard Huber
Emotions in Speech: Juristic Implications / Erik J. Eriksson ; Robert D. Rodman ; Robert C. Hubal
Applications / III:
Application of Speaker Classification in Human Machine Dialog Systems / Felix Burkhardt
Speaker Classification in Forensic Phonetics and Acoustics / Michael Jessen
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift" / Joaquin Gonzalez-Rodriguez ; Daniel Ramos
The Many Roles of Speaker Classification in Speaker Verification and Identification / Judith Markowitz
Methods and Features / IV:
Frame Based Features / Stefan Schacht ; Jacques Koreman ; Christoph Lauer ; Andrew Morris ; Dalei Wu ; Dietrich Klakow
Higher-Level Features in Speaker Recognition / Elizabeth Shriberg
Enhancing Speaker Discrimination at the Feature Level / Andrew C. Morris
Classification Methods for Speaker Recognition / D.E. Sturim ; W.M. Campbell ; D.A. Reynolds
Multi-stream Fusion for Speaker Classification / Izhak Shafran
Evaluation / V:
Evaluations of Automatic Speaker Classification Systems / Alvin F. Martin
An Introduction to Application-Independent Evaluation of Speaker Recognition Systems / David A. van Leeuwen ; Niko Brummer
Author Index
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
4.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
Real-Life Emotion Recognition in Speech / Laurence Devillers ; Laurence Vidrascu
Automatic Classification of Expressiveness in Speech: A Multi-corpus Study / Mohammad Shami ; Werner Verhelst
Acoustic Impact on Decoding of Semantic Emotion / Erik J. Eriksson ; Felix Schaeffler ; Kirk P.H. Sullivan
Emotion from Speakers to Listeners: Perception and Prosodic Characterization of Affective Speech / Catherine Mathon ; Sophie de Abreu
Effects of the Phonological Contents on Perceptual Speaker Identification / Kanae Amino ; Takayuki Arai ; Tsutomu Sugawara
Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification / Charl Johannes van Heerden ; Etienne Barnard
Language-Independent Speaker Classification over a Far-Field Microphone / Jerome R. Bellegarda
A Linear-Scaling Approach to Speaker Variability in Poly-segmental Formant Ensembles / Frantz Clermont
Sound Change and Speaker Identity: An Acoustic Study / Gea de Jong ; Kirsty McDougall ; Francis Nolan
Bayes-Optimal Estimation of GMM Parameters for Speaker Recognition / Guillermo Garcia ; Sung-Kyo Jung ; Thomas Eriksson
Speaker Individualities in Speech Spectral Envelopes and Fundamental Frequency Contours / Tatsuya Kitamura ; Masato Akagi
Speaker Segmentation for Air Traffic Control / Michael Neffe ; Tuan Van Pham ; Horst Hering ; Gernot Kubin
Detection of Speaker Characteristics Using Voice Imitation / Elisabeth Zetterholm
Reviewing Human Language Identification / Masahiko Komatsu
Underpinning/nailon/: Automatic Estimation of Pitch Range and Speaker Relative Pitch / Jens Edlund ; Mattias Heldner
Automatic Dialect Identification: A Study of British English / Emmanuel Ferragne ; Francois Pellegrino
ACCDIST: An Accent Similarity Metric for Accent Recognition and Diagnosis / Mark Huckvale
Selecting Representative Speakers for a Speech Database on the Basis of Heterogeneous Similarity Criteria / Sacha Krstulovic ; Frederic Bimbot ; Olivier Boeffard ; Delphine Charlet ; Dominique Fohr ; Odile Mella
Speaker Classification by Means of Orthographic and Broad Phonetic Transcriptions of Speech / Christophe Van Bael ; Hans van Halteren
Author Index
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
5.

電子ブック

EB
Khaled Mellouli, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック

EB
Václav MatouÅ¡ek, Václav Matoušek, Pavel Mautner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Language Modeling with Linguistic Cluster Constraints / Frederick Jelinek ; Jia Cui
Some of Our Best Friends Are Statisticians / Jan Hajic ; Eva Hajicova
Some Special Problems of Speech Communication / Heinrich Niemann
Recent Advances in Spoken Language Understanding / Renato De Mori
Text
Transformation-Based Tectogrammatical Dependency Analysis of English / Vaclav Klimes
Multilingual Name Disambiguation with Semantic Information / Zornitsa Kozareva ; Sonia Vazquez ; Andres Montoyo
Inducing Classes of Terms from Text / Pablo Gamallo ; Gabriel P. Lopes ; Alexandre Agustini
Accurate Unlexicalized Parsing for Modern Hebrew / Reut Tsarfaty ; Khalil Sima'an
Disambiguation of the Neuter Pronoun and Its Effect on Pronominal Coreference Resolution / Veronique Hoste ; Iris Hendrickx ; Walter Daelemans
Constructing a Large Scale Text Corpus Based on the Grid and Trustworthiness / Peifeng Li ; Qiaoming Zhu ; Peide Qian ; Geoffrey C. Fox
Disambiguating Hypernym Relations for Roget's Thesaurus / Alistair Kennedy ; Stanislaw Szpakowicz
Dependency and Phrasal Parsers of the Czech Language: A Comparison / Ales Horak ; Tomas Holan ; Vladimir Kadlec ; Vojtech Kovar
Automatic Word Clustering in Russian Texts / Olga Mitrofanova ; Anton Mukhin ; Polina Panicheva ; Vyacheslav Savitsky
Feature Engineering in Maximum Spanning Tree Dependency Parser / Vaclav Novak ; Zdenek Zabokrtsky
Automatic Selection of Heterogeneous Syntactic Features in Semantic Similarity of Polish Nouns / Maciej Piasecki ; Bartosz Broda
Bilingual News Clustering Using Named Entities and Fuzzy Similarity / Soto Montalvo ; Raquel Martinez ; Arantza Casillas ; Victor Fresno
Extractive Summarization of Broadcast News: Comparing Strategies for European Portuguese / Ricardo Ribeiro ; David Martins de Matos
On the Evaluation of Korean WordNet / Altangerel Chagnaa ; Ho-Seop Choe ; Cheol-Young Ock ; Hwa-Mook Yoon
An Adaptive Keyboard with Personalized Language-Based Features / Siska Fitrianie ; Leon J.M. Rothkrantz
An All-Path Parsing Algorithm for Constraint-Based Dependency Grammars of CF-Power / Tomasz Obrebski
Word Distribution Based Methods for Minimizing Segment Overlaps / Joe Vasak ; Fei Song
On the Relative Hardness of Clustering Corpora / David Pinto ; Paolo Rosso
Indexing and Retrieval Scheme for Content-Based Multimedia Applications / Martynov Dmitry ; Eugenij Bovbel
Automatic Diacritic Restoration for Resource-Scarce Languages / Guy De Pauw ; Peter W. Wagacha ; Gilles-Maurice de Schryver
Lexical and Perceptual Grounding of a Sound Ontology / Anna Lobanova ; Jennifer Spenader ; Bea Valkenier
Named Entities in Czech: Annotating Data and Developing NE Tagger / Magda Sevcikova ; Oldrich Kruza
Identifying Expressions of Emotion in Text / Saima Aman
ECAF: Authoring Language for Embodied Conversational Agents / Ladislav Kunc ; Jan Kleindienst
Speech
Dynamic Adaptation of Language Models in Speech Driven Information Retrieval / Cesar Gonzalez-Ferreras ; Valentin Cardenoso-Payo
Whitening-Based Feature Space Transformations in a Speech Impediment Therapy System / Andras Kocsor ; Robert Busa-Fekete ; Andras Banhalmi
Spanish-Basque Parallel Corpus Structure: Linguistic Annotations and Translation Units / A. Casillas ; A. Diaz de Illarraza ; J. Igartua ; R. Martinez ; K. Sarasola ; A. Sologaistoa
An Automatic Version of the Post-Laryngectomy Telephone Test / Tino Haderlein ; Korbinian Riedhammer ; Andreas Maier ; Elmar Noth ; Hikmet Toy ; Frank Rosanowski
Speaker Normalization Via Springy Discriminant Analysis and Pitch Estimation / Denes Paczolay
A Study on Speech with Manifest Emotions / Horia-Nicolai Teodorescu ; Silvia Monica Feraru
Speech Recognition Supported by Prosodic Information for Fixed Stress Languages / Gyorgy Szaszak ; Klara Vicsi
TRAP-Based Techniques for Recognition of Noisy Speech / Frantisek Grezl ; Jan Cernocky
Intelligibility Is More Than a Single Word: Quantification of Speech Intelligibility by ASR and Prosody / Maria Schuster ; Emeka Nkenke
Appositions Versus Double Subject Sentences - What Information the Speech Analysis Brings to a Grammar Debate / Diana Trandabat
Automatic Evaluation of Pathologic Speech - from Research to Routine Clinical Use
The LIA Speech Recognition System: From 10xRT to 1xRT / G. Linares ; P. Nocera ; D. Massonie ; D. Matrouf
Logic-Based Rhetorical Structuring for Natural Language Generation in Human-Computer Dialogue / Vladimir Popescu ; Jean Caelen ; Corneliu Burileanu
Text-Independent Speaker Identification Using Temporal Patterns / Tobias Bocklet
Recording and Annotation of Speech Corpus for Czech Unit Selection Speech Synthesis / Jindrich Matousek ; Jan Romportl
Sk-ToBI Scheme for Phonological Prosody Annotation in Slovak / Milan Rusko ; Robert Sabo ; Martin Dzur
Towards Automatic Transcription of Large Spoken Archives in Agglutinating Languages - Hungarian ASR for the MALACH Project / Peter Mihajlik ; Tibor Fegyo ; Bottyan Nemeth ; Zoltan Tuske ; Viktor Tron
Non-uniform Speech/Audio Coding Exploiting Predictability of Temporal Evolution of Spectral Envelopes / Petr Motlicek ; Hynek Hermansky ; Sriram Ganapathy ; Harinath Garudadri
Filled Pauses in Speech Synthesis: Towards Conversational Speech / Jordi Adell ; Antonio Bonafonte ; David Escudero
Exploratory Analysis of Word Use and Sentence Length in the Spoken Dutch Corpus / Pascal Wiggers
Design of Tandem Architecture Using Segmental Trend Features / Young-Sun Yun ; Yunkeun Lee
An Automatic Retraining Method for Speaker Independent Hidden Markov Models
User Modeling to Support the Development of an Auditory Help System / Flaithri Neff ; Aidan Kehoe ; Ian Pitt
Fast Discriminant Training of Semi-continuous HMM / C. Levy
Speech/Music Discrimination Using Mel-Cepstrum Modulation Energy / Bong-Wan Kim ; Dae-Lim Choi ; Yong-Ju Lee
Parameterization of the Input in Training the HVS Semantic Parser / Jan Svec ; Filip Jurcicek ; Ludek Muller
A Comparison Using Different Speech Parameters in the Automatic Emotion Recognition Using Feature Subset Selection Based on Evolutionary Algorithms / Aitor Alvarez ; Idoia Cearreta ; Juan Miguel Lopez ; Andoni Arruti ; Elena Lazkano ; Basilio Sierra ; Nestor Garay
Benefit of Maximum Likelihood Linear Transform (MLLT) Used at Different Levels of Covariance Matrices Clustering in ASR Systems / Josef V. Psutka
Information Retrieval Test Collection for Searching Spontaneous Czech Speech / Pavel Ircing ; Pavel Pecina ; Douglas W. Oard ; Jianqiang Wang ; Ryen W. White ; Jan Hoidekr
Inter-speaker Synchronization in Audiovisual Database for Lip-Readable Speech to Animation Conversion / Gergely Feldhoffer ; Balazs Oroszi ; Gyorgy Takacs ; Attila Tihanyi ; Tamas Bardi
Constructing Empirical Models for Automatic Dialog Parameterization / Mikhail Alexandrov ; Xavier Blanco ; Natalia Ponomareva
The Effect of Lexicon Composition in Pronunciation by Analogy / Tasanawan Soonklang ; R.I. Damper ; Yannick Marchand
Festival-si: A Sinhala Text-to-Speech System / Ruvan Weerasinghe ; Asanka Wasala ; Viraj Welgama ; Kumudu Gamage
Voice Conversion Based on Probabilistic Parameter Transformation and Extended Inter-speaker Residual Prediction / Zdenek Hanzlicek
Automatic Czech - Sign Speech Translation / Jakub Kanis
Maximum Likelihood and Maximum Mutual Information Training in Gender and Age Recognition System / Valiantsina Hubeika ; Igor Szoke ; Lukas Burget
Pitch Marks at Peaks or Valleys? / Milan Legat ; Daniel Tihelka
Quality Deterioration Factors in Unit Selection Speech Synthesis / Jiri Kala
Topic-Focus Articulation Algorithm on the Syntax-Prosody Interface of Romanian / Neculai Curteanu ; Mihai Alex Moruz
Translation and Conversion for Czech Sign Speech Synthesis / Zdenek Krnoul ; Milos Zelezny
Dialog
A Wizard-of-Oz System Evaluation Study / Melita Hajdinjak ; France Mihelic
New Measures for Open-Domain Question Answering Evaluation Within a Time Constraint / Elisa Noguera ; Fernando Llopis ; Antonio Ferrandez ; Alberto Escapa
A Methodology for Domain Dialogue Engineering with the Midiki Dialogue Manager / Lucio M.M. Quintal ; Paulo N.M. Sampaio
The Intonational Realization of Requests in Polish Task-Oriented Dialogues / Maciej Karpinski
Analysis of Changes in Dialogue Rhythm Due to Dialogue Acts in Task-Oriented Dialogues / Noriki Fujiwara ; Toshihiko Itoh ; Kenji Araki
Recognition and Understanding Simulation for a Spoken Dialog Corpus Acquisition / F. Garcia ; L.F. Hurtado ; D. Griol ; M. Castro ; E. Segarra ; E. Sanchis
First Approach in the Development of Multimedia Information Retrieval Resources for the Basque Context / N. Barroso ; A. Ezeiza ; N. Gilisagasti ; K. Lopez de Ipina ; A. Lopez ; J.M. Lopez
The Weakest Link / Harry Bunt ; Roser Morante
A Spoken Dialog System for Chat-Like Conversations Considering Response Timing / Ryota Nishimura ; Norihide Kitaoka ; Seiichi Nakagawa
Digitisation and Automatic Alignment of the DIALOG Corpus: A Prosodically Annotated Corpus of Czech Television Debates / Nino Peterek ; Petr Kaderka ; Zdenka Svobodova ; Eva Havlova ; Martin Havlik ; Jana Klimova ; Patricie Kubackova
Setting Layout in Dialogue Generating Web Pages / Ludek Bartek ; Ivan Kopecek ; Radek Oslejsek
Graph-Based Answer Fusion in Multilingual Question Answering / Rita M. Aceves-Perez ; Manuel Montes-y-Gomez ; Luis Villasenor-Pineda
Using Query-Relevant Documents Pairs for Cross-Lingual Information Retrieval / Alfons Juan
Detection of Dialogue Acts Using Perplexity-Based Word Clustering / Iosif Mporas ; Dimitrios P. Lyras ; Kyriakos N. Sgarbas ; Nikos Fakotakis
Dialogue Management for Intelligent TV Based on Statistical Learning Method / Hyo-Jung Oh ; Chung-Hee Lee ; Yi-Gyu Hwang ; Myung-Gil Jang
Multiple-Taxonomy Question Classification for Category Search on Faceted Information / David Tomas ; Jose L. Vicedo
Author Index
Invited Talks
Language Modeling with Linguistic Cluster Constraints / Frederick Jelinek ; Jia Cui
Some of Our Best Friends Are Statisticians / Jan Hajic ; Eva Hajicova
7.

電子ブック

EB
Manuel Kauers, Manfred Kerber, Robert Miner, Jörg Siekmann, Wolfgang Windsteiger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
Context Aware Calculation and Deduction / Amine Chaieb ; Makarius Wenzel
Towards Constructive Homological Algebra in Type Theory / Thierry Coquand and Arnaud Spiwack
What Might "Understand a Function" Mean? / James H. Davenport
Biform Theories in Chiron
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic / Predrag Janicic ; Alan Bundy
Certified Computer Algebra on Top of an Interactive Theorem Prover / Cezary Kaliszyk ; Freek Wiedijk
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators / Elena Kartashova ; Scott McCallum
Rule-Based Simplification in Vector-Product Spaces / Songxin Liang ; David J. Jeffrey
Contributions to MKM 2007
Mathematics and Scientific Markup / Peter Murray Rust
The On-Line Encyclopedia of Integer Sequences / Neil J.A. Sloane
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems / Miguel A. Abanades ; Jesus Escribano ; Francisco Botana
Higher Order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case / Andrea Asperti ; Enrico Tassi
A Framework for Interactive Proof / David Aspinall ; Christoph Luth ; Daniel Winterstein
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems / Serge Autexier ; Armin Fiedler ; Thomas Neumann ; Marc Wagner
Mizar Course in Logic and Set Theory / Ewa Borak ; Anna Zalewska
Using Formal Concept Analysis in Mathematical Discovery / Simon Colton ; Daniel Wagner
Cooperative Repositories for Formal Proofs / Pierre Corbineau
Revisions as an Essential Tool to Maintain Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
The Layers of Logiweb / Klaus Grue
Formal Representation of Mathematics in a Dependently Typed Set Theory / Feryal Fulya Horozal ; Chad E. Brown
Restoring Natural Language as a Computerised Mathematics Input Method / Fairouz Kamareddine ; Robert Lamar ; Manuel Maarek ; J.B. Wells
Narrative Structure of Mathematical Texts / Krzysztof Retel
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch / Andrea Kohlhase ; Michael Kohlhase
Alternative Aggregates in Mizar / Gilbert Lee ; Piotr Rudnicki
An Approach to Mathematical Search Through Query Formulation and Data Normalization / Robert Miner ; Rajesh Munavalli
Extended Formula Normalization for [epsilon]-Retrieval and Sharing of Mathematical Knowledge / Immanuel Normann
Towards Mathematical Knowledge Management for Electrical Engineering / Agnieszka Rowinska-Schwarzweller
Spurious Disambiguation Error Detection / Claudio Sacerdoti Coen ; Stefano Zacchiroli
Methods of Relevance Ranking and Hit-Content Generation in Math Search / Abdou S. Youssef
Author Index
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
8.

電子ブック

EB
Malte Helmert, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
Worst-Case Evaluation / 1.1.1:
Average-Case Evaluation / 1.1.2:
Planning Benchmarks Are Important / 1.2:
Theoretical Analyses of Planning Benchmarks / 1.3:
Why Theoretical Analyses Are Useful / 1.3.1:
Published Results on Benchmark Complexity / 1.3.2:
Standard Benchmarks / 1.4:
Summary and Overview / 1.5:
Defining Planning Domains / 2:
Optimization Problems / 2.1:
Minimization Problems / 2.1.1:
Approximation Algorithms / 2.1.2:
Approximation Classes / 2.1.3:
Reductions / 2.1.4:
Formalizing Planning Domains / 2.2:
General Results and Reductions / 2.3:
Upper Bounds / 2.3.1:
Shortest Plan Length / 2.3.2:
Approximation Classes of Limited Interest / 2.3.3:
Relating Planning and (Bounded) Plan Existence / 2.3.4:
Generalization and Specialization / 2.3.5:
The Benchmark Suite / 3:
Defining the Competition Domains / 3.1:
IPC1 Domains / 3.2:
IPC2 Domains / 3.2.2:
IPC3 Domains / 3.2.3:
IPC4 Domains / 3.2.4:
Domains and Domain Families / 3.3:
Transportation and Route Planning / 4:
Transport and Route / 4.1:
The Transport Domain / 4.1.1:
The Route Domain / 4.1.2:
Special Cases and Hierarchy / 4.1.3:
General Results / 4.2:
Plan Existence / 4.3:
Hardness of Optimization / 4.4:
Constant Factor Approximation / 4.5:
Hardness of Constant Factor Approximation / 4.6:
Summary / 4.7:
Beyond Transport and Route / 4.8:
IPC Domains: Transportation and Route Planning / 5:
Gripper / 5.1:
Mystery and Mystery Prime / 5.2:
Logistics / 5.3:
Zenotravel / 5.4:
Depots / 5.5:
Miconic-10 / 5.6:
Rovers / 5.7:
Grid / 5.8:
Driverlog / 5.9:
Airport / 5.10:
IPC Domains: Others / 5.11:
Assembly / 6.1:
Blocksworld / 6.2:
Freecell / 6.3:
Movie / 6.4:
Pipesworld / 6.5:
Promela / 6.6:
PSR / 6.7:
Satellite / 6.8:
Schedule / 6.9:
Conclusions / 6.10:
Ten Conclusions / 7.1:
Going Further / 7.2:
Fast Downward / Part II:
Solving Planning Tasks Hierarchically / 8:
Introduction / 8.1:
Related Work / 8.2:
Causal Graphs and Abstraction / 8.2.1:
Causal Graphs and Unary STRIPS Operators / 8.2.2:
Multi-Valued Planning Tasks / 8.2.3:
Architecture and Overview / 8.3:
Translation / 9:
PDDL and Multi-valued Planning Tasks / 9.1:
Translation Overview / 9.2:
Normalization / 9.3:
Compiling Away Types / 9.3.1:
Simplifying Conditions / 9.3.2:
Simplifying Effects / 9.3.3:
Normalization Result / 9.3.4:
Invariant Synthesis / 9.4:
Initial Candidates / 9.4.1:
Proving Invariance / 9.4.2:
Refining Failed Candidates / 9.4.3:
Examples / 9.4.4:
Grounding / 9.4.5:
Overview of Horn Exploration / 9.5.1:
Generating the Logic Program / 9.5.2:
Translating the Logic Program to Normal Form / 9.5.3:
Computing the Canonical Model / 9.5.4:
Axiom and Operator Instantiation / 9.5.5:
Multi-valued Planning Task Generation / 9.6:
Variable Selection / 9.6.1:
Converting the Initial State / 9.6.2:
Converting Operator Effects / 9.6.3:
Converting Conditions / 9.6.4:
Computing Axiom Layers / 9.6.5:
Generating the Output / 9.6.6:
Performance Notes / 9.7:
Relative Performance Compared to MIPS Translator / 9.7.1:
Absolute Performance / 9.7.2:
Knowledge Compilation / 10:
Overview / 10.1:
Domain Transition Graphs / 10.2:
Causal Graphs / 10.3:
Acyclic Causal Graphs / 10.3.1:
Generating and Pruning Causal Graphs / 10.3.2:
Causal Graph Examples / 10.3.3:
Successor Generators and Axiom Evaluators / 10.4:
Successor Generators / 10.4.1:
Axiom Evaluators / 10.4.2:
Search / 11:
The Causal Graph Heuristic / 11.1:
Conceptual View of the Causal Graph Heurstic / 11.2.1:
Computation of the Causal Graph Heuristic / 11.2.2:
States with Infinite Heuristic Value / 11.2.3:
Helpful Transitions / 11.2.4:
The FF Heuristic / 11.3:
Greedy Best-First Search in Fast Downward / 11.4:
Preferred Operators / 11.4.1:
Deferred Heuristic Evaluation / 11.4.2:
Multi-heuristic Best-First Search / 11.5:
Focused Iterative-Broadening Search / 11.6:
Experiments / 12:
Experiment Design / 12.1:
Benchmark Set / 12.1.1:
Experiment Setup / 12.1.2:
Translation and Knowledge Compilation vs. Search / 12.1.3:
Strips Domains from IPC1-3 / 12.2:
ADL Domains from IPC1-3 / 12.3:
Domains from IPC4 / 12.4:
Conclusions from the Experiment / 12.5:
Discussion / 13:
Major Contributors / 13.1:
Multi-valued Representations / 13.2.1:
Task Decomposition Heuristics / 13.2.2:
Minor Contributions / 13.3:
References / 13.4:
Index
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
9.

電子ブック

EB
Anna Esposito, Marcos Faundez-Zanuy, Eric Keller, Maria Marinaro, European Cooperation in the Field of Scientific and Technical Research (Organization).
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
COST 2102: Cross-Modal Analysis of Verbal and Nonverbal Communication (CAVeNC) / Anna Esposito
Verbal and Nonverbal Coding Schema / I:
Annotation Schemes for Verbal and Non-verbal Communication: Some General Issues / Niels Ole Bernsen ; Laila Dybkjaer
Presenting in Style by Virtual Humans / Zsofia Ruttkay
Analysis of Nonverbal Involvement in Dyadic Interactions / Uwe Altmann ; Rico Hermkes ; Lutz-Michael Alisch
Emotional Expressions / II:
Children's Perception of Musical Emotional Expressions / Manuela Serio
Emotional Style Conversion in the TTS System with Cepstral Description / Jiri Pribil ; Anna Pribilova
Meaningful Parameters in Emotion Characterisation / Eva Navas ; Inmaculada Hernaez ; Iker Luengo ; Inaki Sainz ; Ibon Saratxaga ; Jon Sanchez
Gestural Expressions / III:
Prosodic and Gestural Expression of Interactional Agreement / Eric Keller ; Wolfgang Tschacher
Gesture, Prosody and Lexicon in Task-Oriented Dialogues: Multimedia Corpus Recording and Labelling / Ewa Jarmolowicz ; Maciej Karpinski ; Zofia Malisz ; Michal Szczyszek
Egyptian Grunts and Transportation Gestures / Aly N. El-Bahrawy
Analysis and Algorithms for Verbal and Nonverbal Speech / IV:
On the Use of NonVerbal Speech Sounds in Human Communication / Nick Campbell
Speech Spectrum Envelope Modeling / Robert Vich ; Martin Vondra
Using Prosody in Fixed Stress Languages for Improvement of Speech Recognition / Gyorgy Szaszak ; Klara Vicsi
Single-Channel Noise Suppression by Wavelets in Spectral Domain / Zdenek Smekal ; Petr Sysel
Voice Source Change During Fundamental Frequency Variation / Peter J. Murphy
A Gesture-Based Concept for Speech Movement Control in Articulatory Speech Synthesis / Bernd J. Kroger ; Peter Birkholz
A Novel Psychoacoustically Motivated Multichannel Speech Enhancement System / Amir Hussain ; Simone Cifani ; Stefano Squartini ; Francesco Piazza ; Tariq Durrani
Analysis of Verbal and Nonverbal Acoustic Signals with the Dresden UASR System / Rudiger Hoffmann ; Matthias Eichner ; Matthias Wolff
Machine Multimodal Interaction / V:
VideoTRAN: A Translation Framework for Audiovisual Face-to-Face Conversations / Jerneja Zganec Gros
Spoken and Multimodal Communication Systems in Mobile Settings / Markku Turunen ; Jaakko Hakulinen
Multilingual Augmentative Alternative Communication System / Pantelis Makris
Analysis and Synthesis of Multimodal Verbal and Non-verbal Interaction for Animated Interface Agents / Jonas Beskow ; Bjorn Granstrom ; David House
Generating Nonverbal Signals for a Sensitive Artificial Listener / Dirk Heylen ; Anton Nijholt ; Mannes Poel
Low-Complexity Algorithms for Biometric Recognition / Marcos Faundez-Zanuy ; Virginia Espinosa-Duro ; Juan Antonio Ortega
Towards Mobile Multimodal Telecommunications Systems and Services / Matus Pelva ; Jan Papaj ; Anton Cizmar ; L'ubomir Dobos ; Jozef Juhar ; Stanislav Ondas ; Michal Mirilovic
Embodied Conversational Agents in Wizard-of-Oz and Multimodal Interaction Applications / Matej Rojc ; Tomaz Rotovnik ; Miso Brus ; Dusan Jan ; Zdravko Kacic
Telling Stories with a Synthetic Character: Understanding Inter-modalities Relations / Guilherme Raimundo ; Joao Cabral ; Celso Melo ; Luis C. Oliveira ; Ana Paiva ; Isabel Trancoso
Author Index
Introduction
COST 2102: Cross-Modal Analysis of Verbal and Nonverbal Communication (CAVeNC) / Anna Esposito
Verbal and Nonverbal Coding Schema / I:
10.

電子ブック

EB
Ning Zhong, Kuncheng Li, Jiming Liu, Shengfu Lu, Jinglong Wu, Yiyu Yao, Web Intelligence Consortium.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Web Intelligence Meets Brain Informatics / Ning Zhong ; Jiming Liu ; Yiyu Yao ; Jinglong Wu ; Shengfu Lu ; Yulin Qin ; Kuncheng Li ; Benjamin Wah
Neuroscience: New Insights for AI? / Tomaso Poggio
Network Thinking and Network Intelligence / Deyi Li ; Liping Xiao ; Yanni Han ; Guisheng Chen ; Kun Liu
Synergy of Web Intelligence and Brain Informatics
Web Intelligence Meets Brain Informatics at the Language Barrier: A Procrustean Bed? / Nick Cercone
Conversational Informatics Where Web Intelligence Meets Brain Informatics / Toyoaki Nishida
Intelligence for Upgrading Information / Setsuo Ohsuga
Toward Perception Based Computing: A Rough-Granular Perspective / Andrzej Jankowski ; Andrzej Skowron
Granular Computing: Modeling Human Thoughts in the Web by Polyhedron / Tsau Young (T.Y.) Lin ; Mong-Hang Vo
Cognitive Science, Neuroscience, and Brain Informatics
Biophysical Models of Neural Computation: Max and Tuning Circuits / Ulf Knoblich ; Jake Bouvrie
Cognitive Architectures and the Challenge of Cognitive Social Simulation / Ron Sun
ACT-R Meets fMRI / Daniel Bothell ; John R. Anderson
The Neural Mechanism of Human Numerical Inductive Reasoning Process: A Combined ERP and fMRI Study / Peipeng Liang ; Yanhui Yang
Central Nervous Processing for Acupuncture at Liv3 with fMRI: A Preliminary Experience / Wei Wang ; Baoci Shan ; Jianyang Xu ; Bin Yan ; Jing Hao ; Ke Li ; Na Lu
A Role for Signal Propagation Through the Hippocampal CA2 Field in Memory Formation / Yuko Sekino ; Tomoaki Shirao
Genetic Granular Cognitive Fuzzy Neural Networks and Human Brains for Pattern Recognition / Cui Lin ; Jun Li ; Natasha Barrett ; Yan-Qing Zhang ; David A. Washburn
Domain-Oriented Data-Driven Data Mining (3DM): Simulation of Human Knowledge Understanding / Guoyin Wang
An Ontology-Based Mining System for Competitive Intelligence in Neuroscience / Jiao Li ; Minlie Huang ; Xiaoyan Zhu
Web Intelligence Applications
Supervised Web Document Classification Using Discrete Transforms, Active Hypercontours and Expert Knowledge / P.S. Szczepaniak ; A. Tomczyk ; M. Pryczek
Fuzzy Web Surfer Models: Theory and Experiments / Narayan L. Bhamidipati ; Sankar K. Pal
Intuitive Display for Search Engines Toward Fast Detection of Peculiar WWW Pages / Einoshin Suzuki ; Shin Ando ; Masayuki Hirose ; Masatoshi Jumi
GridMiner: An Advanced Grid-Based Support for Brain Informatics Data Mining Tasks / Peter Brezany ; Ivan Janciak ; Jarmila Brezanyova ; A Min Tjoa
A Semantically Enabled Service Oriented Architecture / Darko Anicic ; Michael Brodie ; Jos de Bruijn ; Dieter Fensel ; Thomas Haselwanter ; Martin Hepp ; Stijn Heymans ; Jorg Hoffmann ; Mick Kerrigan ; Jacek Kopecky ; Reto Krummenacher ; Holger Lausen ; Adrian Mocan ; James Scicluna ; Ioan Toma ; Michal Zaremba
Spam Filtering and Email-Mediated Applications / Wenbin Li ; Y.Y. Yao ; Chunnian Liu
Ontology Based Web Mining for Information Gathering / Yuefeng Li
A Reasonable Rough Approximation for Clustering Web Users / Duoqian Miao ; Min Chen ; Zhihua Wei ; Qiguo Duan
E-Business Intelligence Via MCMP-Based Data Mining Methods / Yi Peng ; Yong Shi ; Xingsen Li ; Zhengxin Chen ; Gang Kou
Intelligence Metasynthesis in Building Business Intelligence Systems / Longbing Cao ; Chengqi Zhang ; Dan Luo ; Ruwei Dai
Risk Mining in Medicine: Application of Data Mining to Medical Risk Management / Shusaku Tsumoto ; Yuko Tsumoto ; Kimiko Matsuoka ; Shigeki Yokoyama
Using Cryptography for Privacy Protection in Data Mining Systems / Justin Zhan
Author Index
Introduction
Web Intelligence Meets Brain Informatics / Ning Zhong ; Jiming Liu ; Yiyu Yao ; Jinglong Wu ; Shengfu Lu ; Yulin Qin ; Kuncheng Li ; Benjamin Wah
Neuroscience: New Insights for AI? / Tomaso Poggio
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼