close
1.

電子ブック
ＥＢ
1. Advances in Pattern Recognition
Jos? Francisco Mart?nez-Trinidad, Jes?s Ariel Carrasco-Ochoa, Takeo Kanade, Josef Kittler
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
Face Recognition Using Simplicial Complexes / Chengming Zou ; Edwin R. Hancock
Skeleton Simplification by Key Points Identification / Gabriel Rojas-Albarracín ; Carlos A. Carbajal ; Antonio Fernández-Caballero ; María T. López
Learning and Fast Object Recognition in Robot Skill Acquisition: A New Method / I. Lopez-Juarez ; R. Rios-Cabrera ; M. Peña-Cabrera ; R. Osorio-Comparan
Light Source Intensity Adjustment for Enhanced Feature Extraction / Francisco J. Castro-Martínez ; Mario Castelán ; Ismael López-Juárez
Fringe-Pattern Demodulation Using a Parametric Method Based on Differential Evolution / J.F. Jimenez ; F.J. Cuevas ; J.H. Sossa ; L.E. Gomez
ANIMA: Non-conventional Brain-Computer Interfaces in Robot Control through Electroencephalography and Electrooculography, ARP Module / Luis F. Reina ; Gerardo Martínez ; Mario Valdeavellano ; Marie Destarac ; Carlos Esquit
Efficient Roughness Recognition for Velocity Updating by Wheeled-Robots Navigation / Farid García ; Matías Alvarado
Image Processing
Fingerprint Verification with Non-linear Composite Correlation Filters / Saúl Martínez-Díaz ; Javier A. Carmona-Troyo
Automatic Ultrasound Image Analysis in Hashimoto's Disease / Robert Koprowski ; Zygmunt Wrobel ; Witold Zieleznik
Estimating Quality Bounds of JPEG 2000 Compressed Leukocytes Images / Alexander Falcón-Ruiz ; Juan Paz-Viera ; Hichem Sahli
Surface Material Segmentation Using Polarisation / Nitya Subramaniam ; Edwin Hancock
Measurement of Defocus Level in Iris Images Using Different Convolution Kernel Methods / J. Miguel Colores- Vargas ; Mireya S. García - Vázquez ; Alejandro A. Ramírez-Acosta
Radon Transform Algorithm for Fingerprint Ccore Point Detection / Miguel Mora-González ; Julio C. Martínez-Romo ; Jesús Muñoz-Maciel ; Guillermo Sánchez-Díaz ; Javier Salinas-Luna ; H.I. Piza-Dávila ; Francisco J. Luna-Rosas ; Carlos M. de Luna-Ortega
Genetic Algorithms and Tabu Search for Correcting Lanes in DNA Images / M. Angélica Pinninghoff J. ; Q. Daniel Venegas ; A. Ricardo Contreras
Adaptive Algorithm-Based Fused Bayesian Maximum Entropy-Variational Analysis Methods for Enhanced Radar Imaging / R.F. Vázquez-Bautista ; L.J. Morales-Mendoza ; R. Ortega-Almanza ; A. Blanco-Ortega
Iris Segmentation Using a Statistical Approach / Luis M. Zamudio-Puentes ; Mireya S. García-Vázquez
Neural Networks and Signal Processing
Adaboost Classifier by Artificial Immune System Model / Hind Tard ; Juan Carlos Herrera-Lozada ; Jesús Álvarez-Cedillo
Cost-Sensitive Neural Networks and Editing Techniques for Imbalance Problems / R. Alejo ; J.M. Sotoca ; V. García ; R.M. Valdovinos
Designing RBFNNs Using Prototype Selection / Ana Cecilia Tenorio-González ; José Fco. Martínez-Trinidad
A Learning Social Network with Recognition of Learning Styles Using Neural Networks / Ramón Zatarain-Cabada ; M.L. Barrón-Estrada ; Viridiana Ponce Angulo ; Adán José García ; Carlos A. Reyes García
On-line Signature Verification Based on Modified Dynamic Time Warping and Wavelet Sub-band Coding / Juan Carlos Sánchez-Diaz ; Juan Manuel Ramírez-Cortes ; Rogerio Enriquez-Caldera ; Pilar Gomez-Gil
New Dissimilarity Measures for Ultraviolet Spectra Identification / Andrés Eduardo Gutiérrez-Rodríguez ; Miguel Angel Medina-Pérez ; Jesús Ariel Carrasco-Ochoa ; Milton García-Borroto
Third Degree Volterra Kernel for Newborn Cry Estimation / Gibran Etcheverry ; Efraín López-Damian ; Carlos A. Reyes-García
Pattern Recognition and Data Mining
Cascading an Emerging Pattern Based Classifier
A New Combined Filter-Wrapper Framework for Gene Subset Selection with Specialized Genetic Operators / Edmundo Bonilla Huerta ; J. Crispín Hernández Hernández ; L. Alberto Hernández Montiel
Hybrid Feature Selection Method for Supervised Classification Based on Laplacian Score Ranking / Saúl Solorio-Fernández
Navigating K-Nearest Neighbor Graphs to Solve Nearest Neighbor Searches / Edgar Chávez ; Eric Sadit Tellez
On the Design of a Hardware-Software Architecture for Acceleration of SVM's Training Phase / Lázaro Bustio-Martínez ; René Cumplido ; José Hernández-Palancar ; Claudia Feregrino-Uribe
A Highly Parallel Algorithm for Frequent Itemset Mining / Alejandro Mesa
A Hybrid Methodology for Pattern Recognition in Signaling Cervical Cancer Pathways / David Escarcega ; Fernando Ramos ; Ana Espinosa ; Jaime Berumen
Graph Indexing and Retrieval Based on Median Graphs / Francesc Serratosa ; Albert Solé-Ribalta ; Enric Vidiella
A Novel Method for Counting Models on Grid Boolean Formulas / Carlos Guillén ; Guillermo De Ita ; Aurelio López-López
Natural Language and Document Processing
Sentence to Document Level Emotion Tagging - A Coarse-Grained Study on Bengali Blogs / Dipankar Das ; Sivaji Bandyopadhyay
Clustering Weblogs on the Basis of a Topic Detection Method / Fernando Perez-Tellez ; David Pinto ; John Cardiff ; Paolo Rosso
A Naïve Bayes Approach to Cross-Lingual Word Sense Disambiguation and Lexical Substitution / Darnes Vilariño ; Carlos Balderas ; Mireya Tovar ; Beatriz Beltrán
Supervised Learning for Semantic Classification of Spanish Collocations / Alexander Gelbukh ; Olga Kolesnikova
Recognizing Textual Entailment with Statistical Methods / Miguel Angel Ríos Gaona
Author Index
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-Domínguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
2.

電子ブック
ＥＢ
2. Controlled Natural Language
Norbert E. Fuchs, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Language Aspects
An Evaluation Framework for Controlled Natural Languages / Tobias Kuhn
Rhetorical Compositions for Controlled Natural Languages / Andrew Potter
Anaphora Resolution Involving Interactive Knowledge Acquisition / Rolf Schwitter
Talking Rabbit: A User Evaluation of Sentence Production / Paula Engelbrecht ; Glen Hart ; Catherine Dolbear
Naturalness vs. Predictability: A Key Debate in Controlled Languages / Peter Clark ; William R. Murray ; Phil Harrison ; John Thompson
Implementing Controlled Languages in GF / Krasimir Angelov ; Aarne Ranta
Polysemy in Controlled Natural Language Texts / Normunds Gruzitis ; Guntis Barzdins
Economical Discourse Representation Theory / Johan Bos
Controlled English Ontology-Based Data Access / Camilo Thorne ; Diego Calvanese
SBVR's Approach'to Controlled Natural Language / Silvie Spreeuwenberg ; Keri Anderson Healy
Tools and Applications
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts / Marcos Cramer ; Bernhard Fisseni ; Peter Koepke ; Daniel Kühlwein ; Bernhard Schröder ; Jip Veldman
On Designing Controlled Natural Languages for Semantic Annotation / Brian Davis ; Pradeep Dantuluri ; Laura Dragan ; Siegfried Handschuh ; Hamish Cunningham
Development of a Controlled Natural Language Interface for Semantic MediaWiki / Paul R. Smart ; Jie Bao ; Dave Braines ; Nigel R. Shadbolt
A Controlled Language for the Specification of Contracts / Gordon J. Pace ; Michael Rosner
Rabbit to OWL: Ontology Authoring with a CNL-Based Tool / Ronald Denaux ; Vania Dimitrova ; Anthony G. Cohn
Writing Clinical Practice Guidelines in Controlled Natural Language / Richard N. Shiffman ; George Michel ; Michael Krauthammer ; Norbert E. Fuchs ; Kaarel Kaljurand
What Are Controlled Natural Languages?
On Controlled Natural Languages: Properties and Prospects / Adam Wyner ; Danica Damljanovic ; Norbert Fuchs ; Stefan Hoefler ; Ken Jones ; Martin Luts ; Jonathan Pool ; Mike Rosner ; John Sowa
Author Index
Language Aspects
An Evaluation Framework for Controlled Natural Languages / Tobias Kuhn
Rhetorical Compositions for Controlled Natural Languages / Andrew Potter
3.

電子ブック
ＥＢ
3. Data Mining
Graham J. Williams, Takeo Kanade, Simeon J. Simoff, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Declarative Agent Languages and Technologies IV
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Defence Applications of Multi-Agent Systems
Simon G. Thompson, Robert Ghanea-Hercock, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Deontic Logic and Artificial Normative Systems
Lou Goble, Takeo Kanade, John-Jules Ch Meyer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Deontic Logic in Computer Science
Guido Governatori, Takeo Kanade, Giovanni Sartor, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Dependency Structures and Lexicalized Grammars
Marco Kuhlmann, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
Generative Capacity and Non-projectivity / 1.1.2：
Lexicalized Grammars Induce Dependency Trees / 1.2：
Overview of the Book / 1.3：
Dependency Languages / 1.3.1：
Contributions / 1.3.3：
Preliminaries / 2：
Projective Dependency Structures / 3：
Projectivity / 3.1：
Projectivity in the Sense of Harper and Hays / 3.1.1：
Projectivity in the Sense of Lecerf and Ihm / 3.1.2：
Projectivity in the Sense of Fitialov / 3.1.3：
Related Work / 3.1.4：
Algebraic Framework / 3.2：
Tree Traversal Strategies / 3.2.1：
Traversal of Treelet-Ordered Trees / 3.2.2：
Order Annotations / 3.2.3：
Dependency Algebras / 3.2.4：
Algorithmic Problems / 3.3：
Encoding and Decoding / 3.3.1：
Testing whether a Dependency Structure Is Projective / 3.3.2：
Empirical Evaluation / 3.3.3：
The Projectivity Hypothesis / 3.4.1：
Experimental Setup / 3.4.2：
Results and Discussion / 3.4.3：
Dependency Structures of Bounded Degree / 3.4.4：
The Block-Degree Measure / 4.1：
Blocks and Block-Degree / 4.1.1：
A Hierarchy of Non-projective Dependency Structures / 4.1.2：
Traversal of Block-Ordered Trees / 4.1.3：
Segmented Dependency Structures / 4.2.2：
Dependency Structure Algebras / 4.2.3：
Encoding / 4.3：
Computing the Block-Degree of a Dependency Structure / 4.3.2：
Dependency Structures without Crossings / 4.4：
Weakly Non-projective Dependency Structures / 5.1：
Definition of Weak Non-projectivity / 5.1.1：
Relation to the Block-Degree Measure / 5.1.2：
Algebraic Opaqueness / 5.1.3：
Well-Nested Dependency Structures / 5.1.4：
Definition of Well-Nestedness / 5.2.1：
Non-crossing Partitions / 5.2.2：
Algebraic Characterization / 5.2.3：
Testing whether a Dependency Structure Is Well-Nested / 5.2.4：
Structures and Grammars / 5.2.5：
Context-Free Grammars / 6.1：
Definition / 6.1.1：
String Semantics / 6.1.2：
Linearization Semantics / 6.1.3：
Dependency Semantics / 6.1.4：
Linear Context-Free Rewriting Systems / 6.2：
Non-essential Concatenation Functions / 6.2.1：
Coupled Context-Free Grammars / 6.2.4：
Tree Adjoining Grammar / 6.3.1：
Regular Dependency Languages / 6.4.1：
Regular Sets of Dependency Structures / 7.1：
Algebraic Recognizability / 7.1.1：
Elementary Properties / 7.1.2：
Regular Term Grammars / 7.1.3：
Regular Dependency Grammars / 7.1.4：
Dependency Languages and Lexicalized Grammars / 7.1.5：
Pumping Lemmata / 7.2：
The Pumping Lemma for Regular Term Languages / 7.2.1：
Ogden's Lemma for Regular Term Languages / 7.2.2：
Constant Growth / 7.3：
Constant Growth and Semilinearity / 7.3.1：
Regular Term Languages are Semilinear / 7.3.2：
Generative Capacity and Parsing Complexity / 7.3.3：
Projection of String Languages / 8.1：
Labelled Dependency Structures / 8.1.1：
String-Generating Regular Dependency Grammars / 8.1.2：
String-Generative Capacity / 8.1.3：
String Languages and Structural Properties / 8.2：
Masked Strings / 8.2.1：
Enforcing a Given Block-Degree / 8.2.2：
Enforcing Ill-Nestedness / 8.2.3：
Hierarchies of String Languages / 8.2.4：
Parsing Complexity / 8.2.5：
Membership Problems / 8.3.1：
The Standard Membership Problem / 8.3.2：
The Uniform Membership Problem / 8.3.3：
Recognition of Well-Nested Languages / 8.3.4：
Conclusion / 8.3.5：
Main Contributions / 9.1：
Future Directions / 9.2：
Development of the Formalism / 9.2.1：
Linguistic Relevance / 9.2.2：
Applications to Parsing / 9.2.3：
An Algebraic Perspective on Grammar Formalisms / 9.2.4：
References
Index
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
9.

電子ブック
ＥＢ
9. Designing Smart Homes
Juan Carlos Augusto, Takeo Kanade, Chris D. Nugent, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
Causal Reasoning for Alert Generation in Smart Homes / Antony Galton
Plans and Planning in Smart Homes / Richard Simpson ; Debra Schreckenghost ; Edmund F. LoPresti ; Ned Kirsch
Temporal Data Mining for Smart Homes / Mykola Galushka ; Dave Patterson ; Niall Rooney
Cases, Context, and Comfort: Opportunities for Case-Based Reasoning in Smart Homes / David Leake ; Ana Maguitman ; Thomas Reichherzer
Application of Decision Trees to Smart Homes / Vlado Stankovski ; Jernej Trnkoczy
Artificial Neural Networks in Smart Homes / Rezaul Begg ; Rafiul Hassan
A Multi-agent Approach to Controlling a Smart Environment / Diane J. Cook ; Michael Youngblood ; Sajal K. Das
Author Index
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
10.

電子ブック
ＥＢ
10. Formal Concept Analysis
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼