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…
51.

電子ブック

EB
International Conference in Cryptology in India, Anne Canteaut, Takeo Kanade, Kapaleeswaran Viswanathan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
52.

電子ブック

EB
Rudolf Fleischer, Takeo Kanade, Gerhard Trippen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
53.

電子ブック

EB
David Hutchison, Takeo Kanade, Manfred Nagl, Bernhard Westfechtel
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
54.

電子ブック

EB
Gautam Das, Ved Prakash Gulati, Takeo Kanade, V.P. Gulati
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Computational Intelligence
An Approach for Conceptual Modeling and Extracting Expressive Semantics from Dance Videos / K. Rajkumar ; B. Ramadoss ; K. Ilango
BioPubMiner: Machine Learning Component-Based Biomedical Information Analysis Platform / J.-H. Eom ; B.-T. Zhang
A Linear Time Algorithm for Constructing Tree 4-Spanner in 2-Trees / B.S. Panda ; A. Das
Task Scheduling Algorithm for Interconnection Constrained Network of Heterogeneous Processors / E. Ilavarasan ; P. Thambidurai ; N. Punithavathi
Neural Networks
Detecting Topology Preserving Feature Subset with SOM / A. Laha
Adaptive Neural Network-Based Clustering of Yeast Protein-Protein Interactions
Design of Neuro-fuzzy Controller Based on Dynamic Weights Updating / A. Hafez ; A. Alrabie ; A. Agarwal
Interval Computing in Neural Networks: One Layer Interval Neural Networks / R.E. Patiño-Escarcina ; B.R. Callejas Bedregal ; A. Lyra
Communication Networks
Design and Deployment of IP Virtual Private Networks: A Case Study / C. Hota ; G. Raghurama
QoS Driven Online Multicast Routing Algorithm / R. Manoharan ; S. Pradhiba
Software Radio Implementation of a Smart Antenna System on Digital Signal Processors for cdma2000 / K. Kucuk ; M. Karakoc ; A. Kavak
An Efficient Cost Effective Location Management Scheme Based on Velocity Vector Information of Mobile Unit / S. Nandi ; M.K. Raushan
Integrated Computation, Communication and Control: Towards Next Revolution in Information Technology / F. Xia ; Z. Wang ; Y. Sun
Mobile and Adhoc Networks
Designing Mobile Distributed Virtual Memory System / S. Bagchi
Efficient Grid Location Update Scheme for Mobile Ad Hoc Networks / K.A.A. Omer ; D.K. Lobiyal
Power Optimization in Mobile Networks Using Genetic Algorithm to Guarantee QoS / A.H. Salem ; A. Kumar
Associativity Based Mobility-Adaptive K-Clustering in Mobile Ad-Hoc Networks / C. Jayakumar ; C. Chellappan
Self-organized Security Architecture for MANET / P.P. Gnana Durai ; R. Parthasarathy
Clock Synchronization in IEEE 802.11 Ad Hoc Networks / S.S. Thakur ; D. Goswami ; R. Bhattarcharjee
Security
Internet Banking - A Layered Approach to Security / D.P. Dube ; S. Ramanarayanan
On Reduction of Bootstrapping Information Using Digital Multisignature / S. Ulanbek ; A. Saxena ; A. Negi
SpamNet - Spam Detection Using PCA and Neural Networks / A. Lad
TCP Based Denial-of-Service Attacks to Edge Network: Analysis and Detection / V.A. Kumar ; D. Sisalem
Network Intrusion Detection Using Wavelet Analysis / S. Rawat ; C.S. Sastry
Building a Secure and Highly Scalable Data Distribution System / S. Mishra
Database
Performance of Distributed Optimistic Concurrency Control in Real-Time Databases / J. Lindström
An Extension to ER Model for Top-Down Semantic Modeling of Databases of Applications / S.K. Jain ; M.M. Gore ; G. Singh
Overlaying Multiple Maps Efficiently / R. Jampani ; R. Thonangi ; P. Gupta
Software Engineering
Relational Schema Evolution for Program Independency / Y.-G. Ra
Reliability Enhancement in Software Testing - An Agent-Based Approach for Complex Systems / P. Dhavachelvan ; G. V. Uma
MurO: A Multi-representation Ontology as a Foundation of Enterprise Information Systems / R. Rifaieh ; A. Arara ; A.N. Benharkat
A Tool to Automatically Detect Defects in C++ Programs / S. Sarala ; S. Valli
Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment / M.H. Assaf ; R.S. Abielmona ; P. Abolghasem ; S.R. Das ; E.M. Petriu ; V. Groza ; M. Sahinoglu
Automatic Model Generation in Model Management / A. Boronat ; I. Ramos ; J.Á. Carsí
Signal and Image Processing
Contourlet Based Multiresolution Texture Segmentation Using Contextual Hidden Markov Models / B.S. Raghavendra ; P.S. Bhat
FPGA Based Implementation of an Invisible-Robust Image Watermarking Encoder / S.P. Mohanty ; R. Kumara C. ; S. Nayak
Multi-agent Based User Access Patterned Optimal Content Allocation Method for Federated Video Digital Libraries / R. Ponnusamy ; T.V. Gopal
Optimizing Surplus Harmonics Distribution in PWM / S. Hu ; H. Huang
M-BCJR Based Turbo Equalizer / P. Kumar ; R.M. Banakar ; B. Shankaranand
Internet and WWW-Based Computing
YALXP: Yet Another Lightweight XPath Processor / R.V.R.P. Kumar ; V. Radha
Early Performance Modeling for Web Based Applications / D.E. Geetha ; T.V.S. Kumar ; K.R. Kanth
An Examination of Website Quality Dimensions in Australian e-Retailing: A Confirmatory Factor Analysis Approach / S. Sinnappan ; J. Carlson
Aspects of Pervasive Computing for Web Based Learning / S.R. Balasundaram
Author Index
Computational Intelligence
An Approach for Conceptual Modeling and Extracting Expressive Semantics from Dance Videos / K. Rajkumar ; B. Ramadoss ; K. Ilango
BioPubMiner: Machine Learning Component-Based Biomedical Information Analysis Platform / J.-H. Eom ; B.-T. Zhang
55.

電子ブック

EB
David Hutchison, Gunter Grieser, Takeo Kanade, Yuzuru Tanaka
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
Eye Movement Navigation Interface Supporting Reading / Satoru Morita
Intuitive Interfaces for Motion Generation and Search / Yoshihiro Okada ; Hiroaki Etou ; Koichi Niijima
IntelligentPad / Meme Media
Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning / Volker Dötsch ; Kimihito Ito ; Klaus P. Jantke
Accessing Related Web Resources Through Annotated Documents / Jun Fujima ; Yuzuru Tanaka
The Biotope Issue in Meme Media Implementations
Meme Media Architecture for Intuitively Accessing and Organizing Intellectual Resources
Visualization and Design of Information Access Spaces
Enhancing Visual Perception Using Dynamic Updating of Display / Toshio Kawashima ; Takanori Terashima ; Takeshi Nagasaki ; Masashi Toda
3D Space Framework for the Multi-facet Accessing of Database Records / Makoto Ohigashi
Integrated Visualization Framework for Relational Databases and Web Resources / Tsuyoshi Sugibuchi
Semantic and Narrative Organization and Access of Knowledge Discovering Implicit Relationships in a Web of Contexts / Mina Akaishi ; Nicolas Spyratos
On Information Organization in Annotation Systems / Panos Constantopoulos ; Martin Doerr ; Maria Theodoridou ; Manos Tzobanakis
Modelling Learning Subjects as Relationships
Formalizing Retrieval Goal Change by Prioritized Abduction / Ken Satoh
Similarity of Documents Based on the Vector Sequence Model / Akihiro Yamamoto ; Akira Ogiso
Towards Constructing Story Databases Using Maximal Analogies Between Stories / Masaharu Yoshioka ; Makoto Haraguchi ; Akihito Mizoe
Author Index
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
56.

電子ブック

EB
Jessica Fridrich, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Digital Media Watermarking: Session Chair / Lisa MarvelSession 1:
An Implementation of, and Attacks on, Zero-Knowledge Watermarking / Scott Craver ; Bede Liu ; Wayne Wolf
On the Possibility of Non-invertible Watermarking Schemes / Qiming Li ; Ee-Chien Chang
Reversing Global and Local Geometrical Distortions in Image Watermarking / Dariusz Bogumil
On Achievable Regions of Public Multiple-Access Gaussian Watermarking Systems / Wei Sun ; En-hui Yang
Fixed-Distortion Orthogonal Dirty Paper Coding for Perceptual Still Image Watermarking / Andrea Abrardo ; Mauro Barni
Steganalysis: Session Chair / Session 2:
Feature-Based Steganalysis for JPEG Images and Its Implications for Future Design of Steganographic Schemes / Jessica Fridrich
Exploiting Preserved Statistics for Steganalysis / Rainer Böhme ; Andreas Westfeld
Improved Detection of LSB Steganography in Grayscale Images / Andrew D. Ker
An Improved Sample Pairs Method for Detection of LSB Embedding / Peizhong Lu ; Xiangyang Luo ; Qingyang Tang ; Li Shen
Forensic Applications: Session Chair / Session 3:
Statistical Tools for Digital Forensics / Alin C. Popescu ; Hany Farid
Relative Generic Computational Forensic Techniques / Jennifer L. Wong ; Miodrag Potkonjak
Steganography: Session Chair / Session 4:
Syntax and Semantics-Preserving Application-Layer Protocol Steganography / Norka B. Lucena ; James Pease ; Payman Yadollahpour ; Steve J. Chapin
A Method of Linguistic Steganography Based on Collocationally-Verified Synonymy / Igor A. Bolshakov
Software Watermarking: Session Chair / John McHughSession 5:
Graph Theoretic Software Watermarks: Implementation, Analysis, and Attacks / Christian Collberg ; Andrew Huntwork ; Edward Carter ; Gregg Townsend
Threading Software Watermarks / Jasvir Nagra ; Clark Thomborson
Soft IP Protection: Watermarking HDL Codes / Lin Yuan ; Pushkin R. Pari ; Gang Qu
Security and Privacy: Session Chair / Ross AndersonSession 6:
An Asymmetric Security Mechanism for Navigation Signals / Markus G. Kuhn
Analysis of COT-based Fingerprinting Schemes: New Approach to Design Practical and Secure Fingerprinting Scheme / Jae-Gwi Choi ; Ji-Hwan Park ; Ki-Ryong Kwon
Empirical and Theoretical Evaluation of Active Probing Attacks and Their Countermeasures / Xinwen Fu ; Bryan Graham ; Dong Xuan ; Riccardo Bettati ; Wei Zhao
Optimization and Evaluation of Randomized c-Secure CRT Code Defined on Polynomial Ring / Hirofumi Muratani
Anonymity: Session Chair / Andreas PfitzmannSession 7:
Statistical Disclosure or Intersection Attacks on Anonymity Systems / George Danezis ; Andrei Serjantov
Reasoning About the Anonymity Provided by Pool Mixes That Generate Dummy Traffic / Claudia Díaz ; Bart Preneel
The Hitting Set Attack on Anonymity Protocols / Dogan Kesdogan ; Lexi Pimenidis
Data Hiding in Unusual Content: Session Chair / Session 8:
Information Hiding in Finite State Machine
Covert Channels for Collusion in Online Computer Games / Steven J. Murdoch ; Piotr Zielinski
Author Index
Digital Media Watermarking: Session Chair / Lisa MarvelSession 1:
An Implementation of, and Attacks on, Zero-Knowledge Watermarking / Scott Craver ; Bede Liu ; Wayne Wolf
On the Possibility of Non-invertible Watermarking Schemes / Qiming Li ; Ee-Chien Chang
57.

電子ブック

EB
Stefano Spaccapietra, Elisa Bertino, Sushil Jajodia, Takeo Kanade, Roger King, Dennis McLeod, Maria E. Orlowska, S. Spaccapietra, Leon Strous, Roger B. King
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBase 2003)
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases / Raphael Volz ; Steffen Staab ; Boris Motik
Ontology Translation on the Semantic Web / Dejing Dou ; Drew McDermott ; Peishen Qi
Compound Term Composition Algebra: The Semantics / Yannis Tzitzikas ; Anastasia Analyti ; Nicolas Spyratos
Dynamic Pattern Mining: An Incremental Data Clustering Approach / Seokkyung Chung ; Dennis McLeod
International Conference on Cooperative Information Systems (CoopIS 2003)
A Knowledge Network Approach for Implementing Active Virtual Marketplaces / Minsoo Lee ; Stanley Y.W. Su ; Herman Lam
Stream Integration Techniques for Grid Monitoring / Andy Cooke ; Alasdair J.G. Gray ; Werner Nutt
6th IFIP TC 11 WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS 2003)
Information Release Control: A Learning-Based Architecture / Claudio Bettini ; X. Sean Wang ; Sushil Jajodia
Enforcing Semantics-Aware Security in Multimedia Surveillance / Naren Kodali ; Csilla Farkas ; Duminda Wijesekera
Author Index
International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBase 2003)
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases / Raphael Volz ; Steffen Staab ; Boris Motik
Ontology Translation on the Semantic Web / Dejing Dou ; Drew McDermott ; Peishen Qi
58.

電子ブック

EB
Leopoldo Bertossi, Anthony Hunter, Takeo Kanade, Torsten Schaub
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
59.

電子ブック

EB
James Odell, Paolo Giorgini, Takeo Kanade, J?rg P. M?ller, James J. Odell, J?��rg, P. M??ller
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
60.

電子ブック

EB
Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
61.

電子ブック

EB
Erol ?�ahin, Takeo Kanade, William M. Spears
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
62.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
63.

電子ブック

EB
Carlo Blundo, Stelvio Cimato, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
64.

電子ブック

EB
Peter Vojt????, M??ria Bielikov??, Bernadette Charron-Bost, Takeo Kanade, Ondrej S??kora, Charon-Bost, , Ondrej S??kora, Peter Vojt??s
出版情報: Springer eBooks Computer Science , Liptovsk? J?n, Slovakia : Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
65.

電子ブック

EB
Michael Domaratzki, Takeo Kanade, Alexander Okhotin, Kai Salomaa, Sheng Yu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
66.

電子ブック

EB
Helena Handschuh, M. Anwar Hasan, Takeo Kanade, Anwar Hasan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
67.

電子ブック

EB
Serge Vaudenay, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis
A New Related Message Attack on RSA / Oded Yacobi ; Yacov Yacobi
Breaking a Cryptographic Protocol with Pseudoprimes / Daniel Bleichenbacher
Experimenting with Faults, Lattices and the DSA / David Naccache ; Phong Q. Nguy n ; Michael Tunstall ; Claire Whelan
Key Establishment
Securing RSA-KEM via the AES / Jakob Jonsson ; Matthew J.B. Robshaw
One-Time Verifier-Based Encrypted Key Exchange / Michel Abdalla ; Olivier Chevassut ; David Pointcheval
Password-Based Authenticated Key Exchange in the Three-Party Setting / Pierre-Alain Fouque
Optimization
On the Optimization of Side-Channel Attacks by Advanced Stochastic Methods / Werner Schindler
Symmetric Subgroup Membership Problems / Kristian Gjosteen
Building Blocks
Optimizing Robustness While Generating Shared Secret Safe Primes / Emil Ong ; John Kubiatowicz
Fast Multi-computations with Integer Similarity Strategy / Wu-Chuan Yang ; Dah-Jyh Guan ; Chi-Sung Laih
Efficient Proofs of Knowledge of Discrete Logarithms and Representations in Groups with Hidden Order / Endre Bangerter ; Jan Camenisch ; Ueli Maurer
Efficient k-Out-of-n Oblivious Transfer Schemes with Adaptive and Non-adaptive Queries / Cheng-Kang Chu ; Wen-Guey Tzeng
RSA Cryptography
Converse Results to the Wiener Attack on RSA / Ron Steinfeld ; Scott Contini ; Huaxiong Wang ; Josef Pieprzyk
RSA with Balanced Short Exponents and Its Application to Entity Authentication / Hung-Min Sun ; Cheng-Ta Yang
The Sampling Twice Technique for the RSA-Based Cryptosystems with Anonymity / Ryotaro Hayashi ; Keisuke Tanaka
From Fixed-Length to Arbitrary-Length RSA Encoding Schemes Revisited / Julien Cathalo ; Jean-Sébastien Coron
Multivariate Asymmetric Cryptography
Tractable Rational Map Signature / Lih-Chung Wang ; Yuh-Hua Hu ; Feipei Lai ; Chun-Yen Chou ; Bo-Yin Yang
Cryptanalysis of the Tractable Rational Map Cryptosystem / Antoine Joux ; Sébastien Kunz-Jacques ; Frédéric Muller ; Pierre-Michel Ricordel
Large Superfluous Keys in Multivariate Quadratic Asymmetric Systems / Christopher Wolf ; Bart Preneel
Cryptanalysis of HFEv and Internal Perturbation of HFE / Jintai Ding ; Dieter Schmidt
Signature Schemes
A Generic Scheme Based on Trapdoor One-Way Permutations with Signatures as Short as Possible / Louis Granboulan
Cramer-Damgard Signatures Revisited: Efficient Flat-Tree Signatures Based on Factoring / Dario Catalano ; Rosario Gennaro
The Security of the FDH Variant of Chaum's Undeniable Signature Scheme / Wakaha Ogata ; Kaoru Kurosawa ; Swee-Huay Heng
Efficient Threshold RSA Signatures with General Moduli and No Extra Assumptions / Ivan Damgard ; Kasper Dupont
Identity-Based Cryptography
Improved Identity-Based Signcryption / Liqun Chen ; John Malone-Lee
Efficient Multi-receiver Identity-Based Encryption and Its Application to Broadcast Encryption / Joonsang Baek ; Reihaneh Safavi-Naini ; Willy Susilo
CBE from CL-PKE: A Generic Construction and Efficient Schemes / Sattam S. Al-Riyami ; Kenneth G. Paterson
Best Paper Award
A Verifiable Random Function with Short Proofs and Keys / Yevgeniy Dodis ; Aleksandr Yampolskiy
Author Index
Cryptanalysis
A New Related Message Attack on RSA / Oded Yacobi ; Yacov Yacobi
Breaking a Cryptographic Protocol with Pseudoprimes / Daniel Bleichenbacher
68.

電子ブック

EB
Jorge Cardoso, Takeo Kanade, Amit Sheth
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
69.

電子ブック

EB
Marco Ajmone Marsan, M. Ajmone Marsan, Giuseppe Bianchi, Takeo Kanade, Marco Listanti, Michela Meo, Michaela Meo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
70.

電子ブック

EB
Manuel V. Hermenegildo, Daniel Cabeza, Takeo Kanade, Manuel Hermenegildo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction / Norman Ramsey
Code Compression / Saumya Debray
Papers
Functional Framework for Sound Synthesis / Jerzy Karczmarczuk
Specializing Narrowing for Timetable Generation: A Case Study / Nadia Brauner ; Rachid Echahed ; Gerd Finke ; Hanns Gregor ; Frederic Prost
Character-Based Cladistics and Answer Set Programming / Daniel R. Brooks ; Esra Erdem ; James W. Minett ; Donald Ringe
Role-Based Declarative Synchronization for Reconfigurable Systems / Vlad Tanasescu ; Pawel T. Wojciechowski
Towards a More Practical Hybrid Probabilistic Logic Programming Framework / Emad Saad ; Enrico Pontelli
Safe Programming with Pointers Through Stateful Views / Dengping Zhu ; Hongwei Xi
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics / Qian Wang ; Gopal Gupta ; Michael Leuschel
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes / Ping Yang ; Yifei Dong ; C.R. Ramakrishnan ; Scott A. Smolka
An Ordered Logic Program Solver / Davy Van Nieuwenborgh ; Stijn Heymans ; Dirk Vermeir
Improving Memory Usage in the BEAM itor Santos Costa
Solving Constraints on Sets of Spatial Objects / Jesús M. Almendros-Jiménez ; Antonio Corral
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization / James Bailey ; Peter J. Stuckey
Solving Collaborative Fuzzy Agents Problems with CLP(FD) / Susana Munoz-Hernandez ; Jose Manuel Gomez-Perez
Improved Fusion for Optimizing Generics / Artem Alimarine ; Sjaak Smetsers
The Program Inverter LRinv and Its Structure / Masahiko Kawabe ; Robert Glück
A Full Pattern-Based Paradigm for XML Query Processing / Veronique Benzaken ; Giuseppe Castagna ; Cédric Miachon
Type Class Directives / Bastiaan Heeren ; Jurriaan Hage
Author Index
Invited Talks
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction / Norman Ramsey
Code Compression / Saumya Debray
71.

電子ブック

EB
Claude Castelluccia, Hannes Hartenstein, Takeo Kanade, Christof Paar, Dirk Westhoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
72.

電子ブック

EB
Alfred Menezes, Takeo Kanade, Alfred J. Menezes
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Sub-linear Queries Statistical Databases: Privacy with Power / Cynthia Dwork
Malicious Cryptography: Kleptographic Aspects / Adam Young ; Moti Yung
Cryptanalysis
Resistance of SNOW 2.0 Against Algebraic Attacks / Olivier Billet ; Henri Gilbert
A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes / An Braeken ; Christopher Wolf ; Bart Preneel
Hold Your Sessions: An Attack on Java Session-Id Generation / Zvi Gutterman ; Dahlia Malkhi
Update on SHA-1 / Vincent Rijmen ; Elisabeth Oswald
A Fast Correlation Attack on the Shrinking Generator / Bin Zhang ; Hongjun Wu ; Dengguo Feng ; Feng Bao
Public-Key Encryption
Improved Efficiency for CCA-Secure Cryptosystems Built Using Identity-Based Encryption / Dan Boneh ; Jonathan Katz
A Generic Conversion with Optimal Redundancy / Yang Cui ; Kazukuni Kobara ; Hideki Imai
Choosing Parameter Sets for NTRUEncrypt with NAEP and SVES-3 / Nick Howgrave-Graham ; Joseph H. Silverman ; William Whyte
Signature Schemes
Foundations of Group Signatures: The Case of Dynamic Groups / Mihir Bellare ; Haixia Shi ; Chong Zhang
Time-Selective Convertible Undeniable Signatures / Fabien Laguillaumie ; Damien Vergnaud
Design Principles
On Tolerant Cryptographic Constructions / Amir Herzberg
Password-Based Protocols
Simple Password-Based Encrypted Key Exchange Protocols / Michel Abdalla ; David Pointcheval
Hard Bits of the Discrete Log with Applications to Password Authentication / Philip Mackenzie ; Sarvar Patel
Proofs for Two-Server Password Authentication / Michael Szydlo ; Burton Kaliski
Design and Analysis of Password-Based Key Derivation Functions / Frances F. Yao ; Yiqun Lisa Yin
Pairings
A New Two-Party Identity-Based Authenticated Key Agreement / Noel McCullagh ; Paulo S.L.M. Barreto
Accumulators from Bilinear Pairings and Applications / Lan Nguyen
Computing the Tate Pairing / Michael Scott
Fast and Proven Secure Blind Identity-Based Signcryption from Pairings / Tsz Hon Yuen ; Victor K. Wei
Efficient and Secure Implementation
A Systematic Evaluation of Compact Hardware Implementations for the Rijndael S-Box / Nele Mentens ; Lejla Batina ; Ingrid Verbauwhede
CryptoGraphics: Secret Key Cryptography Using Graphics Cards / Debra L. Cook ; John Ioannidis ; Angelos D. Keromytis ; Jake Luck
Side-Channel Leakage of Masked CMOS Gates / Stefan Mangard ; Thomas Popp ; Berndt M. Gammel
New Minimal Weight Representations for Left-to-Right Window Methods / James A. Muir ; Douglas R. Stinson
Author Index
Invited Talks
Sub-linear Queries Statistical Databases: Privacy with Power / Cynthia Dwork
Malicious Cryptography: Kleptographic Aspects / Adam Young ; Moti Yung
73.

電子ブック

EB
Jin Akiyama, Edy Tri Baskoro, Takeo Kanade, Mikio Kano
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
74.

電子ブック

EB
Miroslaw Malek, J?rg Kaiser, Takeo Kanade, Manfred Reitenspiess, Manfred Reitenspie?, LINK (Online service), Manfred Reitenspie?�
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
75.

電子ブック

EB
Lucas Paletta, Glyn Humphreys, Takeo Kanade, Erich Rome, John K. Tsotsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
76.

電子ブック

EB
Michael G. Hinchey, Takeo Kanade, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
77.

電子ブック

EB
David Hutchison, Takeo Kanade, Jens Lagergren
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
78.

電子ブック

EB
RRG 2004, Eleazar Eskin, Takeo Kanade, Chris Workman
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Predicting Genetic Regulatory Response Using Classification: Yeast Stress Response / Manuel Middendorf ; Anshul Kundaje ; Chris Wiggins ; Yoav Freund ; Christina Leslie
Detecting Functional Modules of Transcription Factor Binding Sites in the Human Genome / Thomas Manke ; Christoph Dieterich ; Martin Vingron
Fishing for Proteins in the Pacific Northwest / William Krivan
PhyloGibbs: A Gibbs Sampler Incorporating Phylogenetic Information / Rahul Siddharthan ; Erik van Nimwegen ; Eric D. Siggia
Application of Kernel Method to Reveal Subtypes of TF Binding Motifs - Causal Analysis of Gene Expression Data / Alexander Kel ; Yury Tikunov ; Nico Voss ; Jürgen Borlak ; Edgar Wingender
Learning Regulatory Network Models that Represent Regulator States and Roles / Keith Noto ; Mark Craven
Using Expression Data to Discover RNA and DNA Regulatory Sequence Motifs / Chaya Ben-Zaken Zilberstein ; Eleazar Eskin ; Zohar Yakhini
Parameter Landscape Analysis for Common Motif Discovery Programs / Natalia Polouliakh ; Michiko Konno ; Paul Horton ; Kenta Nakai
Inferring Cis-region Hierarchies from Patterns in Time-Course Gene Expression Data / Vladimir Filkov ; Nameeta Shah
Modeling and Analysis of Heterogeneous Regulation in Biological Networks / Irit Gat-Viks ; Amos Tanay ; Ron Shamir
Author Index
Predicting Genetic Regulatory Response Using Classification: Yeast Stress Response / Manuel Middendorf ; Anshul Kundaje ; Chris Wiggins ; Yoav Freund ; Christina Leslie
Detecting Functional Modules of Transcription Factor Binding Sites in the Human Genome / Thomas Manke ; Christoph Dieterich ; Martin Vingron
Fishing for Proteins in the Pacific Northwest / William Krivan
79.

電子ブック

EB
Roderick Murray-Smith, Takeo Kanade, Robert Shorten
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Switching and Control
From Feedback Control to Complexity Management: A Personal Perspective / Kumpati S. Narendra
Convex Cones, Lyapunov Functions, and the Stability of Switched Linear Systems / Robert Shorten ; Oliver Mason ; Kai Wulff
Survey of Explicit Approaches to Constrained Optimal Control / Alexandra Grancharova ; Tor Arne Johansen
Gaussian Processes
Analysis of Some Methods for Reduced Rank Gaussian Process Regression / Joaquin Quiñonero-Candela ; Carl Edward Rasmussen
Filtered Gaussian Processes for Learning with Large Data-Sets / Jian Qing Shi ; Roderick Murray-Smith ; D. Mike Titterington ; Barak A. Pearlmutter
Self-tuning Control of Non-linear Systems Using Gaussian Process Prior Models / Daniel Sbarbaro
Gaussian Processes: Prediction at a Noisy Input and Application to Iterative Multiple-Step Ahead Forecasting of Time-Series / Agathe Girard
Nonlinear Predictive Control with a Gaussian Process Model / JuÜ Kocijan
Applications of Switching & Learning
Control of Yaw Rate and Sideslip in 4-Wheel Steering Cars with Actuator Constraints / Miguel A. Vilaplana ; Douglas J. Leith ; William E. Leithead
A Second-Order Cone Bounding Algorithm for Robust Minimum Variance Beamforming / Ngai Wong ; Venkataramanan Balakrishnan ; Tung-Sang Ng
Joint Optimization of Wireless Communication and Networked Control Systems / Lin Xiao ; Mikael Johansson ; Haitham Hindi ; Stephen Boyd ; Andrea Goldsmith
Reconciliation of Inconsistencies in the Theory of Linear Systems / Emanuele Ragnoli ; William Leithead
An Introduction to Nonparametric Hierarchical Bayesian Modelling with a Focus on Multi-agent Learning / Volker Tresp ; Kai Yu
Simultaneous Localization and Surveying with Multiple Agents / Sam T. Roweis ; Ruslan R. Salakhutdinov
Hex: Dynamics and Probabilistic Text Entry / John Williamson
Author Index
Switching and Control
From Feedback Control to Complexity Management: A Personal Perspective / Kumpati S. Narendra
Convex Cones, Lyapunov Functions, and the Stability of Switched Linear Systems / Robert Shorten ; Oliver Mason ; Kai Wulff
80.

電子ブック

EB
Computer Music Modeling and Retrieval Symposium, Takeo Kanade, Uffe Kock Wiil
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
81.

電子ブック

EB
SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, Yang Cai, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
82.

電子ブック

EB
Cheeha Kim, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
83.

電子ブック

EB
Tag Gon Kim, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
84.

電子ブック

EB
Doo-Kwon Baik, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
Discrete Huygens' Modelling and Simulation for Wave Propagation / Yukio Kagawa
Some Focusing Points in Development of Modern Modeling and Simulation Technology / Bo Hu Li
Modeling and Simulation Methodology - I
Research of Collaborative Modeling/Simulation Supporting Environment Basedon Grid / Ni Li ; Hongtao Zheng ; Lijuan Xu ; Xiao- Yuan Peng
Using Capacity Simulation for Quality Goal Setting / Young Hae Lee ; Chang Sup Han ; Jung Woo Jung
Application of Central Composite Design to Simulation Experiment / Chi-Myung Kwon
Manufacturing
A Study on the Machine Loading Problem Considering Machine-Breakdown in Flexible Manufacturing Systems / Seong Yong Jang ; Doosuk Kim ; Roger Kerr
Performance Analysis of Alternative Designs for a Vehicle Disassembly System Using Simulation Modeling / Eoksu Sim ; Haejoong Kim ; Chankwon Park ; Jinwoo Park
Layout of Virtual Flexible Manufacturing System and Machining Simulation / Guofu Ding ; Kaiyin Yan ; Yong He ; Dan Li
A Simulation-Based Investment Justification for an Advanced Manufacturing Technology with Real Options / Gyutai Kim ; Yun Bae Kim
Aerospace - I
Space Missile Simulation on Distributed System / Jong Sik Lee
A Portability Study on Implementation Technologies by Comparing a Railway Simulator and an Aircraft FTD / Sugjoon Yoon ; Moon-Sang Kim ; Jun-Seok Lim
Forward-Backward Time Varying Forgetting Factor Kalman Filter Based Landing Angle Estimation Algorithm for UAV (Unmanned Aerial Vehicle) Autolanding Modelling / Seokrim Choi
A Computational Method for the Performance Modeling and Design of a Ducted Fan System / Jon Ahn ; KyungTae Lee
Military Simulation
HLA-Based Object-Oriented Modeling/Simulation for Military System / Tae-Dong Lee ; Seung-Hun Yoo ; Chang-Sung Jeong
Research on Construction and Interoperability of Complex Distributed Simulation System / Ning Li ; Zhou Wang ; Wei-Hua Liu ; Guang-Hong Gong
A Flexible and Efficient Scheme for Interest Management in HLA / Changhoon Park ; Koichi Hirota ; Michitaka Hirose ; Heedong Ko
Advanced M&S Framework Based on Autonomous Web Service in Korea: Intelligent-XMSF Approach / Mye M. Sohn
Medical Simulation - I
ECG Based Patient Recognition Model for Smart Healthcare Systems 159 Tae Seon Kim / Chul Hong Min
Three-Dimensional Brain CT-DSA Using Rigid Registration and Bone Masking for Early Diagnosis and Treatment Planning / Helen Hong ; Ho Lee ; Yeong Gil Shin ; Yeol Hun Seong
Embedded Healthcare System for Senior Residents Using Internet Multimedia HomeServer and Telephone / Sung-Ho Ahn ; Vinod C. Joseph ; Doo-Hyun Kim
self -CD: Interactive Self-collision Detection for Deformable Body Simulation Using GPUs / Yoo-Joo Choi ; Young J. Kim ; Myoung-Hee Kim
General Applications - I
On the Passive Vibration Damping by Piezoelectric Transducers with Inductive Loading / Takao Tsuchiya
Path Sensitization and Sub-circuit Partition of CUT Using t-Distribution for Pseudo-exhaustive Testing / Jin Soo Noh ; Chang Gyun Park ; Kang-Hyeon Rhee
Computer Simulation of Photoelastic Fringe Patterns for Stress Analysis / TaeHyunBaekandMyungSooKim
Development of a Power Plant Simulation Tool with Component Expansibility Based on Object Oriented Modeling / Sang-Gyu Jeon ; Gihun Son
Fast Reconstruction of 3D Terrain Model from Contour Lines on 2D Maps / Byeong-Seok Shin ; Hoe Sang Jung
Network - I
Contention Free Scheme for Asymmetrical Traffic Load in IEEE 802.11x Wireless LAN / Soo Young Shin ; Soo Hyun Park
Performance Analysis of the Dynamic Reservation Multiple Access Protocol in the Broadband Wireless Access System / KwangOh Cho ; JongKyu Lee
Energy Efficient MAC Protocol with Reducing Redundant Packet Mechanism in Wireless Sensor Networks / Jung Ahn Han ; Yun Hyung Kim ; Sang Jun Park ; Byung Gi Kim
A Performance Analysis of Binary Exponential Backoff Algorithm in the Random Access Packet Networks / Sun Hur ; Jeong Kee Kim ; Jae Ho Jeong ; Heesang Lee
e-Business
Modeling of the b-Cart Based Agent System in B2B EC / Gyoo Gun Lim ; Jinhwa Kim
Modelling of Two-Level Negotiation in Hierarchical Hypergame Framework / Toshiyuki Toyota ; Kyoichi Kijima
A Personalized Product Recommender for Web Retailers / Yoon Ho Cho ; Jae Kyeong Kim ; Do Hyun Ahn
Simulating the Effectiveness of Using Association Rules for Recommendation Systems / Jonghoon Chun ; Jae Young Oh ; Sedong Kwon ; Dongkyu Kim
Numerical Simulation
Intuitive Control of Dynamic Simulation Using Improved Implicit Constraint Enforcement / Min Hong ; Samuel Welch ; Min-Hyung Choi
Air Consumption of Pneumatic Servo Table System / Takashi Miyajima ; Kenji Kawashima ; Toshinori Fujita ; Kazutoshi Sakaki ; Toshiharu Kagawa
Empirical Analysis for Individual Behavior of Impatient Customers in a Call Center / Chang Hun Lee ; Jae Bum Kim ; Gyu tai Kim ; Jong Seon Hong
Modeling and Simulation Methodology - II
FSMI: MDR-Based Metadata Interoperability Framework for Sharing XML Documents / Hong-Seok Na ; Oh-Hoon Choi
Simulation-Based Web Service Composition: Framework and Performance Analysis / Heejung Chang ; Hyungki Song ; Wonsang Kim ; Kangsun Lee ; Hyunmin Park ; Jooyoung Park
Research and Development on AST-RTI / Yongbo Xu ; Mingqing Yu ; Xingren Wang
HLA Simulation Using Data Compensation Model / Tainchi Lu ; Chinghao Hsu ; Mingchi Fu
Traffic Simulation
Modeling and Simulation of Red Light Running Violation at Urban Intersections / Jinmei Wang ; Zhaoan Wang ; Jianguo Yang
Improved Processor Synchronization for Multi-processor Traffic Simulator / Shunichiro Nakamura ; Toshimune Kawanishi ; Sunao Tanimoto ; Yohtaro Miyanishi ; Seiichi Saito
Evaluation of Advanced Signal Control Systems with Sensing Technology by Simulation / Mohd Nazmi ; Nadiah Hanim ; Sadao Takaba
Proposal and Evaluation of a System Which Aims Reduction in Unexpected Collision at Non-signal Intersection / Hiromi Kawatsu ; Kuniaki Souma
Network -II
Dynamic Channel Reservation Scheme for Mobility Prediction Handover in Future Mobile Communication Networks / Hoon-kiKim,SooHyunPark ; andJae-ilJung
A Novel Mobility Prediction Algorithm Based on User Movement History in Wireless Networks
Performance Evaluation of Threshold Scheme for Mobility Management in IP Based Networks / Yen- Wen Lin ; Hsin-Jung Chang ; Ta-He Huang
Effect Analysis of the Soft Handoff Scheme on the CDMA System Performance / Go-Whan Jin ; Soon-Ho Lee
Aerospace -II
Derivation of Flight Characteristics Data of Small Airplanes Using Design Software and Their Validation by Subjective Tests / Ji-Young Kong ; Kang-Su Kim ; Suk-Kyung Lee
KOMPSAT-2 S/W Simulator / Sanguk Lee ; SungKi Cho ; Jae Hoon Kim
The Robust Flight Control of an UAV Using MIMO QFT: GA-Based Automatic Loop-Shaping Method / Min-Soo Kim ; Chan-Soo Chung
Network - III
Design and Implementation of an SSL Component Based on CBD / Eun-Ae Cho ; Young-Gab Kim ; Chang-Joo Moon ; Doo-Kwon Baik
A Scalable, Ordered Scenario-Based Network Security Simulator / Joo Beom Yun ; Eung Ki Park ; Eul Gyu Im ; Hoh Peter In
A User Authentication Model for the OSGi Service Platform / Dae-Ha Park
A Security Risk Analysis Model for Information Systems / Taek Lee ; Yoonjung Jung ; Injung Kim
General Applications -II
Full Fabrication Simulation of 300 mm Wafer Focused on AMHS (Automated Material Handling Systems) / Youngshin Han ; Dongsik Park ; Sangwon Chae ; Chilgee Lee
Modeling and Testing of Faults in TCAMs / Kwang-Jin Lee ; Cheol Kim ; Suki Kim ; Uk-Rae Cho ; Hyun-Guen Byun
Transient Test of a NSSS Thermal-Hydraulic Module for the Nuclear Power Plant Simulator Using a Best-Estimate Code, RETRAN / Myeong-Soo Lee ; In-Yong Seo ; Yo-Han Kim ; Yong-Kwan Lee ; Jae-Seung Suh
Simulating Groundwater Transport Process Using a Vertical Heterogeneity Model: A Case Study / Samuel S. Lee
Transportation
Vendor Managed Inventory and Its Effect in the Supply Chain / Sungwon Jung ; Tai-Woo Chang
Dynamic Performance Simulation of a Tracked Vehicle with ADAMS Tracked Vehicle Toolkit Software / H.B.Yin ; Peng-Li Shao
Evaluation of Operation Policies for Automatic Delivery Sequence Sorting Systems / Joon-Mook Lim
Meeting Due Dates by Reserving Partial Capacity in MTO Firms / Seung J. Noh ; Suk-Chul Rim
Virtual Reality
Design a PC-CAVE Environment Using the Parallel Rendering Approach / Jiung-yao Huang ; Han-Chung Lu ; Huei Lin ; Kuan-Wen Hsu
VENUS: The Online Game Simulator Using Massively Virtual Clients / YungWoo Jung ; Bum-Hyun Lim ; Kwang-Hyun Sim ; HunJoo Lee ; IlKyu Park ; JaeYong Chung ; Jihong Lee
Error Metric for Perceptual Features Preservation in Polygonal Surface Simplification / Myeong-Cheol Ko ; Jeong-Oog Lee ; Hyun-Kyu Kang ; Beobyi Lee
Modeling and Simulation of Digital Scene Image Synthesis Using Image Intensified CCD Under Different Weathers in Scene Matching Simulation System / Liang Xiao ; Huizhong Wu ; Shuchun Tang ; Yang Liu
Network - IV
Performance Comparison of Various Web Cluster Architectures / Eunmi Choi ; Yoojin Lim ; Dugki Min
Simulating Session Distribution Algorithms for Switch with Multiple Outputs Having Finite Size Queues / Jaehong Shim ; Gihyun Jung ; Kyunghee Choi
An Efficient Bridging Support Mechanism Using the Cache Table in the RPR-Based Metro Ethernet / Ji-Young Huh ; Dong-Hun Lee ; Jae-Hwoon Lee ; Hyeong-Sup Lee ; Sang-Hyun Ahn
Simulating Cyber-intrusion Using Ordered UML Model-Based Scenarios
Medical Simulation -II
Automatic Global Matching of Temporal Chest MDCT Scans for Computer-Aided Diagnosis / Jeongjin Lee ; Yeni Yim
High Quality Volume Rendering for Large Medical Datasets Using GPUs / Taek-Hee Lee ; Juno Chang
Visualization of Tooth for 3-D Simulation / Hoon Heo ; M. Julius Hossain ; Jeongheon Lee ; Oksam Chae
Analysis of Facial Configuration from Realistic 3D Face Reconstruction of Young Korean Men / Seongah Chin ; Seongdong Kim
Engineering Applications
Finite Element Modeling of Magneto-superelastic Behavior of Ferromagnetic Shape Memory Alloy Helical Springs / Jong-Bin Lee ; Yutaka Toi ; Minoru Taya
LSTAFF: System Software for Large Block Flash Memory / Tae-Sun Chung ; Dong-Joo Park ; Yeonseung Ryu ; Sugwon Hong
On the Repair of Memory Cells with Spare Rows and Columns for Yield Improvement
Effective Digital IO Pin Modeling Methodology Based on IBIS Model / Won-Ok Kwon ; Kyoung Park
Author Index
Keynotes
Discrete Huygens' Modelling and Simulation for Wave Propagation / Yukio Kagawa
Some Focusing Points in Development of Modern Modeling and Simulation Technology / Bo Hu Li
85.

電子ブック

EB
Keh-Yih Su, Takeo Kanade, Asia Federation of Natural Language Processing., Jong-Hyeok Lee, Jun'ichi Tsujii
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
86.

電子ブック

EB
Samy Bengio, Herv? Bourlard, Takeo Kanade, Herv?? Bourlard
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
87.

電子ブック

EB
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
88.

電子ブック

EB
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
89.

電子ブック

EB
Symposium on Graph Drawing, Takeo Kanade, J?nos Pach
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Papers
Reconfiguring Triangulations with Edge Flips and Point Moves / Greg Aloupis ; Prosenjit Bose ; Pat Morin
Drawing Power Law Graphs / Reid Andersen ; Fan Chung ; Lincoln Lu
Hexagonal Grid Drawings: Algorithms and Lower Bounds / Shabnam Aziza ; Therese Biedl
Improved Bounds for the Number of (≤ k)-Sets, Convex Quadrilaterals, and the Rectilinear Crossing Number of Kn / József Balogh ; Gelasio Salazar
On the Realizable Weaving Patterns of Polynomial Curves in <$>{\op R}^3<$> / Saugata Basu ; Raghavan Dhandapani ; Richard Pollack
Drawing the AS Graph in 2.5 Dimensions / Michael Baur ; Ulrik Brandes ; Marco Gaertler ; Dorothea Wagner
Boundary Labeling: Models and Efficient Algorithms for Rectangular Maps / Michael A. Bekos ; Michael Kaufmann ; Antonios Symvonis ; Alexander Wolff
Convex Drawings of 3-Connected Plane Graphs / Nicolas Bonichon ; Stefan Felsner ; Mohamed Mosbah
Partitions of Complete Geometric Graphs into Plane Trees / Ferran Hurtado ; Eduardo Rivera-Campo ; David R. Wood
Additional PC-Tree Planarity Conditions / John M. Boyer
GraphML Transformation / Christian Pich
Clustering Cycles into Cycles of Clusters / Pier Francesco Cortese ; Giuseppe Di Battista ; Maurizio Patrignani ; Maurizio Pizzonia
Unit Bar-Visibility Layouts of Triangulated Polygons / Alice M. Dean ; Ellen Gethner ; Joan P. Hutchinson
Really Straight Graph Drawings / Vida Dujmović ; Matthew Suderman
Layouts of Graph Subdivisions
Label Number Maximization in the Slider Model / Dietmar Ebner ; Gunnar W. Klau ; René Weiskircher
An Efficient Implementation of Sugiyama's Algorithm for Layered Graph Drawing / Markus Eiglsperger ; Martin Siebenhaller
Random Geometrie Graph Diameter in the Unit Disk with <$>\ell_p<$> Metric / Robert B. Ellis ; Jeremy L. Martin ; Catherine Yan
Algorithms for Drawing Media / David Eppstein
Confluent Layered Drawings / Michael T. Goodrich ; Jeremy Yu Meng
Simultaneous Embedding of Planar Graphs with Few Bends / Cesim Erten ; Stephen G. Kobourov
A Fast and Simple Heuristic for Constrained Two-Level Crossing Reduction / Michael Forster
Contact and Intersection Representations / Hubert de Fraysseix ; Patrice Ossona de Mendez
Dynamic Graph Drawing of Sequences of Orthogonal and Hierarchical Graphs / Carsten Görg ; Peter Birke ; Mathias Pohl ; Stephan Diehl
Graph Drawing by Stress Majorization / Emden R. Gansner ; Yehuda Koren ; Stephen North
Computing Radial Drawings on the Minimum Number of Circles / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Henk Meijer
Hamiltonian-with-Handles Graphs and the k-Spine Drawability Problem
Distributed Graph Layout for Sensor Networks / Craig Gotsman
Drawing Large Graphs with a Potential-Field-Based Multilevel Algorithm / Stefan Hachul ; Michael Juönger
Building Blocks of Upward Planar Digraphs / Patrick Healy ; Karol Lynch
A Linear Time Algorithm for Constructing Maximally Symmetric Straight-Line Drawings of Planar Graphs / Seok-Hee Hong ; Peter Eades
Train Tracks and Confluent Drawings / Peter Hui ; Marcus Schaefer ; Daniel Štefankovič
The Three Dimensional Logic Engine / Matthew Kitching ; Sue Whitesides
Long Alternating Paths in Bicolored Point Sets / Jan Kynčl ; János Pach ; Géeza Tóoth
Intersection Reverse Sequences and Geometric Applications / Adam Marcus ; Gábor Tardos
New Exact Results and Bounds for Bipartite Crossing Numbers of Meshes / Matthew C. Newton ; Ondrej Sýkora ; Martin Užovič ; Imrich Vrt'o
Drawing Pfaffian Graphs / Serguei Norine
3D Visualization of Semantic Metadata Models and Ontologies / Charalampos Papamanthou ; Ioannis G. Tollis ; Martin Doerr
A Note on the Self-similarity of Some Orthogonal Drawings
No-Three-in-Line-in-3D / Attila Póor
Visual Navigation of Compound Graphs / Marcus Raitner
Layout Volumes of the Hypercube / Lubomir Torok
New Theoretical Bounds of Visibility Representation of Plane Graphs / Huaming Zhang ; Xin He
Software Demonstrations
Visualizing Large Graphs with Compound-Fisheye Views and Treemaps / James Abello ; Roman Yusufov
A Compound Graph Layout Algorithm for Biological Pathways / Ugur Dogrusoz ; Erhan Giral ; Ahmet Cetintas ; Ali Civril ; Emek Demir
Curvilinear Graph Drawing Using the Force-Directed Method / Benjamin Finkel ; Roberto Tamassia
Graphael: A System for Generalized Force-Directed Layouts / David Forrester ; Armand Navabi ; Kevin Wampler ; Gary V. Yee
QUOGGLES: Query On Graphs - A Graphical Largely Extensible System / Paul Holleis ; Franz J. Brandenburg
Visualisation of Large and Complex Networks Using PolyPlane / Tom Murtagh
The Metro Map Layout Problem / Damian Merrick ; Hugo A.D. do Nascimento
An Interactive Multi-user System for Simultaneous Graph Drawing / Chandan Pitta
Posters
Gravisto: Graph Visualization Toolkit / Christian Bachmaier
DNA Secondary Structures for Probe Design / Yanga Byun ; Kyungsook Han
Open Problems Wiki
Visualization and ILOG CPLEX / Georg Sander ; Adrian Vasiliu
Graph Drawing Contest
Graph-Drawing Contest Report / Christian A. Duncan
Invited Talk
Fast Algorithms for Hard Graph Problems: Bidimensionality, Minors, and Local Treewidth / Erik D. Demaine ; MohammadTaghi Hajiaghayi
Author Index
Papers
Reconfiguring Triangulations with Edge Flips and Point Moves / Greg Aloupis ; Prosenjit Bose ; Pat Morin
Drawing Power Law Graphs / Reid Andersen ; Fan Chung ; Lincoln Lu
90.

電子ブック

EB
ArgMAS 2004, Takeo Kanade, Pavlos Moraitis, Iyad Rahwan, Chris Reed
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
91.

電子ブック

EB
SAM 2004, Daniel Amyot, Takeo Kanade, Alan W. Williams
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
92.

電子ブック

EB
ProMAS 2004, Rafael H. Bordini, Takeo Kanade, Mehdi Dastani, J??rgen Dix, Amal El Fallah Seghrouchni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
93.

電子ブック

EB
International Workshop on OpenMP Applications and Tools, Barbara Chapman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
94.

電子ブック

EB
Xavier Franch, Takeo Kanade, Dan Port, Daniel Port
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
95.

電子ブック

EB
David Hutchison, Matthias Hemmje, Takeo Kanade, Erich J. Neuhold, Claudia Niederee, Thomas Risse
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
96.

電子ブック

EB
WAOA 2004, Takeo Kanade, Giuseppe Persiano, Roberto Solis-Oba
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
97.

電子ブック

EB
E4MAS 2004, Takeo Kanade, Fabien Michel, H. Van Dyke Parunak, Danny Weyns, H. Van Dyke Parunak
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
98.

電子ブック

EB
SWDB 2004, Christoph Bussler, Irini Fundulaki, Takeo Kanade, Val Trannen, Val Tannen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
99.

電子ブック

EB
Joe Kilian, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
100.

電子ブック

EB
IWDW 2004, Ingemar J. Cox, Ton Kalker, Takeo Kanade, Heung-Kyu Lee
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼