close
1.

電子ブック

EB
Ernesto; Jeong, Jechang Damiani, Ernesto Damiani, Jechang Jeong
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Low Level Approach for Image and Video Understanding / Part I:
GOP Structure Conversion in Transcoding MPEG-2 to H.264/AVC / Kangjun Lee ; Gwanggil Jeon ; Jechang Jeong1:
Introduction / 1.1:
GOP Structure Conversion / 1.2:
MV Scaling in the Temporal Direction / 1.2.1:
Correlation Between the Current MB Mode and the Reference Region / 1.2.2:
Proposed Algorithms / 1.3:
Adaptive Search Range Selection through the MV Linearity Test in the Temporal Direction / 1.3.1:
Adaptive Mode Decision Method Based on Region Information / 1.3.2:
Simulation Results / 1.4:
Conclusion / 1.5:
References
Simple Low Level Features for Image Analysis / Paolo Falcoz2:
The Role of Color / 2.1:
Color Spaces / 2.2.1:
HSL and HSV / 2.2.2:
CIE-Lab / 2.2.3:
Color Flattening / 2.2.4:
Blob Detection / 2.3:
Edge Detection / 2.4:
Simple Shapes / 2.5:
Scale and Position Invariants: Procrustes Analysis / 2.5.1:
Shape Alignment: Iterative Closest Point / 2.5.2:
Shape Encoding and Matching: Curvature Space Scale / 2.5.3:
Combination of simple features / 2.6:
Conclusions / 2.7:
Fast and robust Face Detection / Marco Anisetti3:
Related work / 3.1:
Feature-based / 3.1.1:
Low level / 3.1.1.1:
Skin-map / 3.1.1.2:
Feature analysis / 3.1.1.3:
Template based / 3.1.1.4:
Appearance-based / 3.1.2:
Face detection on video stream / 3.2:
Efficient object detection / 3.3.1:
Appearance-based face detection / 3.3.2:
Features-based face detection / 3.3.3:
Adaptive Skin detection / 3.3.3.1:
Eyes detection and validation / 3.3.3.2:
Face normalization / 3.3.3.3:
Experimental results / 3.4:
Discussion and Conclusions / 3.4.1:
Automatic 3D Facial Fitting for Tracking in Video Sequence / Valerio Bellandi4:
The 3D Face Model / 4.1:
3D morphing basis / 4.2:
3D morphing basis for shape and expression / 4.2.1:
Shape Unit / 4.2.1.1:
Expression Unit / 4.2.1.2:
Appearance basis / 4.3:
PCA / 4.3.0.3:
Image-based PCA / 4.3.0.4:
3D Illumination basis / 4.4:
The General Purposes 3D Tracking Algorithm / 4.5:
Feature Location / 4.5.1:
Model adaptation / 4.6:
Feature-based pose estimation / 4.6.1:
Shape and expression inference / 4.6.2:
3D Tracking-based Model refinement / 4.6.3:
Initial refinement / 4.6.4:
Deep refinement / 4.6.5:
Multimedia Knowledge-Based Approaches and Applications / 4.7:
Input Devices and Interaction Techniques for VR-Enhanced Medicine / Luigi Gallo ; Giuseppe De Pietro5:
Related Works / 5.1:
Requirements Analysis / 5.3:
Interaction Metaphors and Techniques / 5.4:
Realistic Metaphors / 5.4.1:
A Realistic Metaphor: Virtual Hand / 5.4.1.1:
Magic Metaphors / 5.4.2:
A Magic Metaphor: Virtual Pointer / 5.4.2.1:
Pros and Cons of Realistic vs. Magic Interaction Metaphors / 5.4.3:
The Proposed Input Device: the Wiimote / 5.5:
Communication / 5.5.1:
Inputs / 5.5.2:
Outputs / 5.5.3:
Classification / 5.5.4:
The Proposed Interaction Techniques / 5.6:
The Manipulation State / 5.6.1:
Pointing / 5.6.1.1:
Translation and Zooming / 5.6.1.2:
Rotation / 5.6.1.3:
The Cropping State / 5.6.2:
Discussion / 5.7:
Bridging Sensing and Decision Making in Ambient Intelligence Environments / Elie Raad ; Bechara Al Bouna ; Richard Chbeir6:
Preliminaries / 6.1:
Templates / 6.4:
Uncertainty Resolver via Aggregation Functions / 6.5:
Average-based Function / 6.5.1:
Bayesian Network-Based Function / 6.5.2:
"Dempster and Shafer" -Based Function / 6.5.3:
Decision Tree-Based Function / 6.5.4:
Experimentation / 6.6:
Aggregation Function Accuracy and Time Processing / 6.6.1:
Value Distribution / 6.6.2:
Test 1: Values higher than 0.5 / 6.6.2.1:
Test 2: Values less than 0.5 / 6.6.2.2:
Test 3: Random Values / 6.6.2.3:
Test 5: 75% of the values are less than 0.5 / 6.6.2.4:
Test 6: Equally distributed values / 6.6.2.5:
Test 7: Distribution change / 6.6.2.6:
Test 8: Influence of the number of returned values 0 and 1 on the aggregated result / 6.6.2.7:
Template Tuning / 6.6.2.8:
Case 1: using the multimedia function f1 / 6.6.3.1:
Case 2: using the multimedia function f2 / 6.6.3.2:
Uncertainty threshold tuning / 6.6.3.3:
Ambient Intelligence in Multimedia and Virtual Reality Environments for the rehabilitation / Attila Benko ; Sik Lanyi Cecilia6.7:
Using AI by special needs users / 7.1:
Visual Impairment and Partially Sighted People / 7.2.1:
Deaf and Hard-of-Hearing People / 7.2.2:
Physically Disabled Persons / 7.2.3:
Mentally Disabled People / 7.2.4:
Smart Home / 7.2.5:
A detailed example of using AI in virtual reality for rehabilitation / 7.3:
Future vision / 7.4:
Acknowledgement / 7.5:
Artificial Neural Networks for Processing Graphs with Application to Image Understanding: A Survey / Monica Bianchini ; Franco Scarselli8:
From flat to structural Pattern Recognition / 8.1:
Graph processing by neural networks / 8.2:
Notation / 8.2.1:
A general framework for graph processing / 8.2.2:
Recursive Neural Networks / 8.2.3:
Graph Neural Networks / 8.2.4:
Other models / 8.2.5:
Graph-based representation of images / 8.3:
Image segmentation / 8.3.1:
Region Adjacency Graphs / 8.3.2:
Multi-resolution trees / 8.3.3:
Index / 8.4:
Low Level Approach for Image and Video Understanding / Part I:
GOP Structure Conversion in Transcoding MPEG-2 to H.264/AVC / Kangjun Lee ; Gwanggil Jeon ; Jechang Jeong1:
Introduction / 1.1:
2.

電子ブック

EB
Ernesto; D'Antona, Ottavio; Marra, Vincenzo Damiani, Ottavio D'Antona, Ernesto Damiani
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Gian-Carlo Rota, the Man / Part I:
Gianco, my Brother / Ester Gasperoni Rota1:
References
Remembering Gian-Carlo Rota / Joseph J. Kohn2:
Gian-Carlo Rota, the Mathematician / Part II:
A Glimpse of Vector Invariant Theory. The Points of View of Weyl, Rota, De Concini and Procesi, and Grosshans / Andrea Brini3:
Introduction / 3.1:
The Characteristic Zero Approach / 3.2:
Preliminaries / 3.2.1:
Weyl's Theorem (The Reduction Principle) / 3.2.2:
Absolute Invariants for the Special Linear Group S L(d) / 3.2.3:
Absolute Invariants for the Symplectic Group S p2m / 3.2.4:
Absolute Invariants for the Special Orthogonal Group S O(d) / 3.2.5:
Absolute Invariants for the Orthogonal Group O(d) / 3.2.6:
The Straightening Formulae / 3.3:
Standard Young Tableaux / 3.3.1:
Bideterminants / 3.3.2:
Pfaffians / 3.3.3:
Gramians / 3.3.4:
The E. Pascal Theorems and the Cancellation Laws / 3.4:
The E. Pascal Theorem and the Cancellation Law for Scalar Products / 3.4.1:
The E. Pascal Theorem and the Cancellation Law for Symplectic Products / 3.4.2:
The E. Pascal Theorem and the Cancellation Law for Inner Products / 3.4.3:
The First and the Second Fundamental Theorems / 3.5:
The First Fundamental Theorems / 3.5.1:
The Second Fundamental Theorems / 3.5.2:
Grosshans's Theorem / 3.6:
Partitions of a Finite Partially Ordered Set / Pietro Codara4:
Background, and Preliminary Results / 4.1:
Partitions as Sets of Fibres / 4.3:
Partitions as Partially Ordered Sets of Blocks / 4.4:
Partitions Induced by Quasiorders / 4.5:
Further Work / 4.6:
An Algebra of Pieces of Space - Hermann Grassmann to Gian Carlo Rota / Henry Crapo5:
Almost Ten Years Later / 5.1:
Synthetic Projective Geometry / 5.2:
Hermann Grassmann's Algebra / 5.3:
Extensors and Vectors / 5.4:
Reduced Forms / 5.5:
Grassmann-Cayley Algebra, Peano Spaces / 5.6:
Whitney Algebra / 5.7:
Geometric Product / 5.8:
Regressive Product / 5.9:
Higher Order Syzygies / 5.10:
Balls in Boxes / 5.11:
The Eleventh and Twelveth Problems of Rota's Fubini Lectures: from Cumulants to Free Probability Theory / Elvira Di Nardo ; Domenico Senato6:
Prologue / 6.1:
The Classical Umbral Calculus / 6.2:
Generating Functions / 6.2.1:
Sequences of Binomial Type, Bell Umbrae and Poisson Processes / 6.3:
Cumulants / 6.4:
Singleton Umbra / 6.4.1:
Cumulant Umbra / 6.4.2:
Applications in Statistics / 6.5:
U-Statistics / 6.5.1:
Moments of Sampling Distributions / 6.5.2:
Products of Statistics / 6.5.3:
k-statistics / 6.5.4:
Fast Symbolic Computation of k-statistics / 6.5.5:
Sheppard's Corrections / 6.5.6:
Sheffer Sequences / 6.6:
Abel Polynomials / 6.6.1:
Quasi-free Cumulant Umbra / 6.6.2:
Boolean Cumulants / 6.6.3:
Free Cumulant Theory / 6.7:
Two Examples of Applied Universal Algebra / Joseph P. S. Kung7:
The Bohnenblust-Spitzer Identity / 7.1:
Baxter Algebras / 7.3:
The Standard Baxter Algebra / 7.4:
A Precursor Identity / 7.5:
Abstract Random Variables / 7.6:
On the Euler Characteristic of Finite Distributive Lattices / Emanuele Munarini8:
Posets and Distributive Lattices / 8.1:
Euler Characteristic / 8.3:
Uniform Distributions of the Characteristic / 8.4:
X-uniform Lattices / 8.4.1:
Order-preserving Euler Characteristic / 8.4.2:
Rank X-uniform Lattices / 8.4.3:
Pseudo-planar Distributive Lattices / 8.5:
Graphs and Hypergraphs / 8.6:
Dual Gödel Lattices / 8.7:
Tree maps / 8.8:
Rota, Probability, Algebra and Logic / Daniele Mundici9:
MV-algebraic States and De Finetti Coherence Criterion / 9.1:
MV-algebraic and C*-algebraic States After Elliott Classification / 9.2:
MV-algebraic ?-states and Carathéodory Probability Theory / 9.3:
A Symbolic Treatment of Abel Polynomials / Pasquale Petrullo10:
Abel polynomials, Lagrange inversion formula and sequences of binomial type / 10.1:
Generalized Abel polynomials / 10.3:
Cumulants and convolutions / 10.4:
Gian-Carlo Rota, the Philosopher / Part III:
Ethics in Thought. Gian-Carlo Rota and Philosophy / Francesca Bonicalzi11:
Telling/Inventing the Truth / 11.1:
The Winding Streets, and the Straight and Wide Avenue of Precision / 11.2:
The Food of Philosophical Thought and the Medicine of Axiomatics / 11.3:
The Ethics of Knowledge and the Genesis of its Disciplines / 11.4:
Indiscrete Variations on Gian-Carlo Rota's Themes / Carlo Cellucci12:
The Existence of Mathematical Objects / 12.1:
Irrelevance of the Existence of Mathematical Objects / 12.2.1:
Mathematical Objects as Hypotheses / 12.2.2:
Hypotheses vs. Fictions / 12.2.3:
Existence and Identity / 12.2.4:
The Inexhaustibility of Mathematical Objects / 12.2.5:
Definition in Mathematics / 12.3:
Definition, Description and Analysis of Concepts / 12.3.1:
Definition in Mathematics and in Philosophy / 12.3.2:
The Alleged Circularity of Definitions and Theorems / 12.3.3:
The Notion of Proof / 12.4:
Proof as the Opening up of Possibilities / 12.4.1:
Axiomatic Presentation and Gödel's Incompleteness Theorems / 12.4.2:
Are there Definitive Proofs? / 12.4.3:
Proof and Evidence / 12.4.4:
The Relation of Philosophy of Mathematics to Mathematics / 12.5:
The Descriptive Character of the Philosophy of Mathematics / 12.5.1:
The Need for a Drastic Overhaul of Logic / 12.5.2:
Rota's Place in the Philosophy of Mathematics / 12.6:
On the Courage Needed to Do Phenomenology. Rota and Analytic Philosophy / Albino Lanciani ; Claudio Majolino13:
Twilight of an Idol / 13.1:
Three Senses of Phenomenology / 13.2:
Coda / 13.3:
Rota's Philosophical Insights / Massimo Mugnai14:
What Kind of Reductionism? / 14.1:
Rota's Objectivism and Husserl's Naturalism / 14.3:
Beyond Classical Logic / 14.4:
Concluding Remarks / 14.5:
"A Minority View". Gian-Carlo Rota's Phenomenological Realism / Fabrizio Palombi15:
Considerations on the Problem of Realism / 15.1:
Phenomenological Realism / 15.2:
Fringe Phenomena and State-of-Mind / 15.3:
Psychologistic Misunderstandings / 15.4:
Descriptions, Not Prescriptions / 15.5:
Gian-Carlo Rota, the Man / Part I:
Gianco, my Brother / Ester Gasperoni Rota1:
References
3.

電子ブック

EB
Ernesto Damiani, Richard Chbeir, Albert Dipanda, Takeo Kanade, Kokou Yetongnon
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック

EB
Miltiadis D. Lytras, David Avison, John M. Carroll, Adrian Dale, Ernesto Damiani, Takeo Kanade, Paul Lefrere, Ambjörn Naeve, Janice Sipior, Felix Tan, Robert D. Tennyson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック

EB
Ernesto Damiani, Claudio Agostino Ardagna, Claudio Agostino Ardagna, Nabil El Ioini
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Context and motivation / 1.1:
Software certification / 1.2:
Certification vs. standardization / 1.2.1:
Certification authorities / 1.2.2:
Software security certification / 1.3:
The state of the art / 1.3.1:
Changing scenarios / 1.3.2:
Certifying Open source / 1.4:
Conclusions / 1.5:
References
Basic Notions on Access Control / 2:
Access Control / 2.1:
Discretionary Access Control / 2.2.1:
Mandatory Access Control / 2.2.2:
Role Based Access Control / 2.2.3:
Test based security certifications / 2.3:
Basic Notions on Software Testing / 3.1:
Types of Software Testing / 3.1.1:
Automation of Test Activities / 3.1.2:
Fault Terminology / 3.1.3:
Test Coverage / 3.1.4:
Test-based Security Certification / 3.2:
The Trusted Computer System Evaluation Criteria (TCSEC) standard / 3.2.1:
CTCPEC / 3.2.2:
ITSEC / 3.2.3:
The Common Criteria: A General Model for Test-based Certification / 3.3:
CC components / 3.3.1:
Formal methods for software verification / 3.4:
Model Checking / 4.1:
Static Analysis / 4.2.2:
Untrusted code / 4.2.3:
Security by contract / 4.2.4:
Formal Methods for Error Detection in OS C-based Software / 4.3:
Static Analysis for C code verification / 4.3.1:
Model Checking for large-scale C-based Software verification / 4.3.2:
Symbolic approximation for large-scale OS software verification / 4.3.3:
Conclusion / 4.4:
OSS security certification / 5:
Open source software (OSS) / 5.1:
Open Source Licenses / 5.1.1:
Specificities of Open Source Development / 5.1.2:
OSS security / 5.2:
OSS certification / 5.3:
State of the art / 5.3.1:
Security driven OSS development / 5.4:
Security driven OSS development: A case study on Single Sign-On / 5.5:
Single Sign-On: Basic Concepts / 5.5.1:
A ST-based definition of trust models and requirements for SSO solutions / 5.5.2:
Requirements / 5.5.3:
A case study: CAS++ / 5.5.4:
Case Study 1: Linux certification / 5.6:
The Controlled Access Protection Profile and the SLES8 Security Target / 6.1:
SLES8 Overview / 6.1.1:
Target of Evaluation (TOE) / 6.1.2:
Security environment / 6.1.3:
Security objectives / 6.1.4:
Security requirements / 6.1.5:
Evaluation process / 6.2:
Producing the Evidence / 6.2.1:
The Linux Test Project / 6.3:
Writing a LTP test case / 6.3.1:
Evaluation Tests / 6.4:
Running the LTP test suite / 6.4.1:
Test suite mapping / 6.4.2:
Automatic Test Selection Example Based on SLES8 Security Functions / 6.4.3:
Evaluation Results / 6.5:
Horizontal and Vertical reuse of SLES8 evaluation / 6.6:
Across distribution extension / 6.6.1:
SLES8 certification within a composite product / 6.6.2:
Case Study 2: ICSA and CCHIT Certifications / 6.7:
ICSA Dynamic Certification Framework / 7.1:
A closer look to ICSA certification / 7.3:
Certification process / 7.3.1:
A case study: the ICSA certification of the Endian firewall / 7.4:
Endian Test Plan / 7.5:
Hardware configuration / 7.5.1:
Software configuration / 7.5.2:
Features to test / 7.5.3:
Testing tools / 7.5.4:
Testing / 7.6:
Configuration / 7.6.1:
Logging / 7.6.2:
Administration / 7.6.3:
Security testing / 7.6.4:
The CCHIT certification / 7.7:
The CCHIT certification process / 7.7.1:
The role of virtual testing labs / 7.8:
An Overview of Virtualization Internals / 8.1:
Virtualization Environments / 8.2.1:
Comparing technologies / 8.2.2:
Virtual Testing Labs / 8.3:
The Open Virtual Testing Lab / 8.3.1:
Xen Overview / 8.3.2:
OVL key aspects / 8.3.3:
Hardware and Software Requirements / 8.3.4:
OVL Administration Interface / 8.3.5:
Using OVL to perform LTP tests / 8.4:
Long-term OSS security certifications: An Outlook / 8.5:
Long-term Certifications / 9.1:
Long-lived systems / 9.2.1:
Long-term certificates / 9.2.2:
On-demand certificate checking / 9.3:
The certificate composition problem / 9.4:
An example of a grep-based search/match phase / 9.5:
Index
Introduction / 1:
Context and motivation / 1.1:
Software certification / 1.2:
6.

電子ブック

EB
Miltiadis D. Lytras, Ernesto Damiani, Patricia Ordóñez de Pablos
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
About the Editors
Empirical Analysis of Functional Web 2.0 Environments / Chapter 1:
New Forms of Interaction & Knowledge Sharing on Web 2.0 / Chapter 2:
Web 2.0 Business Models as Decentralized Value Creation Systems / Chapter 3:
Open Innovation Communities...or Should it be "Networks"? / Chapter 4:
A Model for Business Innovation in the Web 2.0 World / Chapter 5:
Doing Business by Selling Free Services / Chapter 6:
Webstrategy Formulation: Benefiting from Web 2.0 Concepts to Deliver Business Values / Chapter 7:
Web 2.0: Issues for the Design of Social Networks / Chapter 8:
Wikis for Knowledge Management: Business Cases, Best Practices, Promises, & Pitfalls / Chapter 9:
Using a Semantic Forum as Learning Support / Chapter 10:
Towards OpenTagging Platform using Semantic Web Technologies / Chapter 11:
Evolving from 1.0 to Enterprise 2.0: an Interpretative Review-Empirical Stages and Approaches Towards the New (Virtual) Working Environment / Chapter 12:
Embedding Web 2.0 Strategies in Learning and Teaching / Chapter 13:
Teaching-Material Crystallization: Wiki-based Rapid Prototyping for Teaching-Material Design / Chapter 14:
Prediction Markets, an Emerging Web 2.0 Business Model: Towards the Competitive Intelligent Enterprise / Chapter 15:
Innovation Culture for Knowledge Management in New e-Ra / Chapter 16:
Authors Bios
Index
Foreword
About the Editors
Empirical Analysis of Functional Web 2.0 Environments / Chapter 1:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼