close
1.

図書

図書
Tim Hendtlass, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2002  xiii, 833 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2358 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
Computational Cost Reduction by Selective Attention for Fast Speaker Adaptation in Multilayer Perceptron / In-Cheol Kim ; Sung-Il Chien
A Comparison of Neural Networks with Time Series Models for Forecasting Returns on a Stock Market Index / Juliana Yim
Image/Speech 1
Automatic Detection of Film Orientation with Support Vector Machines / Dane Walsh ; Christian Omlin
A Generic Approach for the Vietnamese Handwritten and Speech Recognition Problems / Vu Hai Quan ; Pham Nam Trung ; Nguyen Due Hoang Ha ; Lam Tri Tin ; Hoang Kiem ; An H Nguyen
Efficient and Automatic Faces Detection Based on Skin-Tone and Neural Network Model / Bae-Ho Lee ; Kwang-Hee Kim ; Yonggwan Won ; Jiseung Nam
Efficient Image Segmentation Based on Wavelet and Watersheds for Video Objects Extraction / Jong-Bae Kim ; Hang-Joon Kim
Evolutionary and Genetic Algorithms 1
FPGA-Based Implementation of Genetic Algorithm for the Traveling Salesman Problem and Its Industrial Application / Iouliia Skliarova ; António B.Ferrari
Minimal Addition Chain for Efficient Modular Exponentiation Using Genetic Algorithms / Nadia Nedjah ; Luiza de Macedo Mourelle
An Evolutionary Algorithm for the Synthesis of RAM-Based FSMs / Valery Sklyarov
Genetic Algorithms for Design of Liquid Retaining Structure / K. W. Chau ; F. Albermani
Autonomous Agents
Modelling Crew Assistants with Multi-Agent Systems in Fighter Aircraft / Arjen Vollebregt ; Daan Hannessen ; Henk Hesselink ; Jelle Beetstra
Learning from Human Decision-Making Behaviors - An Application to RoboCup Software Agents / Ruck Thawonmas ; Junichiro Hirayama ; Fumiaki Takeda
Distributed Deadlock Detection in Mobile Agent Systems / Bruce Ashfield ; Dwight Deugo ; Franz Oppacher ; Tony White
An Agent-Based Approach for Production Control Incorporating Environmental and Life-Cycle Issues, together with Sensitivity Analysis / Elisabeth Hie Zudor ; László Monostori
Feasibility Restoration for Iterative Meta-heuristics Search Algorithms / Marcus Randall
Best Paper Candidates 1
Optimization of Pulse Pattern for a Multi-robot Sonar System Using Genetic Algorithm / George Nyauma Nyakoe ; Makoto Ohki ; Suichiro Tabuchi ; Masaaki Ohkita
The Suitability of Particle Swarm Optimisation for Training Neural Hardware / David Braendler ; Tim Hendtlass
Evolutionary Multi-objective Integer Programming for the Design of Adaptive Cruise Control Systems / Nando Laumanns ; Marco Laumanns ; Hartmut Kitterer
The Macronet Element: A Substitute for the Conventional Neuron / Gerrard Murray
Genetic Algorithm Optimisation of Mathematical Models Using Distributed Computing / S. Dunn ; S. Peucker
Best Paper Candidates 2
Genetic Algorithm Optimisation of Part Placement Using a Connection-Based Coding Method / Alan Crispin ; Paul Clay ; Gaynor Taylor ; Robert Hackney ; Tom Bayes ; David Reedman
A Fast Evolutionary Algorithm for Image Compression in Hardware / Mehrdad Salami
Automatic Speech Recognition: The New Millennium / Khalid Daoudi
Applying Machine Learning for Ensemble Branch Predictors / Gabriel H. Loh ; Dana S. Henry
A Customizable Configuration Tool for Design of Multi-part Products / Niall Murtagh
Neural Networks 2
Phase-to-Phase Wave Parameters Measurement of Distribution Lines Based on BP Networks / Fengling Han ; Xinghuo Yu ; Yong Feng ; Huifeng Dong
Learning Capability: Classical RBF Network vs. SVM with Gaussian Kernel / Rameswar Debnath ; Haruhisa Takahashi
Trading off between Misclassification, Recognition and Generalization in Data Mining with Continuous Features / Dianhui Wang ; Tharam Dillon ; Elizabeth Chang
Interacting Neural Modules / Garry Briscoe
The Application of Visualization and Neural Network Techniques in a Power Transformer Condition Monitoring System / Zhi-Hua Zhou ; Yuan Jiang ; Xu-Ri Yin ; Shi-Fu Chen
Internet Applications 1
Entrepreneurial Intervention in an Electronic Market Place / John Debenham
Intelligent Auto-downloading of Images / Vikram Natarajan ; Angela Goh
Intelligent Facilitation Agent for Online Web-Based Group Discussion System / Junalux Chalidabhongse ; Wirat Chinnan ; Piehet Weehasaethnon ; Arpakorn Tantisirithanakorn
TWIMC: An Anonymous Recipient E-mail System / Sebon Ku ; Bogju Lee ; Dongman Lee
Mental States of Autonomous Agents in Competitive and Cooperative Settings / Walid S. Saba
Expert Systems
An Expert System Application for Improving Results in a Handwritten Form Recognition System / Silvana Rossetto ; Flávio M. Varejão ; Thomas W. Rauber
A Knowledge-Based System for Construction Site Level Facilities Layout / M. Anson
A Decision-Support System to Improve Damage Survivability of Submarine / D. Lee ; J. Lee ; K. H. Lee
On the Verification of an Expert System: Practical Issues / Jorge Santos ; Zita Vale ; Carlos Ramos
DOWNSIZINGX: A Rule-Based System for Downsizing the Corporation's Computer Systems / J. L. Mitrpanont ; T. Plengpung
Credit Apportionment Scheme for Rule-Based Systems: Implementation and Comparative Study / N. M. Hewahi ; H. Ahmad
Internet Applications 2
An Adaptive Web Cache Access Predictor Using Neural Network / Wen Tian ; Ben Choi ; Vir V. Phoha
A Designated Bid Reverse Auction for Agent-Based Electronic Commerce / Tokuro Matsuo ; Takayuki Ito
Design of a Fuzzy Usage Parameter Controller for Diffserv and MPLS / K. K. Phang ; S. H. Lim ; M. Hj. Yaaeob ; T. C. Ling
A Tool for Extension and Restructuring Natural Language Question Answering Domains / Boris Galitsky
Effective Retrieval of Information in Tables on the Internet / Sung-Won Jung ; Kyung-Hee Sung ; Tae-Won Park ; Hyuk-chul Kwon
Evolutionary and Genetic Algorithms 2
A Fitness Estimation Strategy for Genetic Algorithms
Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms / Bian Runqiang ; Phoebe Chen ; Kevin Burrage ; Jim Hanan ; Peter Room ; John Belward
Evolving a Schedule with Batching, Precedence Constraints, and Sequence-Dependent Setup Times: Crossover Needs Building Blocks / Paul J. Darwen
The Development of the Feature Extraction Algorithms for Thai Handwritten Character Recognition System / S. Kiwprasopsak
Route Planning Wizard: Basic Concept and Its Implementation / Teruaki Ito
AI Applications
The Design and Implementation of Color Matching System Based on Back Propagation / HaiYi Zhang ; JianDong Bi ; Barbro Back
Component-Oriented Programming as an AI-Planning Problem / Debasis Mitra ; Walter P. Bond
Dynamic CSPs for Interval-Based Temporal Reasoning / Malek Mouhoub ; Jonathan Yip
Efficient Pattern Matching of Time Series Data / Sangjun Lee ; Dongseop Kwon ; Sukho Lee
A Multi-attribute Decision-Making Approach toward Space System Design Automation through a Fuzzy Logic-Based Analytic Hierarchical Process / Michelle Lavagna ; Amalia Ercoli Finzi
Best Paper Candidates 3
A Case Based System for Oil and Gas Well Design / Simon Kravis ; Rosemary Irrgang
Ant Colony Optimisation Applied to a Dynamically Changing Problem / Daniel Angus
A GIS-Integrated Intelligent System for Optimization of Asset Management for Maintenance of Roads and Bridges / M. D. Salim ; T. Strauss ; M. Emch
A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language / Oscar Luiz Monteiro de Farias ; Sueli Bandeira Teixeira Mendes
Training and Application of Artificial Neural Networks with Incomplete Data / Zs. J. Viharos ; L. Monostori ; T. Vincze
Knowledge Processing
Message Analysis for the Recommendation of Contact Persons within Defined Subject Fields / Frank Heeren ; Wilfried Sihn
An Intelligent Knowledge Processing System on Hydrodynamics and Water Quality Modeling / C.Cheng ; Y. S. Li ; C. W. Li ; O. Wai
Uncertainty Management and Informational Relevance / M. Chachoua ; D. Pacholczyk
Potential Governing Relationship and a Korean Grammar Checker Using Partial Parsing / Mi-young Kang ; Su-ho Park ; Ae-sun Yoon
Image/Speech 2
On-Line Handwriting Character Recognition Using Stroke Information / Jungpil Shin
Face Detection by Integrating Multiresolution-Based Watersheds and a Skin-Color Model / Su-Woong Jung
Social Interaction of Humanoid Robot Based on Audio-Visual Tracking / Hiroshi G. Okuno ; Kazuhiro Nakadai ; Hiroaki Kitano
Hybrid Confidence Measure for Domain-Specific Keyword Spotting / Jinyoung Kim ; Joohun Lee ; Seungho Choi
Model Based Reasoning
Model-Based Debugging or How to Diagnose Programs Automatically / Franz Wotawa ; Markus Stumptner ; Wolfgang Mayer
On a Model-Based Design Verification for Combinatorial Boolean Networks / Satoshi Hiratsuka ; Akira Fusaoka
Optimal Adaptive Pattern Matching / Luiza de Maeedo Mourelle
Analysis of Affective Characteristics and Evaluation of Harmonious Feeling of Image Based on 1/f Fluctuation Theory / Mao Xia ; Chen Bin ; Zhu Gang ; Muta Itsuya
Adaptive Control
Collective Intelligence and Priority Routing in Networks / Bernard Pagurek
An Agent-Based Approach to Monitoring and Control of District Heating Systems / Fredrik Wernstedt ; Paul Davidsson
Using Machine Learning to Understand Operator's Skill / Ivan Bratko ; Dorian Šue
Reactive Load Control of Parallel Transformer Operations Using Neural Networks / Fakhrul Islam ; Baikunth Nath ; Joarder Kamruzzaman
Author Index
Neural Networks 1
An Error Back-Propagation Artificial Neural Networks Application in Automatic Car License Plate Recognition / Demetrios Michalopoulos ; Chih-Kang Hu
Use of Artificial Neural Networks for Buffet Loads Prediction / Oleg Levinski
2.

図書

図書
Lȧszlo︠ Monostori, Jo︠zsef Vȧncza, Moonis Ali (eds.)
出版情報: Berlin : Springer, c2001  xviii, 951 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2070 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
An Evolutionary Optimum Searching Tool / Z. Tóth ; G. Kókai
Value Prediction in Engineering Applications / G. Ziegler ; Z. Palotai ; T. Cinkler ; P. Arató ; A. Lörincz
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems / H. Drias ; M. Khabzaoui
Move Ordering Using Neural Networks / L. Kocsis ; J. Uiterwijk ; J. van den Herik
Knowledge Representation
Why Use a Unified Knowledge Representation? / J. Debenham
Lazy Knowledge Base Update / W. &Lstroke;ukaszewicz ; E. Madalińska-Bugaj
On the Computational Aspect of Rule Based Database Updates / Y. Bai ; Y. Zhang
Building an Information and Knowledge Fusion System / T. Meszdros ; Z. Barczikay ; F. Bodon ; T.P. Dobrowiecki ; G. Strausz
Hierarchical Approach for Engineering Skills Acquisition / M.S. Levin
Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information / S. Ohsuga ; N. Ueda
Knowledge Modelling in Support of Knowledge Management / R. Kende
A New Approach in Object-Based Knowledge Representation: The AROM System / M. Page ; J. Gensel ; D. Bardou ; C. Capponi ; C. Bruley ; V. Dupierris ; P. Genoud ; D. Ziébelin
Ontology Integration Tasks in Business-to-Business E-Commerce / B. Omelayenko
Model-Based Reasoning
Using Multiple Models for Debugging VHDL Designs / F. Wotawa
Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models / B. Pulido ; C. Alonso ; F. Acebes
Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning / R. Lakner ; K.M. Hangos
A Knowledge Model for Automatic Configuration of Traffic Messages / M. Molina ; M. Robledo
Machine Learning
Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web / L. Xiao ; D. Wissmann ; M. Brown ; S. Jablonski
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection / D. Bühler ; W. Küchlin
Where to Position the Precision in Knowledge Extraction from Text
Generation of Similarity Measures from Different Sources / B. Stein ; O. Niggemann
SNN: A Supervised Clustering Algorithm / J.S. Aguilar ; R. Ruiz ; J.C. Riquelme ; R. Giráldez
An Eager Regression Method Based on Best Feature Projections / T. Aydin ; H.A. Güvenir
On the Relationship between Learning Capability and the Boltzmann-Formula / P. Stefán ; L. Monostori
Data Mining
A View Selection Tool for Multidimensional Databases / H.M. Jamil ; G.A. Modica
Inductive Learning of a Knowledge Dictionary for a Text Mining System / S. Sakurai ; Y. Ichimura ; A. Suyama ; R. Orihara
Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis / Y. Toussaint ; J.-C. Lamirel
Soft Computing
Neural Learning from Unbalanced Data Using Noise Modeling / H. Guo ; Y.L. Murphey
Neural Modeling of an Industrial Process with Noisy Data / P. Berényi ; J. Valyon ; G. Horváth
Enhanced Artificial Neurons for Network Applications / G. Murray
Time Delay Neural Networks Designed Using Genetic Algorithms for Short Terms Inter-City Traffic Forecasting / P. Lingras ; P. Mountford
An Efficient Hardware Implementation of Feed-Forward Neural Networks / T. Szabó
MAPS: A Method for Identifying and Predicting Aberrant Behavior in Time Series / E. Kotsakis ; A. Wolski
Comparisons of QP and LP Based Learning from Empirical Data / V. Kecman ; T. Arthanari
A Fuzzy Cognitive Map Based on the Random Neural Model / J. Aguilar
Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic / C.-H. Tsai ; D.-S. Hsu
Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems / A. Rotshtein ; H. Rakytyanska
Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs / Y. Zhou ; X. Fang ; B. Zhao
Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches / T. Beaubouef ; F. Petry
Evolutionary Algorithms
Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms / C. Woodward
A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-In Parallelism / M. Rocha ; F. Pereira ; S. Afonso ; J. Neves
Genetic and Evolutionary Algorithms for Time Series Forecasting / P. Cortez
Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms / R. M'hallah ; A. Bouziri ; W. Jilani
An Application of Genetic Algorithms to Course Scheduling at the United States Army War College / J.J. Donlon
Separation Surfaces through Genetic Programming
Distributed Problem Solving
Distributed Configuration as Distributed Dynamic Constraint Satisfaction / A. Felfernig ; G. Friedrich ; D. Jannach ; M. Zanker|P434
Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time / N.T. Nguyen
Checkpoint-Recovery for Mobile Intelligent Networks / Y. Morita ; H. Higaki
Expert Systems
Automotive Product Documentation / A. Kaiser
The Design and Implementation of a Traffic Accident Analysis System / H. Zhang ; B. Back ; W.L. Zhou
Decision Support System for Shadow Mask Development Using Rule and Case / H. Jin ; M. Kim ; S. Jung ; K. Shon ; H. Ha ; B. Ye ; J. Jo
An Expert System for Ironmaking / J. Tuya ; E. Diaz ; M. Hermida ; J.A.L. Brugos ; A. Neira ; A. Alguero ; F. Obeso
Pattern and Speech Recognition, Vision
Short Circuit Detection on Printed Circuit Boards during the Manufacturing Process by Using an Analogic CNN Algorithm / T. Hidvégi ; P. Szolgay
Application of Feature Transformation and Learning Methods in Phoneme Classification / A. Kocsor ; L. Tóth ; L. Felföldi
A Smart Machine Vision System for PCB Inspection / T.Q. Chen ; J. Zhang
Language Processing
Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish / J. Álvarez ; V. Arranz ; N. Castell ; M. Civit
Selecting a Relevant Set of Examples to Learn IE-Rules / J. Turmo ; H. Rodríguez
An Environment for Formal Specification and Verification of Lingware / B. Gargouri ; M. Jmaiel ; A. Ben Hamadou
Sentence Analysis by Case-Based Reasoning / F. Chakkour
Topic Detection Using Lexical Chains / Y. Chali
Planning and Scheduling
A Mixed Closure-CSP Method to Solve Scheduling Problems / M.I. Alfonso Galipienso ; F. Barber Sanchís
Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator / H. Yamamoto ; E. Marui
Distributed Learning and Control for Manufacturing Systems Scheduling / J. Hong ; V. Prabhu
An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines / L.A. García ; F. Toledo
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem / D. Mitra
Approaches to Increase the Performance of Agent-Based Production Systems / B. Kádár
Scheduling of Production Using the Multi-agent Approach by Hierarchical Structure / B. Frankovic ; T.T. Dang
Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents / F. Failli ; G. Dini
Robotics
Sound and Visual Tracking for Humanoid Robot / H.G. Okuno ; K. Nakadai ; T. Lourens ; H. Kitano
Developing a Mobile Robot Control Application with CommonKADS-RT / M. Henao ; J. Soler ; V. Botti
Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm / D.-Y. Ju ; S. Kushida
Machine Learning for Car Navigation / D. Mitrovic
Autonomous Agents
Implementing Agent Management Using Conversation Patterns and Role Theory / C. Stergiou ; G. Arys
An Approach to Coalition Formation Using Argumentation-Based Negotiation in Multi-agent Systems / H. Hattori ; T. Ito ; T. Ozono ; T. Shintani
A Negotiation Model to Support Material Selection in Concurrent Design / R. Barker ; L. Holloway ; A. Meehan
An XML-Based Language for Coordination Protocol Description in Multi-agent System / M. Weiliang ; S. Huanye ; Dingpeng
A Distributed Multi-agent Model for Value Nets / C. Dodd ; S.R.T. Kumara
Norms for DLP Agents Working in a Warehouse Scenario / I.A. Letia ; F. Craciun ; Z. Köpe
Design
A Methodology for Reliable Systems Design / J. Solano-Soto ; L.E. Sucar
Intelligent Support for Interactive Configuration of Mass-Customized Products / M. Zanker
Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects / R. Hermes de Araúijo ; O. Possamai ; L.D. Valentina
Control
Intelligent Control Synthesis of Manufacturing Systems / F. Čapkovič ; P. Capkovic
A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS / G. Pieri ; M.R. Klein ; M. Milanese
Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill / L. Cser ; J. Gulyáis ; L. Szücs ; A. Horváth ; L. Árvai ; B. Baross
Non-linear Prediction of Vibration Series for Turbogenerator Unit / Z.-H. Ge ; Z.-H. Han ; C.-F. Ding
Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant / D. Riaño ; M. Sànchez-Marrè ; I. R.-Roda
Agent-Based Support for Handling Environmental and Life-Cycle Issues / E. Zudor
Manufacturing Systems
Fractal Businesses in an E-Business World / W. Sihn ; J. Klink
Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI-, and Simulation-Based Approach / Z.J. Viharos
A Multi-agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems / J. Macedo
Finance and Business
Product Line Design with Customer Preferences / A. Márkus ; J. Váncza
Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour / S.B. Teixeira Mendes ; O.L.M. de Farias
GAs and Financial Analysis / M. Leus ; D. Deugo ; F. Oppacher ; R. Cattral
Semi-structured Knowledge Representation for the Automated Financial Advisor / B. Galitsky
Software Engineering
Improving Space, Time, and Termination in Rewriting-Based Programming / N. Nedjah ; L. de Macedo Mourelle
Knowledge Intensive Case-Based Assistance for Framework Reuse / M. Gómez-Albarráin ; P.A. González-Calero
Deciding on a Pattern / J.C. McPhail
Program Modeling for Fault Definition Based Static Analysis / T. Illgen
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces / F. Belli
Tutoring
Planning Agents in a Multi-agents Intelligent Tutoring System / R. Nkambou ; F. Kabanza
Constraint-Based Tutors: A Success Story / A. Mitrovic ; M. Mayo ; P. Suraweera ; B. Martin
Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor / C. Yang ; S. Phan ; P. Kuo ; F.O. Lin
Author Index
Search
Solving Network Synthesis Problems Using Ant Colony Optimisation / M. Randall ; E. Tonkes
A Combined Swarm Differential Evolution Algorithm for Optimization Problems / T. Hendtlass
3.

図書

図書
International Conference on Software Engineering ; IEEE Computer Society. Technical Council on Software Engineering ; ACM Sigsoft ; ACM Special Interest Group in Programming Languages
出版情報: Los Alamitos, Cailf. : IEEE Computer Society, c2001  xxix, 844 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; [edited by Jeffrey Arnold and Kenneth L. Pocek]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xi, 338 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, Cadence, Intel
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xix, 720 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
edited by Hon F. Li and David K. Probst
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,310 p ; 24cm
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; edited by Kenneth L. Pocek and Jeffrey Arnold
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  x, 344 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsored by IEEE Computer Society and the Technical Committee on Computer Architecture
出版情報: Piscataway, N. J. : IEEE, c2003  vi, 130 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
Paul W.H. Chung, Chris Hinde, Moonis Ali (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 817 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2718 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
sponsored by the Computer Society of the IEEE Technical Committee on Software Engineering ... [et al.]
出版情報: Washington D.C. : IEEE Computer Society Press, c1987  xvi, 399 p. ; 28 cm
所蔵情報: loading…
11.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; edited by Kenneth L. Pocek and Jeffrey Arnold
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  viii, 235 p. ; 28 cm
所蔵情報: loading…
12.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems in cooperation with Deutsche Forschungsgemeinschaft, DFG ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xi, 465 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; edited by Peter Athanas and Kenneth L. Pocek
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  viii, 222 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
edited by Duncan A. Buell, Kenneth L. Pocek ; sponsored by IEEE Computer Society Technical Committee on Computer Architecture
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  vii, 199 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
sponsored by ACM SIGSOFT, National Bureau of Standards, IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xv, 472 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
International Conference on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1990  xvii, 337 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
edited by E.J. Karjalainen
出版情報: Amsterdam ; Tokyo : Elsevier, 1990  498 p. ; 25 cm
シリーズ名: Data handling in science and technology ; v. 6
所蔵情報: loading…
18.

図書

図書
edited by E.R. Caianiello
出版情報: Leyden : Noordhoff, 1975  ix, 401 p. ; 25 cm
シリーズ名: NATO advanced study institutes series ; ser. E . Applied sciences ; v. 9
所蔵情報: loading…
19.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xix, 764 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
organized by ACM Special Interest Group on Software Engineering ... [et al.]
出版情報: Washington D.C. : IEEE Computer Society Press, c1989  xix, 406 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
sponsored by Association for Computing Machinery Sigsoft, IEEE Computer Society [and] National Bureau of Standards
出版情報: [Silver Spring, MD?] : IEEE Computer Society Press, c1984  xiv, 545 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
sponsored by IEEE Computer Society and IEEE Circuits and Systems Society in cooperation with IEEE Electron Devices Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986  xvi, 607 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
sponsored by IEEE Computer Society and IEEE Circuits and Systems Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1985  xxi, 796 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
organized by ACM SIGSOFT ... [et al.]
出版情報: Washington D.C. : Computer Society Press, c1988  xiv, 459 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
sponsored by ACM Special Interest Group on Software Engineering, IEEE Computer Society Technical Committee on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  xiii, 359 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
sponsored by the Association for Computing Machinery SIGSOFT ... [et al.]
出版情報: Washington D.C. : IEEE Computer Society Press, c1985  xvi, 402 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee Members
Reviewers
Graphics with Shape Property Inheritance / T. Kunii
Adaptive Hierarchical B-spline Surface Approximation of Large-Scale Scattered Data / W. Zhang ; Z. Tang ; J. Li
Tight Bounding Volumes for Subdivision Surfaces / L. Kobbelt
Fair Curve and Surface Design System using Tangent Control / N. Sakiyama ; K. Miura ; T. Takahashi ; T. Kaneko ; T. Kubo
General Matrix Representations for B-Splines and Applications / K. Qin
Toward Urban Model Acquisition from Geo-Located Images / S. Teller
Modeling of Clouds from Satellite Images using Metaballs / Y. Dobashi ; T. Nishita ; H. Yamashita ; T. Okita
Nonlinear View Interpolation / H. Bao ; L. Chen ; J. Ying ; Q. Peng
Efficient Image-based Rendering of Volume Data / J. Choi ; Y. Shin
An Analytical Ray Casting of Volume Data / M. Jung ; H. Park ; D. Paik
Bounded Clustering--Finding Good Bounds on Clustered Light Transport / M. Stamminger ; P. Slusallek ; H. Seidel
An Efficient Shadow Algorithm for Area Light Sources using BSP Trees / K. Wong ; W. Tsang
Shape Space from Deformation / H. Cheng ; H. Edelsbrunner ; P. Fu
General Constrained Deformations based on Generalized Metaballs / X. Jin ; Y. Li
RECODE: An Image-based Collision Detection Algorithm / G. Baciu ; W. Wong ; H. Sun
A Nondeterministic Reconstruction Approach for Isotropic Reflectances and Transmittances / G. Baranoski ; J. Rokne
Image Talk: A Real Time Synthetic Talking Head using One Single Image with Chinese Text-To-Speech Capability / W. Perng ; Y. Wu ; M. Ouhyoung
Design and Implementation of the Maya Renderer / K. Sung ; J. Craighead ; C. Wang ; S. Bakshi ; A. Pearce ; A. Woo
Gesticulation Behaviors for Virtual Humans / L. Zhao ; N. Badler
An Efficient Control over Human Running Animation with Extension of Planar Hopper Model / Y. Kang ; S. Park ; H. Cho ; E. Lee
Dust and Water Splashing Models for Hopping Figures / G. Ashraf ; W. Cheong
Interactive Mesh Dragging with Adaptive Remeshing Technique / H. Suzuki ; Y. Sakurai ; T. Kanai ; F. Kimura
A Camera Control Interface based on the Visualization of Subspaces of the 6D Motion Space of the Camera / D. Kim
An Infrared Image Synthesis Model / W. Yu ; H. Tu
Representing Spheres and Ellipsoids using Periodic NURBS Surfaces with Fewer Control Vertices / W. Wang
A C[superscript 2] Interpolant for Spherical Scattered Data / L. Chang ; H. Said
A New Approach for Goal-Oriented Defomation of Voxel Models / R. Jegathese ; E. Prakash
Disparity Mapping Technique and Fast Rendering Technique for View Morphing / T. Moritsu ; M. Kato
Automatic Feature Extraction and Face Synthesis in Facial Image Coding / F. Wu ; T. Yang
Color Plates
Index of Authors
Preface
Committee Members
Reviewers
27.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Softwar Engineering(SIGSOFT), Associazione Italiana per l'Informatica ed il Calcolo Automatico(AICA)
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xiii, 369 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
International Conference on Software Engineering
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xiii, 336 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing Machinery (SIGSOFT), Gesellschaft für Informatik
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 590 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
sponsored by the Institution of Engineers, Australia ... [et al.]
出版情報: New York, NY : Association for Computing Machinery, c1992  x, 421 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery/SIGSOFT
出版情報: Los Alamitos Calif. : IEEE Computer Society Press, c1993  xiv, 524 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing (ACM SIGSOFT)
出版情報: New York, N.Y. : ACM Press, c1997  xviii, 713 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 250 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
sponsored by Science Council of Japan ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  2 v. ; 28 cm
所蔵情報: loading…
35.

図書

図書
Canadian Conference on Electrical and Computer Engineering ; Institute of Electrical and Electronics Engineers
出版情報: Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2005  3 v. (xx, 2299 p.) ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, ACM Special Interest Group on Software Engineering, Irish Computer Society ; in cooperation with ACM Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM Press, 2000  xviii, 843 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering, The Association for Computing Machinery (ACM SIGSOFT) ; in cooperation with ACM SIGAda and ACM SIGPLAN
出版情報: New York, N.Y. : ACM Press, c1999  xv, 741 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
First International Conference on Computer Technology, Systems, and Applications ; edited by Walter E. Proebster and Hans Reiner
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  xvii, 1006 p. ; 29 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼