close
1.

電子ブック

EB
Lakhmi Jain, Yannis Manolopoulos, Xindong Wu
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
2.

電子ブック

EB
Luis M. Camarinha-Matos
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
Networked Enterprises / Part B:
Integrated Design and Assembly / Part C:
Machine Learning and Data Mining in Industry / Part D:
Author Index
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
3.

電子ブック

EB
Ricardo Reis, Adam Osseiran, Hans-Joerg Pfleiderer
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
4.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
Routing in Wireless Sensor Networks
Geometric Routing in Wireless Sensor Networks
Cooperative Relaying in Wireless Sensor Networks
Data-Centricity in Wireless Sensor Networks
Congestion and Flow Control in Wireless Sensor Networks
Data Transport Control in Wireless Sensor Networks
Fault Tolerant Algorithms/Protocols in Wireless Sensor Networks
Self-organizing and Self-healing Schemes in Wireless Sensor Networks
Quality of Service in Wireless Sensor Networks
Embedded Operating Systems in Wireless Sensor Networks
Adaptive Distributed Resource Allocation for Sensor Networks
Scheduling Activities in Wireless Sensor Networks
Energy-Efficient Medium Access Control in Wireless Sensor Networks
Energy Efficient Resource Management Techniques in Wireless Sensor Networks
Transmission Power Control Aware MAC in Wireless Sensor Networks
Security in Wireless Sensor Networks
Key Management in Wireless Sensor Networks
Secure Data Aggregation in Wireless Sensor Networks
Wireless Multimedia Sensor Networks
Middleware for Wireless Sensor Networks
Wireless Mobile Sensor Networks: Protocols and Mobility Strategies Analysis Methods for Sensor Networks
Bio-inspired Communications in Wireless Sensor Networks
Mobile Ad Hoc and Sensor Systems for Global and Homeland Security Applications
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
5.

電子ブック

EB
A. J. Sammes, Alan Steventon, Steve Wright
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Introduction
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1:
A Vision of Intelligent Spaces / 1.1:
Applications / 1.2:
Technology Capabilities / 1.3:
Roadmap to the Vision / 1.4:
Research Challenges / 1.5:
Summary / 1.6:
The Socio-Economic Impact of Pervasive Computing - Intelligent Spaces and the Organisation of Business / M H Lyons ; R Ellis ; J M M Potter ; D A M Holm ; R Venousiou2:
Commercial Opportunities / 2.1:
New Organisational Forms - The Emerging Value Nets / 2.3:
Creating the Adaptive Company / 2.4:
Changing the Way We Work / 2.5:
No Pervasive Computing Without Intelligent Systems / S G Thompson ; B Azvine2.6:
Needs Identification / 3.1:
Problems from Ubiquitous Computing - Solutions from Intelligent Systems Research / 3.3:
Component Understandability - Soft Computing / 3.4:
Component Adaptivity - Machine Learning / 3.5:
The Supply Chain / D Luckett3.6:
Introduction and Background to RFID / 4.1:
Retail/Supply Chain / 4.2:
What About the Consumer? / 4.3:
Care in the Community / S Brown ; N Hine ; A Sixsmith ; P Garner4.4:
The Concept of 'Well-Being' / 5.1:
How to Measure Changes in Well-Being / 5.3:
System Design, Deployment, and Service Issues / 5.4:
Summary and Key Technical Challenges / 5.5:
Pervasive Home Environments / P Bull ; R Limb ; R Payne6:
Vision / 6.1:
Technical Challenges / 6.3:
Traffimatics - Intelligent Co-operative Vehicle Highway Systems / G Bilchev ; D Marston ; N Hristov ; E Peytchev ; N Wall6.4:
Vision of Intelligent Co-operative Vehicle Highway Systems / 7.1:
Vision Implementation / 7.3:
Market Opportunities and Barriers / 7.4:
Mixed-Reality Applications in Urban Environments / J Bulman ; B Crabtree ; A Gower ; A Oldroyd ; J Sutton7.5:
3D Virtual-Reality and Mixed-Reality Scene Rendering / 8.1:
Pervasive Gaming - Gaming in Urban Environments / 8.3:
Workforce Management Application / 8.4:
Military Operations in Urban Environments / 8.5:
Future / 8.6:
A Sensor Network for Glaciers / K Martinez ; A Riddoch ; J Hart ; R Ong8.7:
The Glacsweb Project / 9.1:
System Architecture Version 2 / 9.3:
Example Results / 9.4:
Summary and Future Work / 9.5:
Co-operation in the Digital Age - Engendering Trust in Electronic Environments / A Seleznyov ; M O Ahmed ; S Hailes10:
Security Issues in Ubicomp / 10.1:
Decentralised Trust Management / 10.3:
ADAM / 10.4:
Maintaining Privacy in Pervasive Computing - Enabling Acceptance of Sensor-based Services / A Soppera ; T Burbridge10.5:
Emerging Pervasive Computing - Opportunities and Threats / 11.1:
Understanding Privacy in Pervasive Computing / 11.3:
Technical Approaches to Privacy / 11.4:
RFID Security and Privacy - Issues, Standards, and Solutions / D Molnar11.5:
RFID Tags Technology - An Overview / 12.1:
Privacy as a Multilayer Problem / 12.3:
Transfer of Ownership at the Application Level / 12.5:
Ambient Technology - Now You See It, Now You Don't / B MacDonald12.6:
Living in a Moore's Law World / 13.1:
Hardware Technology Influencers and Issues / 13.3:
The Key Hardware Technologies for Enabling iSpaces / 13.4:
Integrated Sensor Networks for Monitoring the Health and Well-Being of Vulnerable Individuals / D J T Heatley ; R S Kalawsky ; I Neild ; P A Bowman13.5:
Importance of Well-Being Care Provision / 14.1:
Activities of Daily Living / 14.3:
Ethical Considerations / 14.4:
Sensing Activities of Daily Living / 14.5:
Multiple Occupancy Issues / 14.6:
Sensor Fusion / 14.7:
Sensor Networks / 14.8:
Experimental Work / 14.9:
Segmentation and Tracking of Multiple Moving Objects for Intelligent Video Analysis / L-Q Xu ; J L Landabaso ; B Lei14.10:
Moving Objects Segmentation with Shadow Removal / 15.1:
Multi-Object Tracking Using Temporal Templates / 15.3:
Experimental Results / 15.4:
An Attention-based Approach to Content-based Image Retrieval / A Bamidele ; F W M Stentiford ; J Morphett15.5:
State of the Art / 16.1:
Current Research / 16.3:
Results / 16.4:
Discussion / 16.5:
Eye Tracking as a New Interface for Image Retrieval / O K Oyekoya16.6:
Current Research Objectives / 17.1:
The Implications of Pervasive Computing on Network Design / R Briscoe17.4:
Architecture / 18.1:
Component Services / 18.3:
Business Implications / 18.4:
Autonomic Computing for Pervasive ICT-A Whole-System Perspective / M Shackleton ; F Saffre ; R Tateson ; E Bonsma ; C Roadknight18.5:
Illustrative Example Systems / 19.1:
Discussion of Example Systems / 19.3:
The Need for 'Complex Systems' Theory and Modelling / 19.4:
Scale-Free Topology for Pervasive Networks / H Jovanovic ; C Hoile ; S Nicolas19.5:
Methodology / 20.1:
NEXUS-Resilient Intelligent Middleware / N Kaveh ; R Ghanea Hercock20.3:
Motivating Scenario / 21.1:
NEXUS Architecture / 21.3:
NEXUS Prototype / 21.4:
Related Work / 21.5:
Intelligent Data Analysis for Detecting Behaviour Patterns in iSpaces / D D Nauck ; B Majeed ; B-S Lee21.6:
Approaches to iSpaces / 22.1:
Intelligent Data Analysis in Sensor Networks / 22.3:
Detecting Unusual Patterns / 22.4:
xAssist-Inferring User Goals from Observed Actions / J Allen ; S Appleby ; G Churcher22.5:
Reasoning and Action Selection / 23.1:
xAssist Framework / 23.3:
Example xAssist Application / 23.4:
Programming iSpaces-A Tale of Two Paradigms / V Callaghan ; M Colley ; H Hagras ; J Chin ; F Doctor ; G Clarke23.5:
Degrees of Intelligence and Autonomy / 24.1:
The iDorm / 24.3:
Embedded Agents / 24.4:
Embedded-Agent-based Approaches / 24.5:
An End-User Programming-based Approach / 24.6:
Summary and Future Directions / 24.7:
Acronyms
Index
Contributors
Introduction
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1:
6.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Andrew L. Tuson, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2007
所蔵情報: loading…
目次情報: 続きを見る
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
A Discrete Particle Swarm Optimization Algorithm for the Permutation Flowshop Sequencing Problem with Makespan Criterion / Quan-Ke Pan ; M. Fatih Tasgetiren ; Yun-Chia Liang
Intialization Method for Grammar-guided Genetic Programming / Marc Garcia-Arnau ; Daniel Manrique ; Juan Rios ; Alfonso Rodriguez-Paton
Improving the Gradient Based Search Direction to Enhance Training Efficiency of Back Propagation Based Neural Network Algorithms / Nazri Mohd Nawi ; Meghana R. Ransing ; Rajesh S. Ransing
A Decision Tree-Based Attribute Weighting Filter for Naive Bayes / Mark Hall
Graphical Reasoning with Bayesian Networks / Ildiko Flesch
Knowledge Discovery in Data / Session 2a:
Ranked Multi-label Rules Associative Classifier / Fadi Thabtah
Two Different Approaches to Automated Mark Up of Emotions in Text / Virginia Francisco ; Raquel Hervas ; Pablo Gervas
Towards a Framework for Change Detection in Data Sets / Mirko Botthcer ; Detlef Nauck ; Dymitr Ruta ; Martin Spott
Incremental Inductive Learning in a Constructivist Agent / Filipo Studzinski Perotto ; Luis Otavio Alvares
Argumentation, Dialogue Games and Optimisation / Session 2b:
Argument Based Contract Enforcement / Nir Oren ; Alun Preece ; Timothy J. Norman
Negotiating Intelligently / John Debenham ; Simeon Simoff
Avoiding Long and Fruitless Dialogues in Critiquing / David McSherry ; David W. Aha
LSA-based Landscape Analysis for Multicast Routing / Mohammed S. Zahrani ; Martin J. Loomes ; James A. Malcolm ; Andreas A. Albrecht
Knowledge Representation and Management / Session 3:
Dependent Record Types for Dynamic Context Representation / Richard Dapoigny ; Patrick Barlatier
Adjusting game difficulty level through Formal Concept Analysis / Marco A. Gomez-Martin ; Pedro P. Gomez-Martin ; Pedro A. Gonzalez-Calero ; Belen Diaz-Agudo
Ontology Constraint Satisfaction Problems using Conceptual Graphs / Madalina Croitoru ; Ernesto Compatangelo
Integrating Uncertain Knowledge in a Domain Ontology for Room Concept Classifications / Joana Hois ; Kerstin Schill ; John A. Bateman
Semantic Web / Session 4:
Using AI and Semantic Web Technologies to attack Process Complexity in Open Systems / Simon Thompson ; Nick Giles ; Yang Li ; Hamid Ghari ; Thuc Nguyen (BT)
A Semantic Web Blackboard System / Craig McKenzie ; Peter Gray
Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions / Marco Cioffi ; Simon Thompson (BT)
A Reusable Commitment Management Service using Semantic Web Technology / Stuart Chalmers
Model Based Systems and Simulation / Session 5:
On-Line Monitoring of Plan Execution: a Distributed Approach / Roberto Micalizio ; Pietro Torasso
Incremental Fault Isolation for Dynamic Processes / George Coghill ; Guofu Wu
Qualitative Approaches to Semantic Scene Modelling and Retrieval / Zia Ul Qayyum ; A.G. Cohn
A Platform for Simulating Language Evolution / Carl Vogel ; Justin Woods
Short Papers
Improving the Interpretability of Classification Rules in Sparse Bioinformatics Datasets / James Smaldon ; Alex A. Freitas
An Agent-Based Approach to Non-Distributed and Distributed Clustering / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Transparency of Computational Intelligence Models / Peter Owotoki ; Friedrich Mayer-Lindenberg
Exploring Web Search Results Clustering / Xiaoxia Wang ; Max Bramer
Case-based Intention Selection for Autonomous Agent that Acts in Structured Synthetic Worlds / Haris Supic
On Clustering Attribute-oriented Induction / Maybin Muyeba ; M. Sulaiman Khan ; Zhiguo Gong
Chinese Text Clustering for Topic Detection Based on Word Pattern Relation / Yen-Ju Yang ; Su-Hsin Yu
Text Classification Using Language Independent Pre-processing / Yanbo J. Wang ; Frans Coenen ; Paul Leng ; Robert Sanderson
Author Index
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
7.

電子ブック

EB
David Gries, Allan Heydon, Clark Allan Heydon, Fred B. Schneider
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introducing Vesta / Part I:
Introduction / 1:
Some Scenarios / 1.1:
The Configuration Management Challenge / 1.2:
The Vesta Response / 1.3:
Essential Background / 2:
The Unix File System / 2.1:
Naming Files and Directories / 2.1.1:
Mount Points / 2.1.2:
Links / 2.1.3:
Properties of Files / 2.1.4:
Unix Processes / 2.2:
The Unix Shell / 2.3:
The Unix Programming Environment / 2.4:
Make / 2.5:
The Architecture of Vesta / 3:
System Components / 3.1:
Source Management Components / 3.1.1:
Build Components / 3.1.2:
Storage Components / 3.1.3:
Models and Modularity / 3.1.4:
Vesta's Core Properties / 3.2:
The User's View of Vesta / Part II:
Managing Sources and Versions / 4:
Names and Versions / 4.1:
The Source Name Space / 4.1.1:
Versioning / 4.1.2:
Naming Files and Packages / 4.1.3:
The Development Cycle / 4.2:
The Outer Loop / 4.2.1:
The Inner Loop / 4.2.2:
Detailed Operation of the Repository Tools / 4.2.3:
Version Control Alternatives / 4.2.4:
Additional Repository Tools / 4.2.5:
Mutable Files and Directories / 4.2.6:
Replication / 4.3:
Global Name Space / 4.3.1:
A Replication Example / 4.3.2:
The Replicator / 4.3.3:
Cross-Repository Check-out / 4.3.4:
Repository Metadata / 4.4:
Mutable Attributes / 4.4.1:
Access Control / 4.4.2:
Metadata and Replication / 4.4.3:
System Description Language / 5:
Motivation / 5.1:
Language Highlights / 5.2:
The Environment Parameter / 5.2.1:
Bindings / 5.2.2:
Tool Encapsulation / 5.2.3:
Closures / 5.2.4:
Imports / 5.2.5:
Building Systems in Vesta / 6:
The Organization of System Models / 6.1:
Hierarchies of System Models / 6.2:
Bridges and the Standard Environment / 6.2.1:
Library Models / 6.2.2:
Application Models / 6.2.3:
Putting It All Together / 6.2.4:
Control Panel Models / 6.2.5:
Customizing the Build Process / 6.3:
Handling Large Scale Software / 6.4:
Inside Vesta / Part III:
Inside the Repository / 7:
Support for Evaluation and Caching / 7.1:
Derived Files and Shortids / 7.1.1:
Evaluator Directories and Volatile Directories / 7.1.2:
Fingerprints / 7.1.3:
Inside the Repository Implementation / 7.2:
Directory Implementation / 7.2.1:
Shortids and Files / 7.2.2:
Longids / 7.2.3:
Copy-on-Write / 7.2.4:
NFS Interface / 7.2.5:
RPC Interfaces / 7.2.6:
Implementing Replication / 7.3:
Mastership / 7.3.1:
Agreement / 7.3.2:
Agreement-Preserving Primitives / 7.3.3:
Propagating Attributes / 7.3.4:
Incremental Building / 8:
Overview of Function Caching / 8.1:
Caching and Dynamic Dependencies / 8.2:
The Function Cache Interface / 8.3:
Computing Fine-Grained Dependencies / 8.4:
Representing Dependencies / 8.4.1:
Caching External Tool Invocations / 8.4.2:
Caching User-Defined Function Evaluations / 8.4.3:
Caching System Model Evaluations: A Special Case / 8.4.4:
Error Handling / 8.5:
Function Cache Implementation / 8.6:
Cache Lookup / 8.6.1:
Cache Entry Storage / 8.6.2:
Synchronization / 8.6.3:
Evaluation and Caching in Action / 8.7:
Scratch Build of the Standard Environment / 8.7.1:
Scratch Build of the Vesta Umbrella Library / 8.7.2:
Scratch and Incremental Builds of the Evaluator / 8.7.3:
Weeder / 9:
How Deletion is Specified / 9.1:
Implementation of the Weeder / 9.2:
The Function Call Graph / 9.2.1:
Concurrent Weeding / 9.2.2:
Assessing Vesta / Part IV:
Competing Systems / 10:
Loosely Connected Configuration Management Tools / 10.1:
RCS / 10.1.1:
CVS / 10.1.2:
Integrated Configuration Management Systems / 10.1.3:
DSEE / 10.2.1:
ClearCASE / 10.2.2:
Other Systems / 10.3:
Vesta System Performance / 11:
Platform Configuration / 11.1:
Overall System Performance / 11.2:
Performance Comparison with Make / 11.2.1:
Performance Breakdown / 11.2.2:
Caching Analysis / 11.2.3:
Resource Usage / 11.2.4:
Repository Performance / 11.3:
Speed of File Operations / 11.3.1:
Disk and Memory Consumption / 11.3.2:
Speed of Repository Tools / 11.3.3:
Speed of Cross-Repository Tools / 11.3.4:
Speed of the Replicator / 11.3.5:
Function Cache Performance / 11.4:
Server Performance / 11.4.1:
Measurements of the Stable Cache / 11.4.2:
Disk and Memory Usage / 11.4.3:
Function Cache Scalability / 11.4.4:
Weeder Performance / 11.5:
Interprocess Communication / 11.6:
Conclusions / 12:
Vesta in the Real World / 12.1:
Vesta in the Future / 12.2:
SDL Reference Manual / A:
Lexical Conventions / A.1:
Meta-notation / A.2.1:
Terminals / A.2.2:
Semantics / A.3:
Value Space / A.3.1:
Type Declarations / A.3.2:
Evaluation Rules / A.3.3:
Expr / A.3.3.1:
Literal / A.3.3.2:
Id / A.3.3.3:
List / A.3.3.4:
Binding / A.3.3.5:
Select / A.3.3.6:
Block / A.3.3.7:
Stmt / A.3.3.8:
Assign / A.3.3.9:
Iterate / A.3.3.10:
FuncDef / A.3.3.11:
FuncCall / A.3.3.12:
Model / A.3.3.13:
Files / A.3.3.14:
File Name Interpretation / A.3.3.15:
Pragmas / A.3.3.17:
Primitives / A.3.4:
Functions on Type t_bool / A.3.4.1:
Functions on Type t_int / A.3.4.2:
Functions on Type t_text / A.3.4.3:
Functions on Type t_list / A.3.4.4:
Functions on Type t_binding / A.3.4.5:
Special Purpose Functions / A.3.4.6:
Type Manipulation Functions / A.3.4.7:
Tool Invocation Function / A.3.4.8:
Diagnostic Functions / A.3.4.9:
Concrete Syntax / A.4:
Grammar / A.4.1:
Ambiguity Resolution / A.4.2:
Tokens / A.4.3:
Reserved Identifiers / A.4.4:
The Vesta Web Site / B:
References
Index
Preface
Introducing Vesta / Part I:
Introduction / 1:
8.

電子ブック

EB
Kang Zhang
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
The Foundation - Graph Grammars
Spatial Specification
Multimedia Authoring and Presentation
Digital Interoperation
Software Architecture Design
Web Engineering
Visual Language Generation
Conclusions and Future Perspective
Bibliography
Appendix
Index
Preface
Introduction
The Foundation - Graph Grammars
9.

電子ブック

EB
Martin Cooper
出版情報: Springer eBooks Computer Science , Springer London, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Impossible Pictures / 2:
Losing the Third Dimension / 2.1:
Two Planar Surfaces / 2.2:
Depth Order of Surfaces at a Point / 2.3:
Cubic Corners and Improbable Objects / 2.4:
Impossible Intersections / 2.5:
Impossible Wireframe Projections / 2.6:
Labeling Line Drawings of Polyhedra / 3:
Historical Background / 3.1:
Line Drawing Labelling as Optimization / 3.2:
Parallel-Lines Constraint / 3.3:
A Universal Constraint for Simple Junctions / 3.4:
Lines Sharing the Same Two Regions / 3.5:
Cyclic-Path Constraint / 3.6:
Parallel Junctions on Distinct Faces / 3.7:
Encoding of Soft Constraints / 3.8:
Non-Manifold Scenes / 3.9:
Discussion / 3.10:
Discrete Inflation Using Cubic Corners / 4:
Computer-Enhanced Perception / 4.1:
Machine Interpretation of Line Drawings / 4.2:
Depth Labels / 4.3:
Depth Labels and Impossible Figures / 4.4:
Propagation of Depth Labels / 4.5:
Orthogonality Constraints on Cubic Corners / 4.6:
Experimental Trials / 4.7:
Adding Depth Information to Line Drawings / 4.8:
Vertices Which Are Not Cubic Corners / 4.9:
Conclusion / 4.10:
A Rich Labeling Scheme for Curved Objects / 5:
Labeling Line Drawings of Curved Objects / 5.1:
Regularities in Man-Made Objects / 5.2:
Planarity Constraints / 5.3:
Constraints from Orthogonal Edges / 5.4:
Examples of Drawing Interpretation / 5.5:
Complete 3D Reconstruction / 5.6:
Depth Recovery Through Linear Algebra / 5.7:
Gradient Space and Gradient Directions / 6.1:
Linear Constraints and Curved Objects / 6.2:
Formulation of Linear Constraints / 6.3:
Deriving Linear Constraints from a Drawing / 6.4:
Vanishing Point Constraint / 6.4.1:
Constraints from Collinearity or Intersections / 6.4.2:
T-junction Constraint / 6.4.3:
Convex/Concave Edge Constraints / 6.4.4:
Coplanarity Constraints / 6.4.5:
Hidden-Surface Coplanarity Constraints / 6.4.6:
Orthographic Projection / 6.5:
Physical Realizability of Drawings / 6.6:
The Computational Problem / 6.7:
Wireframe Projections / 6.8:
Semantic and Numerical Line Labels / 7.1:
Realizability / 7.3:
All Wireframes Are Ambiguous / 7.4:
Identifying Faces / 7.5:
Common-Surface Constraints / 7.6:
Unambiguous Wireframes / 7.7:
Residual Ambiguity / 7.9:
Constraints Between Distant Lines / 7.10:
Tetrahedral Vertices / 7.11:
Tangential Edges and Surfaces / 7.12:
Rich Labelling Scheme / 7.13:
Simplification of Combinatorial Problems / 7.14:
Transformations of Combinatorial Problems / 8.1:
When Local Reductions Suffice / 8.2:
Arc Consistency / 8.3:
Neighbourhood Substitution / 8.4:
Simplification of Soft Constraint Problems / 8.5:
Valuation Structures / 8.6:
Valued Constraint Satisfaction / 8.7:
Soft Arc Consistency Techniques / 8.8:
Optimal Soft Arc Consistency / 8.9:
Virtual Arc Consistency / 8.10:
VAC Decomposition / 8.11:
Soft Neighbourhood Substitution / 8.12:
Tractability of Drawing Interpretation / 8.13:
Tractable Constraint Classes / 9.1:
Zero/One/All Constraints / 9.1.1:
Max-Closed Constraints / 9.1.2:
Characterization of Tractable Boolean Constraints / 9.1.3:
Characterization of Tractable Boolean Valued Constraints / 9.1.4:
Complexity of Line Drawing Interpretation / 9.2:
3D Reconstruction of Ambiguous Pictures / 10:
Reconstruction of Frontal Geometry / 10.1:
Hidden-Part Reconstruction / 10.2:
Bibliography
Index
Preface
Introduction / 1:
Impossible Pictures / 2:
10.

電子ブック

EB
Heinz Gerh?user, Christos Efstratiou, Janina Heppner, J?rgen Hupp, J?rgen Hupp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
Functional Requirements of a Middleware to Integrate Wireless Sensor Networks (WSN) into Smart Objects Applications / Fritz Meier
Scientific Workshop 4: The Internet of Things State-of-the-Art and Perspectives for Future Research / Dirk Liekenbrock
Scientific Workshop 4: Intelligent Objects for the Internet of Things: Internet of Things - Application of Sensor Networks in Logistics / Christian Flügel ; Volker Gehrmann
When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizen
New Tools for Mobiles and Handhelds Make Life Easier / Gerhard Baier ; Hellmut Beckstein
AmbiSense: Identifying and Locating Objects with Ambient Sensors / Christian Hoene
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizens / Steffen Meyer
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Seamless Localization Technologies in Cities / Thorsten Vaupel
Soprano, Persona, Netcarity & Mpower, Conjoint Workshop on Ambient-Assisted Living
Architectures and Platfroms for AMI: Workshop Summary Report / B.A. Farshchian ; E. Berg ; M. Divitini ; K. Doolin ; R. Pascotto
A Pervasive Environment Based on Personal Self-improving Smart Spaces / Michael Crotty ; Nich Taylor ; Howard Williams ; Korbinian Frank ; Ioanna Roussaki ; Mark Roddy
A Product Line Approach for Aml Environments / Jon Imanol Durán ; Josu Cobelo ; Joseba Laka
ASTRA Awareness Connectivity Platfrom Based on Service Oriented Concepts / Irene Mavrommati ; Ioannis Calemis
Mobile Ontology: Its Creation and Its Usage / Xiaomeng Su ; Stian Alapnes ; Mazen Malek Shiaa
Using Semantic Technology in Pervasive Service Platform / Xiaomeny Su ; Babak Farshchian ; Reidar Martin Svendsen ; Erik Berg
Realizing Context Aware Collaborations Using Grids / Stefan Wesner ; Georgina M. Gallizo ; Alexander Kipp ; Matthias Assel
Capturing Ambient Assisted Living Needs
Proceedings of AMI'08 Workshop: "Capturing Ambient Assisted Living Needs" / Arjan Geven ; Özge Subasi ; Cristina Buiza ; Marianna Obrist ; Wolfgang Reitberger ; Manfred Tscheligi
Author Index
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
11.

電子ブック

EB
Z Ruttkay, John Karat, Zs?fia Ruttkay, Jean Vanderdonckt, Zs??fia Ruttkay
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Netherlands, 2004
所蔵情報: loading…
12.

電子ブック

EB
Gottuk, Daniel T Gottuk
出版情報: Springer eBooks Computer Science , Springer New York, 2008
所蔵情報: loading…
13.

電子ブック

EB
Vladimir Naumovich Vapnik, S. Kotz, V. Vapnik
出版情報: Springer eBooks Computer Science , Springer New York, 2006
所蔵情報: loading…
目次情報: 続きを見る
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
ethods of parametric statistics for the problem of regression estimation
stimation of regression parameters
method of minimizing empirical risk for the problem of pattern recognition
method of minimizing empirical risk for the problem of regression estimation
he method of structural minimization of risk
olution of ill-posed problems, interpretation of measurements using the method of structural risk minimization
stimation of functional values at given points
ealism and instrumentalism: Classical statistics and the VC theory (1960-1980)
alsifiability and parsimony: VC dimension and the number of entities (1980-2000)
on-inductive methods of inference: Direct inference instead of generalization (2000- ...)
he big picture
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
14.

電子ブック

EB
Richard C. Deonier, Simon Tavar?, Michael S. Waterman, Simon Tavar??
出版情報: Springer eBooks Computer Science , Springer New York, 2005
所蔵情報: loading…
15.

電子ブック

EB
Krishna M.; Subramaniam, Suresh Sivalingam, Krishna M. Sivalingam, Suresh Subramaniam
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Network Architectures / Part I:
Enabling Architectures for Next Generation Optical Networks / Linda Cline ; Christian Maciocco ; Manav Mishra1:
Hybrid Hierarchical Optical Networks / Samrat Ganguly ; Rauf Izmailov ; Imrich Chlamtac2:
Advances in Passive Optical Networks (PONs) / Amitabha Banerjee ; Glen Kramer ; Yinghua Ye ; Sudhir Dixit ; Biswanath Mukherjee3:
Regional-Metro Optical Networks / Nasir Ghani4:
Switching / Part II:
Optical Packet Switching / George N. Rouskas ; Lisong Xu5:
Waveband Switching: A New Frontier in Optical WDM Networks / Xiaojun Cao ; Vishal Anand ; Yizhi Xiong ; Chunming Qiao6:
Optical Burst Switching / Hakki Candan Cankaya ; Myoungki Jeong7:
Signaling Protocols And Network Operation / Part III:
GMPLS-based Exchange Points: Architecture and Functionality / Slobodanka Tomic ; Admela Jukan8:
The GMPLS Control Plane Architecture for Optical Networks / David Griffith9:
Operational Aspects of Mesh Networking in WDM Optical Networks / Jean-Francois Labourdette ; Eric Bouillet ; Chris Olszewski10:
Traffic Grooming / Part IV:
Traffic Grooming in WDM Networks / Jian-Qiang Hu ; Eytan Modiano11:
Efficient Traffic Grooming in WDM Mesh Networks / Harsha V. Madhyastha ; C. Siva Ram Murthy12:
Protection And Restoration / Part V:
A Survey of Survivability Techniques for Optical WDM Networks / Mahesh Sivakumar ; Rama K. Shenai ; Krishna M. Sivalingam13:
Tradeoffs and Comparison of Restoration Strategies in Optical WDM Networks / Arun K. Somani14:
Facilitating Service Level Agreements with Restoration Speed Requirements / Gokhan Sahin ; Suresh Subramaniam15:
Failure Location in WDM Networks / Carmen Mas ; Hung X. Nguyen ; Patrick Thiran16:
Testbeds / Part VI:
A Multi-Layer Switched GMPLS Optical Network / Aihua Guo ; Zhonghua Zhu ; Yung J. (Ray) Chen17:
HORNET: A Packet Switched WDM Metropolitan Network / Kapil Shrikhande ; Ian White ; Matt Rogge ; Leonid G. Kazovsky18:
Network Architectures / Part I:
Enabling Architectures for Next Generation Optical Networks / Linda Cline ; Christian Maciocco ; Manav Mishra1:
Hybrid Hierarchical Optical Networks / Samrat Ganguly ; Rauf Izmailov ; Imrich Chlamtac2:
16.

電子ブック

EB
Erwin R.; Mijiritskii, Andrei V.; Pieterson, Liesbeth van Meinders, Erwin R. Meinders, Andrei V. Mijiritskii
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
A brief overview of optical storage systems / 1.1:
The basics of optical storage / 1.2:
Optical drive layout / 1.2.1:
Basic principles of optical data storage / 1.2.2:
Optical storage roadmap / 1.2.3:
Optical media / 1.2.4:
Phase-change media / 1.2.5:
Scope of this book / 1.3:
References Chapter 1 / 1.4:
Theoretical aspects of phase-change alloys / 2:
Glass formation and the amorphous phase / 2.1:
Crystallization / 2.3:
Crystallization theory / 2.3.1:
Crystallization of amorphous marks in a phase-change disc / 2.3.2:
Classes of phase-change materials / 2.4:
Class I: Crystallization by nucleation and growth / 2.4.1:
Class II: Crystallization dominated by crystal growth / 2.4.2:
Emerging directions in phase-change research / 2.5:
References of chapter 2 / 2.6:
Thermal modelling of phase-change recording / 3:
Multi-layer thermal model / 3.1:
Heat diffusion in thin layers / 3.1.1:
Heat conduction at microscale / 3.1.2:
Modelling of heat diffusion in multi-layer recording stacks / 3.1.3:
Mark-formation and erasure model / 3.1.4:
Optical parameters of phase-change recording films / 3.2:
Optical properties of thin films / 3.2.1:
Stack design / 3.2.2:
Thermal conductivity of thin films / 3.3:
In situ laser methods / 3.3.1:
Melt-threshold method / 3.3.2:
Thermal conductivity results / 3.3.3:
Determination of crystallization parameters / 3.4:
Isothermal measurements / 3.4.1:
Time-resolved static tester measurements / 3.4.2:
Mark formation and erasure results / 3.5:
Effect of groove shape on direct heating / 3.6:
Groove structure of phase-change discs / 3.6.1:
Land versus groove recording / 3.6.2:
Groove-only recording / 3.6.3:
References of chapter 3 / 3.7:
Data recording characteristics / 4:
Data recording / 4.1:
Recording, erasing and direct-overwriting of marks / 4.1.1:
Pulse trains / 4.1.2:
Erase of marks / 4.1.3:
Write-erase sequence / 4.1.4:
Write strategy types / 4.1.5:
Quality of recorded data / 4.2:
Material-limited run-length jitter / 4.2.1:
Overwrite stability / 4.2.2:
Repeated read stability / 4.2.3:
Effect of multi-track recording / 4.3:
Thermal cross-write / 4.3.1:
Optical cross-talk / 4.3.2:
Recording media / 5:
Dual-layer media and recording / 5.1:
Data capacity increase / 5.1.1:
Layout of dual-layer media / 5.1.2:
Optical design of dual-layer media / 5.1.3:
Mark formation / 5.1.4:
Transmittance difference / 5.1.5:
Media for high-speed phase-change recording / 5.2:
Introduction to speed race / 5.2.1:
Materials for high-speed recording / 5.2.2:
Optical and thermal design of high-speed recording media / 5.2.3:
Characterization of high-speed discs / 5.2.4:
Mark formation in ultra-high speed recording stacks / 5.2.5:
Influence of laser spot orientation on mark formation / 5.2.6:
References of chapter 5 / 5.3:
Introduction / 1:
A brief overview of optical storage systems / 1.1:
The basics of optical storage / 1.2:
17.

電子ブック

EB
Kevin M. Passino
出版情報: Springer eBooks Computer Science , Springer London, 2005
所蔵情報: loading…
18.

電子ブック

EB
James F. Peters, Didier Dubois, Takeo Kanade, Andrzej Skowron, Jerzy Grzymala-Busse, Masahiro Inuiguchi, Lech Polkowski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Feature Selection with Rough Sets for Web Page Classification / Aijun An ; Yanhui Huang ; Xiangji Huang ; Nick Cercone
On Learning Similarity Relations in Fuzzy Case-Based Reasoning / Eva Armengol ; Francesc Esteva ; Lluís Godo ; Vicenç Torra
Incremental versus Non-incremental Rule Induction for Multicriteria Classification / Salvatore Greco ; Roman Slowiński ; Jerzy Stefanowski ; Marcin Zurawski
Three Strategies to Rule Induction from Data with Numerical Attributes / Jerzy W. Grzymala-Busse
Fuzzy Transforms / Irina Perfilieva
Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-deterministic Information Systems / Hiroshi Sakai
Applications of Fuzzy Logic Functions to Knowledge Discovery in Databases / Noboru Takagi ; Hiroaki Kikuchi ; Masao Mukaidono
Fuzzy Integral Based Fuzzy Switching Functions / Eiichiro Takahagi
First Steps Towards Computably-Infinite Information Systems / Peter Apostoli ; Akira Kanda ; Lech Polkowski
Data Structure and Operations for Fuzzy Multisets / Sadaaki Miyamoto
A Non-controversial Definition of Fuzzy Sets / Jaroslav Ramík ; Milan Vlach
Algebraic Structures for Rough Sets / Gianpiero Cattaneo ; Davide Ciucci
Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey
Fuzzy Rough Sets Based on Residuated Lattices / Anna Maria Radzikowska ; Etienne E. Kerre
Semantics of Fuzzy Sets in Rough Set Theory / Yiyu Yao
A New Proposal for Fuzzy Rough Approximations and Gradual Decision Rule Representation / Masahiro Inuiguchi
Emergent Rough Set Data Analysis / Yasser Hassan ; Eiichiro Tazaki
Author Index
Feature Selection with Rough Sets for Web Page Classification / Aijun An ; Yanhui Huang ; Xiangji Huang ; Nick Cercone
On Learning Similarity Relations in Fuzzy Case-Based Reasoning / Eva Armengol ; Francesc Esteva ; Lluís Godo ; Vicenç Torra
Incremental versus Non-incremental Rule Induction for Multicriteria Classification / Salvatore Greco ; Roman Slowiński ; Jerzy Stefanowski ; Marcin Zurawski
19.

電子ブック

EB
Wolfgang Lindner, Takeo Kanade, Marco Mesiti, Yannis Tzitzikas, Can T?rker, Athena I. Vakali, Can T??rker, Athena Vakali
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
20.

電子ブック

EB
Tatyana Yakhno, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
21.

電子ブック

EB
Phil Trinder, Takeo Kanade, Greg J. Michaelson, Ricardo Pe?a
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
22.

電子ブック

EB
WISA 2004, Takeo Kanade, Chae Hoon Lim, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Network/Computer Security
Impacts of Security Protocols on Real-Time Multimedia Communications / Kihun Hong ; Souhwan Jung ; Luigi Lo Iacono ; Christoph Ruland
An Improvement on Privacy and Authentication in GSM / Young Jae Choi ; Soon Ja Kim
Encrypted Watermarks and Linux Laptop Security / Markku-Juhani O. Saarinen
Inconsistency Detection of Authorization Policies in Distributed Component Environment / Chang-Joo Moon ; Hoh Peter In
Public Key Schemes I
Custodian-Hiding Verifiable Encryption / Joseph K. Liu ; Victor K. Wei ; Duncan S. Wong
Proving Key Usage / Malek Bechlaghem ; Vincent Rijmen
Public Key Encryption with Conjunctive Field Keyword Search / Dong Jin Park ; Kihyun Kim ; Pil Joong Lee
Intrusion Detection I
A Probabilistic Method for Detecting Anomalous Program Behavior / Kohei Tatara ; Toshihiro Tabata ; Kouichi Sakurai
Service Discrimination and Audit File Reduction for Effective Intrusion Detection / Fernando Godínez ; Dieter Hutter ; Raúl Monroy
IDS False Alarm Filtering Using KNN Classifier / Kwok Ho Law ; Lam For Kwok
Watermarking/Anti-spamming
Content-Based Synchronization Using the Local Invariant Feature for Robust Watermarking / Hae-Yeoun Lee ; Jong-Tae Kim ; Heung-Kyu Lee ; Young-Ho Suh
Some Fitting of Naive Bayesian Spam Filtering for Japanese Environment / Manabu Iwanaga
Public Key Schemes II
Efficient Authenticated Key Agreement Protocol for Dynamic Groups / Kui Ren ; Hyunrok Lee ; Kwangjo Kim ; Taewhan Yoo
A Ring Signature Scheme Using Bilinear Pairings / Jing Xu ; Zhenfeng Zhang ; Dengguo Feng
Verifiable Pairing and Its Applications / Sherman S.M. Chow
Intrusion Detection II
Improving the Performance of Signature-Based Network Intrusion Detection Sensors by Multi-threading / Bart Haagdorens ; Tim Vermeiren ; Marnix Goossens
An Effective Placement of Detection Systems for Distributed Attack Detection in Large Scale Networks / Seok Bong Jeong ; Young Woo Choi ; Sehun Kim
Application of Content Computing in Honeyfarm / Yi-Yuan Huang ; Kwok-Yan Lam ; Siu-Leung Chung ; Chi-Hung Chi ; Jia-Guang Sun
Digital Rights Management
License Protection with a Tamper-Resistant Token / Cheun Ngen Chong ; Bin Ren ; Jeroen Doumen ; Sandro Etalle ; Pieter H. Hartel ; Ricardo Corin
An Adaptive Approach to Hardware Alteration for Digital Rights Management / Yinyan Yu ; Zhi Tang
Dynamic Fingerprinting over Broadcast Using Revocation Scheme / Mira Kim ; Kazukuni Kobara ; Hideki Imai
Practical Pay-TV Scheme Using Traitor Tracing Scheme for Multiple Channels / Chong Hee Kim ; Yong Ho Hwang
e-Commerce Security
Vulnerability of a Mobile Payment System Proposed at WISA 2002 / Sang Cheol Hwang ; Dong Hoon Lee ; Daewan Han ; Jae-Cheol Ryou
Fair Offline Payment Using Verifiable Encryption / Sangjin Kim ; Heekuck Oh
A Limited-Use Key Generation Scheme for Internet Transactions / Supakorn Kungpisdan ; Phu Dung Le ; Bala Srinivasan
Efficient Implementation
Efficient Representation and Software Implementation of Resilient Maiorana-McFarland S-boxes / Kishan Chand Gupta ; Palash Sarkar
Signed Digit Representation with NAF and Balanced Ternary Form and Efficient Exponentiation in GF(qn) Using a Gaussian Normal Basis of Type II / Soonhak Kwon
Novel Efficient Implementations of Hyperelliptic Curve Cryptosystems Using Degenerate Divisors / Masanobu Katagi ; Izuru Kitamura ; Toru Akishita ; Tsuyoshi Takagi
Hyperelliptic Curve Coprocessors on a FPGA / HoWon Kim ; Thomas Wollinger ; YongJe Choi ; KyoIl Chung ; Christof Paar
Anonymous Communication
Key-Exchange Protocol Using Pre-agreed Session-ID / Kenji Imamoto
A New k-Anonymous Message Transmission Protocol / Gang Yao
Onions Based on Universal Re-encryption - Anonymous Communication Immune Against Repetitive Attack / Marcin Gomulkiewicz ; Marek Klonowski ; Mirosław Kutyłowski
Side-Channel Attacks
Side Channel Cryptanalysis on SEED / HyungSo Yoo ; ChangKyun Kim ; JaeCheol Ha ; SangJae Moon ; IlHwan Park
Secure and Efficient AES Software Implementation for Smart Cards / Elena Trichina ; Lesya Korkishko
Practical Template Attacks / Christian Rechberger ; Elisabeth Oswald
Evaluation and Improvement of the Tempest Fonts / Hidema Tanaka ; Osamu Takizawa ; Akihiro Yamamura
Author Index
Network/Computer Security
Impacts of Security Protocols on Real-Time Multimedia Communications / Kihun Hong ; Souhwan Jung ; Luigi Lo Iacono ; Christoph Ruland
An Improvement on Privacy and Authentication in GSM / Young Jae Choi ; Soon Ja Kim
23.

電子ブック

EB
GC 2004, Takeo Kanade, Corrado Priami, Paola Quaglia
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
24.

電子ブック

EB
Michael J. Maher, Takeo Kanade, Jean-Louis Lassez
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
25.

電子ブック

EB
Kim-Meow Liew, Wentong Cai, Pingzhi Fan, Susumu Horiguchi, Takeo Kanade, K. M. Liew, Simon See, Hong Shen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
26.

電子ブック

EB
Cristian S. Calude, Elena Calude, M. J. Dinneen, Michael J. Dinneen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
27.

電子ブック

EB
Reinhard Klette, Takeo Kanade, Jovisa ??un??c, International Association for Pattern Recognition.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
28.

電子ブック

EB
Geoffrey M. Voelker, Takeo Kanade, Scott Shenker
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
29.

電子ブック

EB
Luciano Baresi, Schahram Dustdar, Harald C. Gall, Takeo Kanade, Maristella Matera, Harald Gall
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
30.

電子ブック

EB
J?rgen Gerhard, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Overview / 2:
Outline / 2.1:
Statement of Main Results / 2.2:
References and Related Works / 2.3:
Open Problems / 2.4:
Technical Prerequisites / 3:
Subresultants and the Euclidean Algorithm / 3.1:
The Cost of Arithmetic / 3.2:
Change of Basis / 4:
Computing Taylor Shifts / 4.1:
Conversion to Falling Factorials / 4.2:
Fast Multiplication in the Falling Factorial Basis / 4.3:
Modular Squarefree and Greatest Factorial Factorization / 5:
Squarefree Factorization / 5.1:
Greatest Factorial Factorization / 5.2:
Modular Hermite Integration / 6:
Small Primes Modular Algorithm / 6.1:
Prime Power Modular Algorithm / 6.2:
Implementation / 6.3:
Computing All Integral Roots of the Resultant / 7:
Application to Hypergeometric Summation / 7.1:
Computing All Integral Roots Via Factoring / 7.2:
Application to Hyperexponential Integration / 7.3:
Modular LRT Algorithm / 7.4:
Modular Algorithms for the Gosper-PetkovÜek Form / 8:
Modular GP′-Form Computation / 8.1:
Polynomial Solutions of Linear First Order Equations / 9:
The Method of Undetermined Coefficients / 9.1:
Brent and Kung's Algorithm for Linear Differential Equations / 9.2:
Rothstein's SPDE Algorithm / 9.3:
The ABP Algorithm / 9.4:
A Divide-and-Conquer Algorithm: Generic Case / 9.5:
A Divide-and-Conquer Algorithm: General Case / 9.6:
Barkatou's Algorithm for Linear Difference Equations / 9.7:
Modular Algorithms / 9.8:
Modular Gosper and Almkvist & Zeilberger Algorithms / 10:
High Degree Examples / 10.1:
References
Index
Introduction / 1:
Overview / 2:
Outline / 2.1:
31.

電子ブック

EB
Kiyoharu Aizawa, Takeo Kanade, Yuichi Nakamura, Shin'ichi Satoh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
32.

電子ブック

EB
IEEE Pacific Rim Conference on Multimedia, Kiyoharu Aizawa, Takeo Kanade, Yuichi Nakamura, Shin'ichi Satoh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
33.

電子ブック

EB
IEEE Pacific Rim Conference on Multimedia, Kiyoharu Aizawa, Takeo Kanade, Yuichi Nakamura, Shin'ichi Satoh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
34.

電子ブック

EB
Jacques Malenfant, Takeo Kanade, Bjarte M. ?stvold, Bjarte M. ??stvold
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
35.

電子ブック

EB
Yong Shi, Zhengxin Chen, Takeo Kanade, Weixuan Xu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
36.

電子ブック

EB
J?rgen Dix, Takeo Kanade, Jo?o Leite, Jo?o Alexandre Leite, Jo??o Leite
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
37.

電子ブック

EB
Babak Falsafi, Takeo Kanade, T. N. VijayKumar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
38.

電子ブック

EB
Stan Z. Li, Guocan Feng, Takeo Kanade, Jianhuang Lai, S. Z. Li, Tieniu Tan, Yunhong Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
39.

電子ブック

EB
Gianluca Moro, Juris Hartmanis, Claudio Sartori, Munindar P. Singh, Munindar Paul Singh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
40.

電子ブック

EB
Zhaoneng Chen, Hsinchun Chen, Edward Fox, Yuxi Fu, Takeo Kanade, Ee-peng Lim, Qihao Miao
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
41.

電子ブック

EB
Kamal Lodaya, Takeo Kanade, Meena Mahajan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
42.

電子ブック

EB
Petra Perner, Takeo Kanade, Germany) Institut f?r Bildverarbeitung und Angewandte Informatik (Leipzig
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
43.

電子ブック

EB
Venkatesan Guruswami, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
44.

電子ブック

EB
Geoffrey I. Webb, Takeo Kanade, Xing Huo Yu, Xinghuo Yu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
45.

電子ブック

EB
R. K. Ghosh, Takeo Kanade, Hrushikesha Mohanty
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
46.

電子ブック

EB
Arunabha Sen, Nabanita Das, Sajal K. Das, Takeo Kanade, Bhabani P. Sinha
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
47.

電子ブック

EB
Thomas Eiter, Takeo Kanade, Leonid Libkin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
48.

電子ブック

EB
Jun Zhang, Yuxi Fu, Ji-Huan He, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
49.

電子ブック

EB
Jiannong Cao, Minyi Guo, Francis Lau, Laurence T. Yang, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
50.

電子ブック

EB
Luc Boug?, Takeo Kanade, V. K. Prasanna Kumar, Viktor K. Prasanna
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼