close
1.

図書

図書
Stephen Brewster, Mark Dunlop (eds.)
出版情報: Berlin : Springer, c2004  xvii, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3160
所蔵情報: loading…
2.

図書

図書
Pen-Chung Yew, Jingling Xue (eds.)
出版情報: Berlin : Springer, c2004  xvii, 598 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3189
所蔵情報: loading…
3.

図書

図書
Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain (eds.)
出版情報: Berlin : Springer, c2004  3 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3213-3215 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
5.

図書

図書
Ubbo Visser
出版情報: Berlin : Springer, c2004  xiv, 150 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3159 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction and Related Work / Part I:
Introduction / 1:
Semantic Web Vision / 1.1:
Research Topics / 1.2:
Search on the Web / 1.3:
Integration Tasks / 1.4:
Organization / 1.5:
Related Work / 2:
Approaches for Terminological Representation and Reasoning / 2.1:
The Role of Ontologies / 2.1.1:
Use of Mappings / 2.1.2:
Approaches for Spatial Representation and Reasoning / 2.2:
Spatial Representation / 2.2.1:
Spatial Reasoning / 2.2.2:
More Approaches / 2.2.3:
Approaches for Temporal Representation and Reasoning / 2.3:
Temporal Theories Based on Time Points / 2.3.1:
Temporal Theories Based on Intervals / 2.3.2:
Summary of Recent Approaches / 2.3.3:
Evaluation of Approaches / 2.4:
Terminological Approaches / 2.4.1:
Spatial Approaches / 2.4.2:
Temporal Approaches / 2.4.3:
The Buster Approach for Terminological, Spatial, and Temporal Representation and Reasoning / Part II:
General Approach of Buster / 3:
Requirements / 3.1:
Conceptual Architecture / 3.2:
Query Phase / 3.2.1:
Acquisition Phase / 3.2.2:
Comprehensive Source Description / 3.3:
The Dublin Core Elements / 3.3.1:
Additional Element Descriptions / 3.3.2:
Background Models / 3.3.3:
Example / 3.3.4:
Relevance / 3.4:
Terminological Representation and Reasoning, Semantic Translation / 4:
Representation / 4.1:
Reasoning / 4.1.2:
Integration/Translation on the Data Level / 4.1.3:
Representation and Reasoning Components / 4.2:
Ontologies / 4.2.1:
Description Logics / 4.2.2:
Reasoning Components / 4.2.3:
Semantic Translation / 4.3:
Context Transformation by Rules / 4.3.1:
Context Transformation by Re-classification / 4.3.2:
Example: Translation ATKIS-CORINE Land Cover / 4.4:
Spatial Representation and Reasoning / 5:
Intuitive Spatial Labeling / 5.1:
Place Names, Gazetteers and Footprints / 5.1.2:
Place Name Structures / 5.1.3:
Spatial Relevance / 5.1.4:
Polygonal Tessellation / 5.1.5:
Place Names / 5.2.2:
Spatial Relevance Reasoning / 5.2.3:
Temporal Representation and Reasoning / 5.4:
Intuitive Labeling / 6.1:
Time Interval Boundaries / 6.1.2:
Structures / 6.1.3:
Explicit Qualitative Relations / 6.1.4:
Period Names / 6.2:
Boundaries / 6.2.3:
Relations / 6.2.4:
Temporal Relevance / 6.3:
Distance Between Time Intervals / 6.3.1:
Overlapping of Time Periods / 6.3.2:
Relations Between Boundaries / 6.4:
Relations Between Two Time Periods / 6.4.2:
Relations Between More Than Two Time Periods / 6.4.3:
Qualitative Statements / 6.5:
Quantitative Statements / 6.5.2:
Inconsistencies (Quantitative/Qualitative) / 6.5.3:
Inconsistencies (Reasoner Implicit/Qualitative) / 6.5.4:
Inconsistencies (Qualitative/Quantitative) / 6.5.5:
Implementation, Conclusion, and Future Work / Part III:
Implementation Issues and System Demonstration / 7:
Architecture / 7.1:
Single Queries / 7.2:
Terminological Queries / 7.2.1:
Spatial Queries / 7.2.2:
Temporal Queries / 7.2.3:
Combined Queries / 7.3:
Spatio-terminological Queries / 7.3.1:
Temporal-Terminological Queries / 7.3.2:
Spatio-temporal-terminological Queries / 7.3.3:
Conclusion and Future Work / 8:
Conclusion / 8.1:
Semantic Web / 8.1.1:
BUSTER Approach and System / 8.1.2:
Future Work / 8.2:
Terminological Part / 8.2.1:
Spatial Part / 8.2.2:
Temporal Part / 8.2.3:
References
Introduction and Related Work / Part I:
Introduction / 1:
Semantic Web Vision / 1.1:
6.

図書

図書
Rod Downey, Michael Fellows, Frank Dehne (eds.)
出版情報: Berlin : Springer, c2004  x, 290 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3162
所蔵情報: loading…
目次情報: 続きを見る
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
Computing Small Search Numbers in Linear Time / Hans L. Bodlaender ; Dimitrios M. Thilikos
Bounded Fixed-Parameter Tractability: The Case 2poly(k) / Mark Weyer
Refined Memorisation for Vertex Cover / L. Sunil Chandran ; Fabrizio Grandoni
Parameterized Graph Separation Problems / Dániel Marx
Parameterized Coloring Problems on Chordal Graphs
On Decidability of MSO Theories of Representable Matroids / Petr Hliněný ; Detlef Seese
On Miniaturized Problems in Parameterized Complexity Theory / Yijia Chen ; Jörg Flum
Smaller Kernels for Hitting Set Problems of Constant Arity / Naomi Nishimura ; Prabhakar Ragde
Packing Edge Disjoint Triangles: A Parameterized View / Luke Mathieson ; Elena Prieto ; Peter Shaw
Looking at the Stars / Christian Sloper
Moving Policies in Cyclic Assembly-Line Scheduling / Matthias Müller-Hannemann ; Karsten Weihe
A Structural View on Parameterizing Problems: Distance from Triviality / Jiong Guo ; Falk Hüffner ; Rolf Niedermeier
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable / Jens Gramm ; Till Nierhoff ; Till Tantau
Simplifying the Weft Hierarchy / Jonathan F. Buss ; Tarique Islam
The Minimum Weight Triangulation Problem with Few Inner Points / Yoshio Okamoto
A Direct Algorithm for the Parameterized Face Cover Problem / Faisal N. Abu-Khzam ; Michael A. Langston
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets / Michael R. Fellows ; Stefan Szeider ; Graham Wrightson
Parameterized Algorithms for Feedback Vertex Set / Iyad Kanj ; Michael Pelsmajer ; Marcus Schaefer
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms / Sergey S. Fedin ; Alexander S. Kulikov
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments / Venkatesh Raman ; Saket Saurabh
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover / Frank Dehne ; Mike Fellows ; Frances Rosamond
Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk) / Gerhard J. Woeginger
Practical FPT Implementations and Applications (Invited Talk) / Mike Langston
Author Index
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
7.

図書

図書
Ana L.C. Bazzan, Sofiane Labidi (eds.)
出版情報: Berlin : Springer, c2004  xvii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3171 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Using Relevance to Speed Up Inference. Some Empirical Results / Joselyto Riani ; Renata Wassermann
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic / Gabriel Aguilera ; Pablo Cordero ; Manuel Enciso ; Angel Mora ; Inmaculada Perez de Guzmán
Reasoning About Requirements Evolution Using Clustered Belief Revision / Odinaldo Rodrigues ; Artur d'Avila Garcez ; Alessandra Russo
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach / Peep Küngas
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning / Silvio do Lago Pereira ; Leliane Nunes de Barros
High-Level Robot Programming: An Abductive Approach Using Event Calculus
Search, Reasoning, and Uncertainty
Word Equation Systems: The Heuristic Approach / César Luis Alonso ; Fátima Drubi ; Judith Gómez-García ; José Luis Montaña
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation / Carlos Castro ; Michael Moossen ; María Cristina Riff
Machine Learned Heuristics to Improve Constraint Satisfaction / Marco Correia ; Pedro Barahona
Towards a Natural Way of Reasoning / José Carlos Loureiro Ralha ; Célia Ghedini Ralha
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? / Ricardo S. Silvestre ; Tarcísio H. C. Pequeno
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests / Julio Michael Stern
Knowledge Representation and Ontologies
An Ontology for Quantities in Ecology / Virgínia Brilhante
Using Color to Help in the Interactive Concept Formation / Vasco Furtado ; Alexandre Cavalcante
Propositional Reasoning for an Embodied Cognitive Model / Jerusa Marchi ; Guilherme Bittencourt
A Unified Architecture to Develop Interactive Knowledge Based Systems / Vládia Pinheiro ; Elizabeth Furtado
Natural Language Processing
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts / Helena de Medeiros Caseli ; Aline Maria da Paz Silva ; Maria das Graças Volpe Nunes
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections / Marcirio Silveira Chaves ; Vera Lúcia Strube de Lima
Dialog with a Personal Assistant / Fabrício Enembreck ; Jean-Paul Barthès
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing / Valéria D. Feltrim ; Jorge M. Pelizzoni ; Simone Teufel ; Sandra M. Aluísio
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese / Carlos Nascimento Silla Jr. ; Celso Antônio Alves Kaestner ; Michael Pombo
Machine Learning, Knowledge Discovery, and Data Mining
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning / Reinaldo A.C. Bianchi ; Carlos H.C. Ribeiro ; Anna H.R. Costa
Using Concept Hierarchies in Knowledge Discovery / Marco Eugênio Madeira Di Beneditto
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances / Francisco de A.T. de Carvalho ; Renata M.C.R. de Souza ; Fabio C.D. Silva
An Efficient Clustering Method for High-Dimensional Data Mining / Jae- Woo Chang ; Yong-Ki Kim
Learning with Drift Detection / João Gama ; Pedro Medas ; Gladys Castillo ; Pedro Rodrigues
Learning with Class Skews and Small Disjuncts / Ronaldo C. Prati ; Gustavo E.A.P.A. Batista ; Maria Carolina Monard
Making Collaborative Group Recommendations Based on Modal Symbolic Data / Sérgio R. de M. Queiroz
Search-Based Class Discretization for Hidden Markov Model for Regression / Kate Revoredo ; Gerson Zaverucha
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries / Marcelino Pereira dos Santos Silva ; Jacques Robin
Evolutionary Computation, Artificial Life, and Hybrid Systems
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life / Angelo Loula ; Ricardo Gudwin ; João Queiroz
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms / Rui Mendes ; José Neves
Splinter: A Generic Framework for Evolving Modular Finite State Machines / Ricardo Nastas Acras ; Silvia Regina Vergilio
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs / Ana Carolina Lorena ; André C. Ponce de Leon F. de Carvalho
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms / Joaquín Pérez O. ; Rodolfo A. Pazos R. ; Graciela Mora O. ; Guadalupe Castilla V. ; José A. Martínez. ; Vanesa Landero N. ; Héctor Fraire H. ; Juan J. González B.
Detecting Promising Areas by Evolutionary Clustering Search / Alexandre C.M. Oliveira ; Luiz A.N. Lorena
A Fractal Fuzzy Approach to Clustering Tendency Analysis / Sarajane Marques Peres ; Márcio Luiz de Andrade Netto
On Stopping Criteria for Genetic Algorithms / Martín Safe ; Jessica Carballido ; Ignacio Ponzoni ; Nélida Brignole
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules / Pablo Alberto de Castro ; Heloisa A. Camargo
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β-TSK Fuzzy Revision Method for CBR Systems / Florentino Fdez-Riverola ; Fernando Díaz ; Juan M. Corchado
Robotics and Computer Vision
Forgetting and Fatigue in Mobile Robot Navigation / Luís Correia ; António Abreu
Texture Classification Using the Lempel-Ziv-Welch Algorithm / Leonardo Vidal Batista ; Moab Mariz Meira
A Clustering-Based Possibilistic Method for Image Classification / Isabela Drummond ; Sandra Sandri
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results / Hemerson Pistori ; João José Neto
Autonomous Agents and Multi-agent Systems
Recent Advances on Multi-agent Patrolling / Alessandro Almeida ; Geber Ramalho ; Hugo Santana ; Patrícia Tedesco ; Talita Menezes ; Vincent Corruble ; Yann Chevaleyre
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games / Eduardo Camponogara
Norm Consistency in Electronic Institutions / Marc Esteva ; Wamberto Vasconcelos ; Carles Sierra ; Juan A. Rodríguez-Aguilar
Using the <$>{\cal M}<$>oise+ for a Cooperative Framework of MAS Reorganisation / Jomi Fred Hübner ; Jaime Simão Sichman ; Olivier Boissier
A Paraconsistent Approach for Offer Evaluation in Negotiations / Fabiano M. Hasegawa ; Bráulio C. Ávila ; Marcos Augusto H. Shmeil
Sequential Bilateral Negotiation / Orlando Pinho Jr. ; Gustavo de Paula
Towards to Similarity Identification to Help in the Agents' Negotiation / Andreia Malucelli ; Eugénio Oliveira
Author Index
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
8.

図書

図書
Bernhard Steffen, Giorgia Levi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2937
所蔵情報: loading…
目次情報: 続きを見る
Tutorial
Security, Protocols, and Trust / J.D. Guttman
Security
Security Types Preserving Compilation / G. Barthe ; A. Basu ; T. Rezk
History-Dependent Scheduling for Cryptographic Processes / V. Vanackere
Construction of a Semantic Model for a Typed Assembly Language / G. Tan ; A.W. Appel ; K.N. Swadi ; D. WuFormal Methods I:
Rule-Based Runtime Verification / H. Barringer ; A. Goldberg ; K. Havelund ; K. Sen
Invited Talk
On the Expressive Power of Canonical Abstraction / M. Sagiv
Miscellaneous
Boolean Algebra of Shape Analysis Constraints / V. Kuncak ; M. Rinard
Model Checking
Approximate Probabilistic Model Checking / T. Hérault ; R. Lassaigne ; F. Magniette ; S. Peyronnet
Completeness and Complexity of Bounded Model Checking / E. Clarke ; D. Kroening ; J. Ouaknine ; O. Strichman
Model Checking for Object Specifications in Hidden Algebra / D. Lucanu ; G. Ciobanu
Model Checking Polygonal Differential Inclusions Using Invariance Kernels / G.J. Pace ; G. SchneiderFormal Methods II:
Checking Interval Based Properties for Reactive Systems / P. Yu ; X. Qiwen
Widening Operators for Powerset Domains / R. Bagnara ; P.M. Hill ; E. Zaffanella
Software Checking
Type Inference for Parameterized Race-Free Java / R. Agarwal ; S.D. Stoller
Certifying Temporal Properties for Compiled C Programs / S. Xia ; J. Hook
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking / J. Hatcliff ; Robby ; M.B. Dwyer
Static Analysis versus Software Model Checking for Bug Finding / D. Engler ; M. Musuvathi
Automatic Inference of Class Invariants / F. Logozzo
Liveness and Completeness
Liveness with Invisible Ranking / Y. Fang ; N. Piterman ; A. Pnueli ; L. Zuck
A Complete Method for the Synthesis of Linear Ranking Functions / A. Podelski ; A. Rybalchenko
Symbolic Implementation of the Best Transformer / T. Reps ; G. Yorsh
Constructing Quantified Invariants via Predicate Abstraction / S.K. Lahiri ; R.E. BryantFormal Methods III:
Analysis of Recursive Game Graphs Using Data Flow Equations / K. Etessami
Applying Jlint to Space Exploration Software / C. Artho
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone / R. Wilhelm
Key Note
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal / D. Harel
Author Index
Tutorial
Security, Protocols, and Trust / J.D. Guttman
Security
9.

図書

図書
Georg Lausen, Dan Suciu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2921
所蔵情報: loading…
10.

図書

図書
Paolo Giorgini, Jörg P. Müller, James Odell (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 245 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2935
所蔵情報: loading…
11.

図書

図書
Holger Karl, Andreas Willig, Adam Wolisz, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 363 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2920
所蔵情報: loading…
目次情報: 続きを見る
Power Sources for Wireless Sensor Networks / Shad Roundy ; Dan Steingart ; Luc Frechette ; Paul Wright ; Jan Rabaey
Matrix Pencil for Positioning in Wireless Ad Hoc Sensor Network / Liang Song ; Raviraj Adve ; Dimitrios Hatzinakos
Tracking Real-World Phenomena with Smart Dust / Kay Römer
Networked Slepian-Wolf: Theory and Algorithms / Razvan Cristescu ; Baltasar Beferull-Lozano ; Martin Vetterli
WSDP: Efficient, Yet Reliable, Transmission of Real-Time Sensor Data over Wireless Networks / Arasch Honarbacht ; Anton Kummert
Context-Aware Sensors / Eiman Elnahrawy ; Badri Nath
Analysis of Node Energy Consumption in Sensor Networks / Katja Schwieger ; Heinrich Nuszkowski ; Gerhard Fettweis
Silence Is Golden with High Probability: Maintaining a Connected Backbone in Wireless Sensor Networks / Paolo Santi ; Janos Simon
Topology Transparent Support for Sensor Networks / Robert Simon ; Emerson Farrugia
Structured Communication in Single Hop Sensor Networks / Amol Bakshi ; Viktor K. Prasanna
ACE: An Emergent Algorithm for Highly Uniform Cluster Formation / Haowen Chan ; Adrian Perrig
Improving the Energy Efficiency of Directed Diffusion Using Passive Clustering / Vlado Handziski ; Andreas Kopke ; Holger Karl ; Christian Frank ; Witold Drytkiewicz
The XCast Approach for Content-Based Flooding Control in Distributed Virtual Shared Information Spaces-Design and Evaluation / Jochen Koberstein ; Florian Reuter ; Norbert Luttenberger
A Novel Mechanism for Routing in Highly Mobile Ad Hoc Sensor Networks / Jane Tateson ; Ian W. Marshall
Building Blocks of Energy and Cost Efficient Wireless Sensor Networks / Amer Filipovic ; Amitava Datta
Max-Min Length-Energy-Constrained Routing in Wireless Sensor Networks / Rajgopal Kannan ; Lydia Ray ; Ram Kalidindi ; S.S. Iyengar
Design of Surveillance Sensor Grids with a Lifetime Constraint / Wonjong Noh ; Kyungsoo Lim ; Jihoon Lee ; Sunshin An ; Vivek Mhatre ; Catherine Rosenberg ; Daniel Kofman ; Ravi Mazumdar ; Ness Shroff
Design of a Secure Distributed Service Directory for Wireless Sensornetworks / Hans-Joachim Hof ; Erik-Oliver Blaß ; Thomas Fuhrmann ; Martina Zitterbart
Embedding Low-Cost Wireless Sensors into Universal Plug and Play Environments / Yvonne Gsottberger ; Xiaolei Shi ; Guido Stromberg ; Thomas F. Sturm ; Werner Weber
Lessons from a Sensor Network Expedition / Robert Szewczyk ; Joseph Polastre ; Alan Mainwaring ; David Culler
Prototyping Wireless Sensor Network Applications with BTnodes / Jan Beutel ; Oliver Kasten ; Friedemann Mattern ; Kay Romer ; Frank Siegemund ; Lothar Thiele
A Real-World, Simple Wireless Sensor Network for Monitoring Electrical Energy Consumption / Cornelia Kappler ; Georg Riegel
Reliable Set-Up of Medical Body-Sensor Networks / H. Baldus ; K. Klabunde ; G. Musch
Author Index
Power Sources for Wireless Sensor Networks / Shad Roundy ; Dan Steingart ; Luc Frechette ; Paul Wright ; Jan Rabaey
Matrix Pencil for Positioning in Wireless Ad Hoc Sensor Network / Liang Song ; Raviraj Adve ; Dimitrios Hatzinakos
Tracking Real-World Phenomena with Smart Dust / Kay Römer
12.

図書

図書
Nicu Sebe, Michael S. Lew, Thomas S. Huang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 232 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3058
所蔵情報: loading…
13.

図書

図書
Alessio Lomuscio, Donald Nute (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 274 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3065 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
Jing Chen, Seongsoo Hong (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 620 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2968
所蔵情報: loading…
15.

図書

図書
John Shawe-Taylor, Yoram Singer (eds.)
出版情報: Berlin : Springer, c2004  x, 645 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3120 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書

図書
Albert Llamosí, Alfred Strohmeier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3063
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Benefits and Problems of Formal Methods / Martin Gogolla
On the Role of Conceptual Schemas in Information Systems Development / Antoni Olivé
An Overview of Middleware / Steve Vinoski
Static Analysis
Static Deadlock Detection in the Linux Kernel / Peter T. Breuer ; Marisol García Valls
Extracting Ada 95 Objects from Legacy Ada Programs / Ricky E. Sward
On the Tree Width of Ada Programs / Bernd Burgstaller ; Johann Blieberger ; Bernhard Scholz
Distributed Systems
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems / Juan López Campos ; J. Javier Gutierrez ; Michael González Harbour
Polyorb: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications / Thomas Vergnaud ; Jérôme Hugues ; Laurent Pautet ; Fabrice Kordon
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements / Stepan P. Nadrchal
Real-Time Systems
Implementing Execution-Time Clocks for the Ada Ravenscar Profile / Juan Zamorano ; Alejandro Alonso ; José Antonio Pulido ; Juan Antonio de la Puente
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux / Miguel Masmano ; Jorge Real ; Ismael Ripoll ; Alfons Crespo
Supporting Deadlines and EDF Scheduling in Ada / Alan Burns ; Andy J. Wellings ; S. Tucker Taft
Reflection and XML
OpenAda: Compile-Time Reflection for Ada 95 / Patrick Rogers
XML4Ada95 Accessing XML Using the DOM in Ada95 / Zdenko Vrandečić ; Daniel Simon
Testing
A Randomised Test Approach to Testing Safety Critical Ada Code / Sukant K. Giri ; Atit Mishra ; Yogananda V. Jeppu ; Kundapur Karunakar
Good Random Testing / Kwok Ping Chan ; Tsong Yueh Chen ; Dave Towey
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada / Bárbara Álvarez ; Juan A. Pastor ; Francisco Ortiz ; Pedro Sánchez ; Pedro Navarro
Critical Systems Modeling
High Integrity Ada in a UML and C World / Peter Amey ; Neil White
Ada Meets Giotto / Helge Hagenauer ; Norbert Martinek ; Werner Pohlmann
High-Integrity Interfacing to Programmable Logic with Ada / Adrian J. Hilton ; Jon G. Hall
Scheduling
Dynamic Ceiling Priorities: A Proposal for Ada0Y / Javier Miranda ; Edmond Schonberg
Mixing Scheduling Policies in Ada / Agustín Espinosa Minguet ; Ana García-Fornes ; Vicente Lorente Garcés ; Andrés Terrasa Barrena
Implementing an Application-Defined Scheduling Framework for Ada Tasking / Mario Aldea
Application Programming Interfaces
A Theory of Persistent Containers and Its Application to Ada / Mário Amado Alves
Shortcuts: A Critical Look / Matthew Heaney
Vector Processing in Ada / Franco Gasperoni
Author Index
Invited Papers
Benefits and Problems of Formal Methods / Martin Gogolla
On the Role of Conceptual Schemas in Information Systems Development / Antoni Olivé
17.

図書

図書
Anne Persson, Janis Stirna (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 596 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3084
所蔵情報: loading…
18.

図書

図書
Jutta Eckstein, Hubert Baumeister (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xv, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3092
所蔵情報: loading…
19.

図書

図書
Frank van der Linden (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  ix, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3014
所蔵情報: loading…
20.

図書

図書
Hsinchun Chen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xv, 536 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3073
所蔵情報: loading…
目次情報: 続きを見る
Full Papers / Part I:
Bioterrorism and Disease Informatics
Aligning Simulation Models of Smallpox Outbreaks / Li-Chiou Chen ; Boris Kaminsky ; Tiffany Tummino ; Kathleen M. Carley ; Elizabeth Casman ; Douglas Fridsma ; Alex Yahja
Data Analytics for Bioterrorism Surveillance / Donald J. Berndt ; Sunil Bhat ; John W. Fisher ; Alan R. Hevner ; James Studnicki
West Nile Virus and Botulism Portal: A Case Study in Infectious Disease Informatics / Daniel Zeng ; Hsinchun Chen ; Chunju Tseng ; Catherine Larson ; Millicent Eidson ; Ivan Gotham ; Cecil Lynch ; Michael Ascher
Data Access Control, Privacy, and Trust Management
A Novel Policy and Information Flow Security Model for Active Network / Zhengyou Xia ; Yichuan Jiang ; Yiping Zhong ; Shiyong Zhang
A Novel Autonomous Trust Management Model for Mobile Agents
Privacy-Preserving Inter-database Operations / Gang Liang ; Sudarshan S. Chawathe
Data Management and Mining
Finding Unusual Correlation Using Matrix Decompositions / David B. Skillicorn
Generating Concept Hierarchies from Text for Intelligence Analysis / Jenq-Haur Wang ; Chien-Chung Huang ; Jei-Wen Teng ; Lee-Feng Chien
Interactive Query Languages for Intelligence Tasks / Antonio Badia
Terrorism Knowledge Discovery Project: A Knowledge Discovery Approach to Addressing the Threats of Terrorism / Edna Reid ; Jialun Qin ; Wingyan Chung ; Jennifer Xu ; Yilu Zhou ; Rob Schumaker ; Marc Sageman
The Architecture of the Cornell Knowledge Broker / Alan Demers ; Johannes Gehrke ; Mirek Riedewald
Deception Detection
Computer-Based Training for Deception Detection: What Users Want? / Jinwei Cao ; Ming Lin ; Amit Deokar ; Judee K. Burgoon ; Janna M. Crews ; Mark Adkins
Identifying Multi-ID Users in Open Forums / Hung-Ching Chen ; Mark Goldberg ; Malik Magdon-Ismail
Self-efficacy, Training Effectiveness, and Deception Detection: A Longitudinal Study of Lie Detection Training / Kent Marett ; David P. Biros ; Monti L. Knode
Information Assurance and Infrastructure Protection
Composite Role-Based Monitoring (CRBM) for Countering Insider Threats / Joon S. Park ; Shuyuan Mary Ho
Critical Infrastructure Integration Modeling and Simulation / William J. Tolone ; David Wilson ; Anita Raja ; Wei-ning Xiang ; Huili Hao ; Stuart Phelps ; E. Wray Johnson
Mining Normal and Intrusive Activity Patterns for Computer Intrusion Detection / Xiangyang Li ; Nong Ye
The Optimal Deployment of Filters to Limit Forged Address Attacks in Communication Networks / Enoch Chisonge Mofya ; Jonathan Cole Smith
Monitoring and Surveillance
A Tool for Internet Chatroom Surveillance / Ahmet (famtepe ; Muhhai S. Krishnamoorthy ; Bulent Yener
ChatTrack: Chat Room Topic Detection Using Classification / Jason Bengel ; Susan Gauch ; Eera Mittur ; Rajan Vijayaraghavan
SECRETS : A Secure Real-Time Multimedia Surveillance System / Naren Kodali ; Csilla Farhas ; Duminda Wijesehera
Studying E-Mail Graphs for Intelligence Monitoring and Analysis in the Absence of Semantic Information / Petros Drineas ; Mukkai S. Krishnamoorthy ; Michael D. Sofka ; Bülent Yener
THEMIS: Threat Evaluation Metamodel for Information Systems / Csilla Farkas ; Thomas C. Wingfield ; James B. Michael ; Duminda Wijesekera
Security Policies and Evaluation
IT Security Risk Management under Network Effects and Layered Protection Strategy / Chris C. Demchak ; Kurt D. Fenstermacher ; Wei T. Yue ; Metin Cakanyildirim ; Young U. Ryu ; Dengpan Liu
Mind the Gap: The Growing Distance between Institutional and Technical Capabilities in Organizations Performing Critical Operations / Gene I. Rochlin
Social Network Analysis
Analyzing and Visualizing Criminal Network Dynamics: A Case Study / Byron Marshall ; Siddharth Kaza
Discovering Hidden Groups in Communication Networks / Jeff Baumes ; William Al Wallace
Generating Networks of Illegal Drug Users Using Large Samples of Partial Ego-Network Data / Ju-Sung Lee
Short Papers / Part II:
Using Speech Act Profiling for Deception Detection / Douglas P. Twitchell ; Jay F. Nunamaker Jr.
Testing Various Modes of Computer-Based Training for Deception Detection / Joey F. George
Data/Text Management and Mining
The Use of Data Mining Techniques in Operational Crime Fighting / Richard Adderley
Spatial Forecast Methods for Terrorist Events in Urban Environments / Donald Brown ; Jason Dalton ; Heidi Hoyle
Web-Based Intelligence Notification System: Architecture and Design / Alexander Dolotov ; Mary Strickler
Cross-Lingual Semantics for Crime Analysis Using Associate Constraint Network / Christopher C. Yang ; Kar Wing Li
Experimental Studies Using Median Polish Procedure to Reduce Alarm Rates in Data Cubes of Intrusion Data / Jorge Levera ; Benjamin Barán ; Robert Grossman
Information Sharing and Collaboration Policies within Government Agencies / Homa Atabakhsh ; Tim Petersen ; Chuck Violette
Intrusion-Tolerant Intrusion Detection System / Myung-Kyu Yi ; Chong-Sun Hwang
Optimal Redundancy Allocation for Disaster Recovery Planning in the Network Economy / Benjamin B.M. Shao
Semantic Analysis for Monitoring Insider Threats / Svetlana Symonenko ; Elizabeth D. Liddy ; Ozgur Yilmazel ; Robert Del Zoppo ; Eric Brown ; Matt Downey
Towards a Social Network Approach for Monitoring Insider Threats to Information Security / Anand Natarajan ; Liaquat Hossain
Extended Abstracts for Posters / Part III:
Policy-Based Information Sharing with Semantics / Eric Hughes ; Amy Kazura ; Arnie Rosenthal
Determining the Gender of the Unseen Name through Hyphenation / Robert H. Warren ; Christopher Leurer
A Framework for a Secure Federated Patient Healthcare System / Raj Sharman ; Himabindu Challapalli ; Raghav H. Rao ; Shambhu Upadhyaya
Vulnerability Analysis and Evaluation within an Intranet / Eungki Park ; Jung-Taek Seo ; Eul Gyu Im ; Cheol-Won Lee
Security Informatics: A Paradigm Shift in Information Technology Education / Susan M. Merritt ; Allen Stix ; Judith E. Sullivan
Research of Characteristics of Worm Traffic / Yufeng Chen ; Yabo Dong ; Dongming Lu ; Zhengtao Xiang
Panel Discussion Papers / Part IV:
MIPT: Sharing Terrorism Information Resources / James O. Ellis III
Post-9/11 Evolution of Al Qaeda / Rohan Gunaratna
Utilizing the Social and Behavioral Sciences to Assess, Model, Forecastand Preemptively Respond to Terrorism / Joshua Sinai
Author Index
Full Papers / Part I:
Bioterrorism and Disease Informatics
Aligning Simulation Models of Smallpox Outbreaks / Li-Chiou Chen ; Boris Kaminsky ; Tiffany Tummino ; Kathleen M. Carley ; Elizabeth Casman ; Douglas Fridsma ; Alex Yahja
21.

図書

図書
Bart Kuijpers, Peter Revesz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 180 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3074
所蔵情報: loading…
22.

図書

図書
Stéphane Cotin, Dimitris Metaxas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xvi, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3078
所蔵情報: loading…
23.

図書

図書
Markus Jakobsson, Moti Yung, Jianying Zhou (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 510 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3089
所蔵情報: loading…
24.

図書

図書
João Leite ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2990 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書

図書
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 538 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3049
所蔵情報: loading…
26.

図書

図書
Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  226 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2975
所蔵情報: loading…
27.

図書

図書
Christian Lengauer ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3016
所蔵情報: loading…
目次情報: 続きを見る
Surveys
The Road to Utopia: A Future for Generative Programming / Don Batory
From a Program Family to a Domain-Specific Language / Charles Consel
A Gentle Introduction to Multi-stage Programming / Walid Taha
DSL Implementation in MetaOCaml, Template Haskell, and C++ / Krzysztof Czarnecki ; John T. O'Donnell ; Jörg Striegnitz
Program Optimization in the Domain of High-Performance Parallelism / Christian Lengauer
A Personal Outlook on Generator Research (A Position Paper) / Yannis Smaragdakis
Domain-Specific Languages
Generic Parallel Programming Using C++ Templates and Skeletons / Holger Bischof ; Sergei Gorlatch ; Roman Leshchinskiy
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain / Kevin Hammond ; Greg Michaelson
Embedding a Hardware Description Language in Template Haskell
A DSL Paradigm for Domains of Services: A Study of Communication Services / Laurent Révèillere
PiLib: A Hosted Language for Pi-Calculus Style Concurrency / Vincent Cremet ; Martin Odersky
Tools for Program Generation
A Language and Tool for Generating Efficient Virtual Machine Interpreters / David Gregg ; M. Anton Ertl
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 / Eelco Visser
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax / Bernd Fischer
Domain-Specific Optimization
Optimizing Sequences of Skeleton Calls / Herbert Kuchen
Domain-Specific Optimizations of Composed Parallel Components
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation / Olav Beckmann ; Alastair Houghton ; Michael Mellor ; Paul H.J. Kelly
Guaranteed Optimization for Domain-Specific Programming / Todd L. Veldhuizen
Author Index
Surveys
The Road to Utopia: A Future for Generative Programming / Don Batory
From a Program Family to a Domain-Specific Language / Charles Consel
28.

図書

図書
Rastislav Královič, Ondrej Sýkora (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 302 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3104
所蔵情報: loading…
29.

図書

図書
Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 205 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3030 . Lecture notes in artificial intelligence
所蔵情報: loading…
30.

図書

図書
Josep Domingo-Ferrer, Vicenç Torra (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  ix, 365 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3050
所蔵情報: loading…
31.

図書

図書
Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3051
所蔵情報: loading…
32.

図書

図書
Leszek Rutkowski ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xxv, 1208 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3070 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
Uncertain Variables and Systems - New Problems and Results / Zdzislaw Bubnicki
Blind Signal Separation and Extraction: Recent Trends, Future Perspectives, and Applications / Andrzej Cichocki ; Jacek M. Zurada
Visualization of Hidden Node Activity in Neural Networks: I. Visualization Methods / Włodzisław Duch
Visualization of Hidden Node Activity in Neural Networks: II. Application to RBF Networks
Rough Set Approach to Incomplete Data / Jerzy W. Grzymala-Busse
Neural Networks of Positive Systems / Tadeusz Kaczorek
Support of Natural, by Artificial, Intelligence Using Utility as Behavioral Goal / Roman Kulikowski
Top-Down Selective Attention for Robust Perception of Noisy and Confusing Patterns / Soo-Young Lee
On ANN Based Solutions for Real-World Industrial Requirements / Kurosh Madani
ActiveMath: An Intelligent Tutoring System for Mathematics / Erica Melis ; Jörg Siekmann
Inference Rules and Decision Rules / Zdzisław Pawlak
Survival of Intelligent Agents in Changing Environments / Šarūnas Raudys
Inducing Robust Decision Rules from Rough Approximations of a Preference Relation / Roman Slowinski ; Salvatore Greco
The New Concept in Computer Vision: Automatic Understanding of the Images / Ryszard Tadeusiewicz ; Marek R. Ogiela
Neural Networks and Their Applications
Dynamic High Order Neural Networks: Application for Fault Diagnosis / Eugen Arinton ; Jóozef Korbicz
Momentum Modification of the RLS Algorithms / Jarosław Bilski
Parallel Realisation of QR Algorithm for Neural Networks Learning / Sławomir Litwiński ; Jacek Smol&acedil;g
Rainfall-Runoff Modelling Using Three Neural Network Methods / H. Kerem Cigizoglu ; Murat Alp
Probability Distribution of Solution Time in ANN Training Using Population Learning Algorithm / Ireneusz Czarnowski ; Piotr J&ecedil;drzejowicz
Parallelization of the SOM-Based Integrated Mapping / Gintautas Dzemyda ; Olga Kurasova
Training Radial Basis Functions by Gradient Descent / Mercedes Fernández-Redondo ; Carlos Hernández-Espinosa ; Mamen Ortiz-Gómez ; Joaquín Torres-Sospedra
Generalized Backpropagation through Time for Continuous Time Neural Networks and Discrete Time Measurements / Krzysztof Fujarewicz ; Adam Galuszka
Experiments on Ensembles of Radial Basis Functions
Orthodoxy Basis Functions and Convergence Property in Procedure Neural Networks / Jiong Jia ; Jiuzhen Liang
Confidence Estimation of GMDH Neural Networks / Józef Korbicz ; Mihai F. Metenidis ; Marcin Mrugalski ; Marcin Witczak
On Some Factors Influencing MLP Error Surface / Mirosław Kordos
Discovery of Linguistic Rules by Means of RBF Network for Fault Detection in Electronic Circuits / Jan Koszlaga ; Pawel Strumillo
Combining Space-Filling Curves and Radial Basis Function Networks / Adam Krzyżak ; Ewa Skubalska-Rafajłowicz
Chaotic Itinerancy for Patterns Separation / Paweł Matykiewicz
Dynamic Search Trajectory Methods for Neural Network Training / Y.G. Petalas ; D.K. Tasoulis ; M.N. Vrahatis
Visualizing and Analyzing Multidimensional Output from MLP Networks via Barycentric Projections / Filip Pi&ecedil;kniewski ; Leszek Rybicki
Optimization of Centers' Positions for RBF Nets with Generalized Kernels / E. Rafajłowicz ; M. Pawlak
Fixed Non-linear Combining Rules versus Adaptive Ones / Sarunas Raudys ; Zidrina Pabarskaite
Learning and System Modeling via Hamiltonian Neural Networks / Wieslaw Sienko ; Wieslaw Citko ; Dariusz Jakóbczak
Recurrent Network Structure for Computing Quasi-inverses of the Sierpiński Space-Filling Curves
Fuzzy Systems and Their Applications
Comparison of Reasoning Methods for Fuzzy Control / Bohdan Butkiewicz
Fuzzy Modelling with a Compromise Fuzzy Reasoning / Krzysztof Cpalka ; Leszek Rutkowski
A Self Tuning Fuzzy Inference System for Noise Reduction / Nevcihan Duru ; Tarik Duru
Fuzzy-Neural Networks in the Diagnosis of Motor-Car's Current Supply Circuit / Stanisław Gad ; Mariusz łaskawski ; Grzegorz Słoń ; Alexander Yastrebov ; Andrzej Zawadzki
Fuzzy Number-Based Hierarchical Fuzzy System / Adam E. Gaweda ; Rafał Scherer
Stock Trend Prediction Using Neurofuzzy Predictors Based on Brain Emotional Learning Algorithm / Mahdi Jalili-Kharaajoo
Digital Implementation of Fuzzy Petri Net Based on Asynchronous Fuzzy RS Flip Flop / Jacek Kluska ; Zbigniew Hajduk
Fuzzy Calculator - Useful Tool for Programming with Fuzzy Algebra / Roman Koleśnik ; Piotr Prokopowicz ; Witold Kosiński
On Defuzzyfication of Ordered Fuzzy Numbers
Information Criterions Applied to Neuro-Fuzzy Architectures Design / Robert Nowicki ; Agata Pokropińska
On Hesitation Degrees in IF-Set Theory / Anna Pankowska ; Maciej Wygralak
Fuzzy Cognitive Maps Learning through Swarm Intelligence / E.I. Papageorgiou ; K.E. Parsopoulos ; P.P. Groumpos
Application of the General Gaussian Membership Function for the Fuzzy Model Parameters Tunning / Andrzej Pieczyński ; Andrzej Obuchowicz
Are Linguistic Evaluations Used by People of Possibilistic or Probabilistic Nature? / Andrzej Piegat
Fuzzy Linear Programming in Ship Trajectory Optimization in a Restricted Area / Zbigniew Pietrzykowski
Application of Fuzzy Weighted Feature Diagrams to Model Variability in Software Families / Silva Robak
Neuro-Fuzzy Relational Classifiers
What Differs Interval Type-2 FLS from Type-1 FLS? / Janusz T. Starczewski
A Similarity Measure for Intuitionistic Fuzzy Sets and Its Application in Supporting Medical Diagnostic Reasoning / Eulalia Szmidt ; Janusz Kacprzyk
Evolutionary Algorithms and Their Applications
Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments / Jerzy Balicki
Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time / Wojciech Bożejko ; Mieczysław Wodecki
Adaptive Evolutionary Computation - Application for Mixed Linear Programming / Ewa Dudek-Dyduch ; Dominik Jarczyk
Adaptive Evolutionary Computation of the Parametric Optimization Problem / Tadeusz Dyduch
Concentration of Population in Phenotypic Evolution / Iwona Karcz-Dul&ecedil;ba
An Evolutionary Clustering Algorithm / Marcin Korzeń
An Evolutionary Algorithm for Oblique Decision Tree Induction / Marek Kretowski
Propagation of Building Blocks in SGA and MPGA / Grzegorz Kusztelak ; Marek Rudnicki ; Slawomir Wiak
Selection Pressure and an Efficiency of Neural Network Architecture Evolving / Halina Kwaśnicka ; Mariusz Paradowski
Rule Extraction from Neural Network by Genetic Algorithm with Pareto Optimization / Urszula Markowska-Kaczmar ; Paweł Wnuk-Lipiński
Graph Transformations in Evolutionary Design / Piotr Nikodem ; Barbara Strug
A Genetic Algorithm for Probabilistic SAT Problem / Zoran Ognjanović ; Uroš Midić ; Jozef Kratica
Design and Optimization of Combinational Digital Circuits Using Modified Evolutionary Algorithm / Adam Słowik ; Michał Białko
Modified Version of Roulette Selection for Evolution Algorithms - The Fan Selection
New Genetic Crossover Operator for the TSP / Sang-Moon Soak ; Byung-Ha Ahn
Rough Sets and Their Applications
Hybridization of Blind Source Separation and Rough Sets for Proteomic Biomarker Indemnification / Grzegorz M. Boratyn ; Tomasz G. Smolinski ; Mariofanna Milanova ; Sudeepa Bhattacharyya ; Larry J. Suva
Inducing Jury's Preferences in Terms of Acoustic Features of Violin Sounds / Jacek Jelonek ; Ewa łukasik ; Aleksander Naganowski ; Roman Słowiński
Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model / Alicja Mieszkowicz-Rolka ; Leszek Rolka
Fuzzyfication of Indiscernibility Relation for Structurizing Lists of Synonyms and Stop-Lists for Search Engines / A. Niewiadomski ; P. Kryger ; P.S. Szczepaniak
Rough Sets in the Neuro-Fuzzy Architectures Based on Monotonic Fuzzy Implications
Rough Sets in the Neuro-Fuzzy Architectures Based on Non-monotonic Fuzzy Implications
On L-Fuzzy Rough Sets / Anna Maria Radzikowska ; Etienne E. Kerre
Application of Rough Sets Techniques to Induction Machine Broken Bar Detection / M.R. Rafimanzelat ; B.N. Araabi
Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery / Darrel L. Chenoweth
Soft Computing in Classification
Selection of the Linearly Separable Feature Subsets / Leon Bobrowski ; Tomasz Lukaszuk
Short-Time Signal Analysis Using Pattern Recognition Methods / Piotr Boguś ; Katarzyna ; D. Lewandowska
Application of Genetic Algorithms and Kohonen Networks to Cluster Analysis / Marian B. Gorzałczany ; Filip Rudziński
Modified Kohonen Networks for Complex Cluster-Analysis Problems
Reducing the Computational Demands for Nearest Centroid Neighborhood Classifiers / Szymon Grabowski
SSV Criterion Based Discretization for Naive Bayes Classifiers / Krzysztof Gr&acedil;bczewski
Comparison of Instance Selection Algorithms II. Results and Comments / Marek Grochowski ; Norbert Jankowski
SBL-PM-M: A System for Partial Memory Learning / Karol Grudziński
Relevance LVQ versus SVM / Barbara Hammer ; Marc Strickert ; Thomas Villmann
Comparison of Instances Seletion Algorithms I. Algorithms Survey
Towards Grammatical Inferencing of GDPLL(k) Grammars for Applications in Syntactic Pattern Recognition-Based Expert Systems / Janusz Jurek
Intelligent Layer of Two-Way Voice Communication of the Technological Device with the Operator / Wojciech Kacalak ; Maciej Majewski
A Neural Network Based Method for Classification of Meteorological Data / K. Kaminski ; W. Kaminski ; P. Strumillo
An Empirical Test Suite for Message Authentication Evaluation in Communications Based on Support Vector Machines / D.A. Karras
Efficient Digital Fingerprint Production and Evaluation for Secure Communication Systems Based on Genetic Algorithms
On Chinese Web Page Classification
A New Fuzzy Clustering Method with Constraints in Time Domain / Jacek Leski ; Aleksander Owczarek
Special Cluster Analysis and Basic Feature Estimation with a Modification of Self-Organizing Map / Janusz Morajda
An Unsupervised Cluster Analysis and Information about the Modelling System / Izabela Rejer
Cursive-Character Script Recognition Using Toeplitz Model and Neural Networks / Khalid Saeed ; Marek Tabedzki
Learning with an Embedded Reject Option / Ramasubramanian Sundararajan ; Asim K. Pal
Image Processing
Impulsive Noise Suppression from Highly Corrupted Images by Using Resilient Neural Networks / Erkan Beşdok ; Pinar Çivicioğlu ; Mustafa Alçi
A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks / Giacomo Capizzi ; Salvatore Coco ; Antonio Laudani ; Giuseppe Pappalardo
Fuzzy Processing Technique for Content-Based Image Retrieval / Ryszard S. Choraś
Human Ear Identification Based on Image Analysis / Michał Choraś
Automatic Change Detection Based on Codelength Differences in Multi-temporal and Multi-spectral Images / Joselíto J. Chua ; Peter E. Tischer
Estimating Face Direction via Facial Triangle / Min Gyo Chung ; Jisook Park ; Jiyoun Bong
An Image Compression Algorithm Based on Neural Networks / Robert Cierniak
Fuzzy Nonparametric Measures for Image Matching / Boguslaw Cyganek ; Jan Borgosz
Neural Computation of the Fundamental Matrix
Face Detection Using CMAC Neural Network / H. Fashandi ; M.S. Moin
A Biologically Inspired Active Stereo Vision System Using a Bottom-Up Saliency Map Model / Bum-Soo Jung ; Sang-Bok Choi ; Sang-Woo Ban ; Minho Lee
Problems Connected with Application of Neural Networks in Automatic Face Recognition / Rafal Komanski ; Bohdan Macukow
Czestochowa-Faces and Biometrics of Asymmetrical Face / Leonid Kompanets ; Mariusz Kubanek ; Szymon Rydzek
Wafer Die Position Detection Using Hierarchical Gray Level Corner Detector / Jae Hyung Na ; Hae Seok Oh
On Fuzzy Labelled Image Segmentation Based on Perceptual Features / Pilar Sobrevilla ; Eduard Montseny
Generalized Multi-layer Kohonen Network and Its Application to Texture Recognition / A. Tomczyk ; B. Lis
Robotics
Translation STRIPS Planning in Multi-robot Environment to Linear Programming / Andrzej Swierniak
Fuzzy Combiner of Behaviors for Reactive Control of Wheeled Mobile Robot / Zenon Hendzel
Artificial Intelligence of the Decision Unit of a Mobile Robot / Jan Kazimierczak
Finding Location Using a Particle Filter and Histogram Matching / Bogdan Kwolek
Calculation of Model of the Robot by Neural Network with Robot Joint Distinction / J. Możaryn ; J.E. Kurek
Multi-robot Coordination Based on Cooperative Game / Krzysztof Skrzypczyk
Model Based Predictive Robotic Manipulator Control with Sinusoidal Trajectory and Random Disturbances / Hasan Temurtas ; Fevzullah Temurtas ; Nejat Yumusak
Multiagent Systems
Performance Evaluation of Multiagent Personalized Information System / Tomasz Babczyński ; Zofia Kruczkiewicz ; Jan Magott
A Neural-Based Agent for IP Traffic Scanning and Worm Detection / Andrzej Bielecki ; Paweł Hajto
Evolutionary Neural Networks in Collective Intelligent Predicting System / Aleksander Byrski ; Jerzy Bałamut
Development of a Personalized Digital Library System Based on the New Mobile Multi Agent Platform / Young Im Cho
FOOD: An Agent-Oriented Dataflow Model / Nicolas Juillerat ; Béat Hirsbrunner
Flock-Based Architecture for Distributed Evolutionary Algorithms / Marek Kisiel-Dorohinicki
Quickprop Neural Network Short-Term Forecasting Framework for a Database Intrusion Prediction System / P. Ramasubramanian ; A. Kannan
Various Problems of Artificial Intelligence
The New Concepts in Parallel Simulated Annealing Method
Simulated Annealing with Restart to Job Shop Scheduling Problem Using Upper Bounds / Marco Antonio Cruz-Chavez ; Juan Frausto-Solis
Requirements and Solutions for Web-Based Expert System / Maciej Grzenda ; Marcin Niemczak
Information Structuring in Natural Language Communication: Syntax versus Semantic / Wladyslaw Homenda
Strategic Planning through Model Checking of ATL Formulae / Wojciech Jamroga
On a Special Class of Dempster-Shafer Theories / Mieczysław Alojzy Kłopotek
A Computer Based System Supporting Analysis of Cooperative Strategies / Lech Kruś
Application of Soft Computing Techniques to Rescue Operation Planning / Jiří Kubalík ; Jiří Kléma ; Miroslav Kulich
Reduction of Tabular Systems / Antoni Lig&ecedil;za ; Marcin Szpyrka
Temporal Difference Approach to Playing Give-Away Checkers / Jacek Mańdziuk ; Daniel Osman
Artificial Neural Networks for Solving Double Dummy Bridge Problems / Krzysztof Mossakowski
On Application of Ant Algorithms to Non-bifurcated Multicommodity Flow Problem / Krzysztof Walkowiak
A Parallel Clustering Algorithm for Categorical Data Set / Yong-Xian Wang ; Zheng-Hua Wang ; Xiao-Mei Li
Intensive versus Non-intensive Actor-Critic Reinforcement Learning Algorithms / Pawel Wawrzynski ; Andrzej Pacut
Virtual Modeling and Optimal Design of Intelligent Micro-accelerometers / Andrzej Cader ; Pawel Drzymala ; Henryk Welfle
Control, Modelling, and System Identification
Local Pattern-Based Interval Models / Wojciech Cholewa
Implementation of Two-Stage Hopfield Model and Its Application in Nonlinear Systems / Ivan Nunes da Silva ; Jose Alfredo C. Ulson ; Andre Nunes de Souza
Genetic Algorithm Based Fuzzy Sliding Mode with Application to Building Structures / Kambiz Falsafian
Influence of the Training Set Selection on the Performance of the Neural Network State Variables Estimators in the Induction Motor / Jerzy Jelonkiewicz ; Andrzej Przybył
LMI-Based Design of Optimal Controllers for Takagi-Sugeno Fuzzy Systems / J. Park ; Y. Park ; K. Kwak ; J.H. Hong
Design of Multi-objective Evolutionary Technique Based Intelligent Controller for Multivariable Nonlinear Systems / Farzan Rashidi ; Mehran Rashidi
Design of a Robust Sliding Mode Fuzzy Controller for Nonlinear HVAC Systems / Behzad Moshiri
Global Identification of Complex Systems with Cascade Structure / Jerzy Swiatek
Medical Applications
Diagnosis of Melanoma Using IRIM, a Data Mining System / Jay Hamilton ; Zdzislaw S. Hippe
Detection of Spiculated Masses in Mammograms Based on Fuzzy Image Processing / Aboul Ella Hassanien ; Jafar M. Ali ; Hajime Nobuhara
Artificial Neural Networks in Identifying Areas with Homogeneous Survival Time / Małgorzata Kr&ecedil;towska
Multistage Diagnosis of Myocardial Infraction Using a Fuzzy Relation / Marek Kurzynski
Application of SVM to Ovarian Cancer Classification Problem / Maciej Kusy
ROC Analysis for Fetal Hypoxia Problem by Artificial Neural Networks / Lale Özyilmaz ; Tülay Yildirim
The Challenge of Soft Computing Techniques for Tumor Characterization / P.P. Spyridonos ; C.D. Stylios ; P. Ravazoula ; G.C. Nikiforidis
A Multi-stage Classification Method in Application to Diagnosis of Larynx Cancer / Danuta Rutkowska ; Jacek K. Klimala
Multi-neural Network Approach for Classification of Brainstem Evoked Response Auditory / Mariusz Rybnik ; Saliou Diouf ; Abdennasser Chebira ; Veronique Amarger
The Study of Hierarchy Importance of Descriptive Attributes in Computer Assisted Classification of Melanocytic Skin Lesions / Aleksander Sokołowski ; Alicja Dereń
Medical Knowledge Representation in Terms of IF-THEN Rules and the Dempster-Shafer Theory / Ewa Straszecka
Online Neural Network Training for Automatic Ischemia Episode Detection / L. Vladutu ; V.P. Plagianakos ; A. Bezerianos
Mechanical Applications
Sequential and Distributed Evolutionary Computations in Structural Optimization / Tadeusz Burczyński ; Wacław Kuś ; Adam Długosz ; Arkadiusz Poteralski ; Mirosław Szczepanik
Neural Analysis of Concrete Fatigue Durability by the Neuro-fuzzy FWNN / Magdalena Jakubek ; Zenon Waszczyszyn
Neural and Finite Element Analysis of a Plane Steel Frame Reliability by the Classical Monte Carlo Method / Ewa Pabisek ; Joanna Kaliszuk
The Solution of an Inverse Problem in Plates by Means of Artificial Neural Networks / Grzegorz Pi&acedil;tkowski ; Leonard Ziemiański
Filtering of Thermomagnetic Data Curve Using Artificial Neural Network and Wavelet Analysis / Łukasz Rauch ; Jolanta Talar ; Tomáš Žák ; Jan Kusiak
Various Applications
Evolutionary Negotiation Strategies in Emerging Electricity Markets / Salem Al-Agtash
Evolutionary Algorithm for Scheduling of CHP Plant with Urban Heat Distribution Network / Krzysztof Dziedzicki ; Andrzej Augusiak ; Roman Śmierzchalski
Semi-mechanistic Models for State-Estimation - Soft Sensor for Polymer Melt Index Prediction / Balazs Feil ; Janos Abonyi ; Peter Pach ; Sandor Nemeth ; Peter Arva ; Miklos Nemeth ; Gabor Nagy
Neural Approach to Time-Frequency Signal Decomposition / Dariusz Grabowski ; Janusz Walczak
ANN Based Modelling and Correction in Dynamic Temperature Measurements / Lidia Jackowska-Strumiłło
One Day Prediction of NIKKEI Index Considering Information from Other Stock Markets / Marcin Jaruszewicz
Application of Neural Network Topologies in the Intelligent Heat Use Prediction System / Leszek Kiełtyka ; Robert Kuc&ecedil;ba ; Adam Sokołowski
Genetic Algorithm for Database Indexing / Marcin Korytkowski ; Marcin Gabryel
Application of Neural Networks and Two Representations of Color Components for Recognition of Wheat Grains Infected by Fusarium Culmorum Fungi / Aleksander Kubiak ; Zbigniew Mikrut
Hybrid Neural Model of the Sea Bottom Surface / Jacek Lubczonek
Fuzzy Economic Analysis of Simulated Discrete Transport System / Jacek Mazurkiewicz ; Tomasz Walkowiak
A Survey on US Economic Sanction Effects on Iranian High Tech Industries: Fuzzy Logic Approach / Mohammad R. Mehregan ; Hossein Safari ; Parviz Naseri ; Farshid Hosseini ; Kumars Sharifi
Modeling of Optoelectronic Devices through Neuro-Fuzzy Architectures / Antonio Vanderlei Ortega
Neural Network Based Simulation of the Sieve Plate Absorption Column in Nitric Acid Industry / Edward Röj ; Marcin Wilk
Artificial Neural Networks for Comparative Navigation / Andrzej Stateczny
Predicting Women's Apparel Sales by Soft Computing / Les M. Sztandera ; Celia Frank ; Balaji Vemulapali
Model Improvement by the Statistical Decomposition / Ryszard Szupiluk ; Piotr Wojewnik ; Tomasz Zabkowski
Author Index
Invited Papers
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
33.

図書

図書
Elisabeth André ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3068 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
Sokratis K. Katsikas, Stefanos Gritzalis, Javier Lopez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3093
所蔵情報: loading…
目次情報: 続きを見る
Introduction to the Belgian EID Card / D. De Cock ; K. Wouters ; B. Preneel
The EuroPKI Experience / A. Lioy ; M. Marian ; N. Moltchanova ; M. Pala
Cervantes ñ A Certificate Validation Test-Bed / J.L. MuÒoz ; J. FornÈ ; O. Esparza ; M. Soriano
Flexible and Scalable Public Key Security for SSH / Y. Ali ; S. Smith
What Is Possible with Identity Based Cryptography for PKIs and What Still Must Be Improved / B. Libert ; J.-J. Quisquater
Identity-Based Cryptography in Public Key Management / D.H. Yum ; P.J. Lee
Pre-production Methods of a Response to Certificates with the Common Status ñ Design and Theoretical Evaluation / S. Koga ; J.-C. Ryou ; K. Sakurai
Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures / P. Giorgini ; F. Massacci ; J. Mylopoulos ; N. Zannone
A Framework for Evaluating the Usability and the Utility of PKI-enabled Applications / T. Straub ; H. Baier
Using LDAP Directories for Management of PKI Processes / V. Karatsiolis ; M. Lippert ; A. Wiesmaier
Recursive Certificate Structures for X.509 Systems / S. Russell
A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions / A. Platis ; C. Lambrinoudakis ; A. Leros
A Practical Approach of X.509 Attribute Certificate Framework as Support to Obtain Privilege Delegation / J.A. Montenegro ; F. Moya
TACAR: a Simple and Fast Way for Building Trust among PKIs / D.R. Lopez ; C. Malagon ; L. Florio
On the Synergy Between Certificate Verification Trees and PayTree-like Micropayments / J. Domingo-Ferrer
A Socially Inspired Reputation Model / N. Mezzetti
Using EMV Cards for Single Sign-On / A. Pashalidis ; C.J. Mitchell
Distributing Security-Mediated PKI / G. Vanrenen
Distributed CA-based PKI for Mobile Ad Hoc Networks Using Elliptic Curve Cryptography / C. Zouridaki ; B.L. Mark ; K. Gaj ; R.K. Thomas
AETher: an Authorization Management Architecture for Ubiquitous Computing / P.G. Argyroudis ; D. O'Mahony
Trustworthy Accounting for Wireless LAN Sharing Communities / E.C. Efstathiou ; G.C. Polyzos
Mobile Qualified Electronic Signatures and Certification on Demand / H. Rossnagel
Performance Evaluation of Certificate Based Authentication in Integrated Emerging 3G and Wi-Fi Networks / G. Kambourakis ; A. Rouskas ; D. Gritzalis
A Credential Conversion Service for SAML-based Scenarios / H. C*novas ; G. LÛpez ; A.F. GÛmez-Skarmeta
A New Design of Privilege Management Infrastructure with Binding Signature Semantics / K. Bicakci ; N. Baykal
How to Qualify Electronic Signatures and Time Stamps / D. H¸hnlein
An Efficient Revocation Scheme for Stateless Receivers / Y.H. Hwang ; C.H. Kim
On the Use of Weber Polynomials in Elliptic Curve Cryptography / E. Konstantinou ; Y.C. Stamatiou ; C. Zaroliagis
Threshold Password-Based Authentication Using Bilinear Pairings / S. Lee ; K. Han ; S.-k. Kang ; K. Kim ; S.R. Ine
An Efficient Group Key Management Scheme for Secure Multicast with Multimedia Applications / C.N. Zhang ; Z. Li
Author Index
Introduction to the Belgian EID Card / D. De Cock ; K. Wouters ; B. Preneel
The EuroPKI Experience / A. Lioy ; M. Marian ; N. Moltchanova ; M. Pala
Cervantes ñ A Certificate Validation Test-Bed / J.L. MuÒoz ; J. FornÈ ; O. Esparza ; M. Soriano
35.

図書

図書
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 848 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3098
所蔵情報: loading…
36.

図書

図書
Andreas Nürnberger, Marcin Detyniecki (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 227 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3094
所蔵情報: loading…
37.

図書

図書
Masood Masoodian, Steve Jones, Bill Rogers (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 694 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3101
所蔵情報: loading…
目次情報: 続きを見る
Full Papers
A Simple and Novel Method for Skin Detection and Face Locating and Tracking / Saleh A. Al-Shehri
Operation-Support System for Transportable Earth Station Using Augmented Reality / Kikuo Asai ; Noritaka Osawa ; Yuji Y. Sugimoto ; Kimio Kondo
Real-World Oriented Access Control Method with a Displayed Password / Yuji Ayatsuka ; Michimune Kohno ; Jun Rekimoto
Evolutionary Approaches to Visualisation and Knowledge Discovery / Russell Beale ; Andy Pryke ; Robert J. Hendley
Creating a Framework for Situated Way-Finding Research / Nicola J. Bidwell ; Christopher P. Lueg
Extending Tree-Maps to Three Dimensions: A Comparative Study / Thomas Bladh ; David A. Carr ; Jeremiah Scholl
Creative Expertise and Collaborative Technology Design / Linda Candy ; Ernest Edmonds
Does DOF Separation on Elastic Devices Improve User 3D Steering Task Performance? / Géry Casiez ; Patricia Plénacoste ; Christophe Chaillou
Collaborative Interactions on 3D Display for Multi-user Game Environments / Jeong-Dan Choi ; Byung-Tae Jang ; Chi-Jeong Hwang
Age Differences in Rendezvousing: 18-30s Vs. 31-45s / Martin Colbert
Specification and Generation of Model 2 Web Interfaces / Dirk Draheim ; Gerald Weber
Metaphors for Electronic Music Production in Reason and Live / Matthew Duignan ; James Noble ; Pippin Barr ; Robert Biddle
Extending the Perceptual User Interface to Recognise Movement / Richard Green
Real-Time Color Gamut Mapping Architecture and Implementation for Color-Blind People / Dongil Han
Tangible Teleconferencing / Jeorg Hauber ; Mark Billinghurst ; Holger Regenbrecht
Our Ubiquitous Computing Home Inside: A Practical Approach Emerging into House and Home / Soichiro Iga ; Saiko Ohno
A Study of an EMG-controlled HCI Method by Clenching Teeth / Hyuk Jeong ; Jong-Sung Kim ; Jin-Seong Choi
Performance Analysis for User Interface in Real-Time Ubiquitous Information Network / Yung Bok Kim ; Mira Kwak ; Dong-sub Cho
Envisioning Mobile Information Services: Combining User- and Technology-Centered Design / Jesper Kjeldskov ; Steve Howard
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records / Mikael B. Skov
Design of Chording Gloves as a Text Input Device / Seongil Lee ; Sang Hyuk Hong ; Jae Wook Jeon ; Hoo-Gon Choi ; Hyoukryeol Choi
Designing Explorable Interaction Based on Users' Knowledge: A Case Study on a Multi-functional Printer Application / Dong-Seok Lee ; Douglas Jihoon Kim ; Un Sik Byun
The Automatic Generation of a Graphical Dialogue Model from Delphi Source Code / Lei Li ; Chris Phillips ; Chris Scogings
NetWorker: A Practical Web-Based Tool to Support the Collect-Compare-Choose Cycle / Paul Lyons ; Elizabeth Kemp ; Jaimee Alam
Nine Tools for Generating Harmonious Colour Schemes / Giovanni Moretti
A Practical Set of Culture Dimensions for Global User-Interface Development / Aaron Marcus ; Valentina-Johanna Baumgartner
Towards a General Model for Assisting Navigation / Mike McGavin ; Judy Brown
inlineLink: Realization of Inline Expansion Link Methods on a Conventional Web Browser / Motoki Miura ; Buntarou Shizuki ; Jiro Tanaka
Chromotome: A 3D Interface for Exploring Colour Space / Mark Wilson
Commercial Success by Looking for Desire Lines / Carl Myhill
Steering Law in an Environment of Spatially Coupled Style with Matters of Pointer Size and Trajectory Width / Satoshi Naito ; Yoshifumi Kitamura ; Fumio Kishino
Design of Information Visualization of Ubiquitous Environment for a Wearable Display / Makoto Obayashi ; Hiroyuki Nishiyama ; Fumio Mizoguchi
Perceiving Tools in 3D Sculpting / Jyrki Parviainen ; Nina Sainio ; Roope Raisamo
A Tripartite Framework for Working Memory Processes / Peter J. Patsula
Designing for Flow in a Complex Activity / Jon M. Pearce
Enhancing Interactive Graph Manipulation Tools with Tactile Feedback / Jukka Raisamo
HCI Practices and the Work of Information Architects / Toni Robertson ; Cindy Hewlett
User Model of Navigation / Corina Sas
An Interface for Input the Object Region Using the Hand Chroma Key / Shuhei Sato ; Etsuya Shibayama ; Shin Takahashi
Menu-Selection-Based Japanese Input Method with Consonants forPen-Based Computers / Daisuke Sato
Framework for Interpreting Handwritten Strokes Using Grammars / Kazuhisa Iizuka
A Rapidly Adaptive Collaborative Ubiquitous Computing Environment to Allow Passive Detection of Marked Objects / Hannah Slay ; Bruce Thomas ; Rudi Vernik ; Wayne Piekarski
The Misrepresentation of Use in Technology Demonstrations / Wally Smith
An Implementation for Capturing Clickable Moving Objects / Toshiharu Sugawara ; Satoshi Kurihara ; Shigemi Aoyagi ; Koji Sato ; Toshihiro Takada
A Prototyping Framework for Mobile Text Entry Research / Sanju Sunny ; Yow Kin Choong
The Effect of Color Coding for the Characters on Computer Keyboards for Multilingual Input Using Modeless Methods / Kuo-Hao Eric Tang ; Li-Chen Tsai
Extended Godzilla: Free-Form 3D-Object Design by Sketching and Modifying Seven Primitives at Single 2D-3D Seamless Display / Shun'ichi Tano ; Yoichiro Komatsu ; Mitsuru Iwata
Quantitative Analysis of Human Behavior and Implied User Interface in 3D Sketching / Toshiko Matsumoto
What Are You Looking At? Newest Findings from an Empirical Study of Group Awareness / Minh Hong Tran ; Gitesh K. Raikundalia ; Yun Yang
Cultural Usability in the Globalisation of News Portal / Tina Wai Chi Tsui ; John Paynter
Collecting, Organizing, and Managing Non-contextualised Data by Using MVML to Develop a Human-Computer Interface / Michael Verhaart ; John Jamieson ; Kinshuk
Common Industry Format: Meeting Educational Objectives and Student Needs? / Karola von Baggo ; Lorraine Johnston ; Oliver Burmeister ; Todd Bentley
Accessibility: A Tool for Usability Evaluation / Daniel Woo ; Joji Mori
The Degree of Usability from Selected DVD Menus and Their Navigational Systems / Guy Wood-Bradley ; Malcolm Campbell
OPR-LENS: Operation-Lens System for Supporting a Manipulation of Information Appliances / Takumi Yamaguchi ; Haruya Shiba ; Kazunori Shimamura
A Novel Locomotion Interface with Independent Planar and Footpad Devices for Virtual Walking / Jungwon Yoon ; Jeha Ryu
Short Papers
Designing Intelligent Environments - User Perceptions on Information Sharing / Craig Chatfield ; Jonna Häkkilä
Face and Body Gesture Analysis for Multimodal HCI / Geanbry Demming ; Hatice Gunes ; Massimo Piccardi ; Tony Jan
Ambulance Dispatch Complexity and Dispatcher Decision Strategies: Implications for Interface Design / Jared Hayes ; Antoni Moore ; George Benwell ; B.L. William Wong
Supporting Group Learning Using a Digital Whiteboard / Raymond Kemp ; Thevalojinie Mohanarajah
Verifying the Field of View Afforded to the Pilot due to Cockpit Design, Stature, and Aerodrome Design Parameters / Eugene Aik Min Khoo ; Kee Yong Lim
Creative Information Seeking and Interface Design / Shu-Shing Lee ; Yin-Leng Theng ; Dion Hoe-Lian Goh ; Schubert Shou-Boon Foo
Connecting the User View with the System View of Requirements / Ralph R. Miller ; Scott P. Overmyer
Recourse for Guiding Didactical Creators in the Development of Accessible e-Learning Material / Valeria Mirabella ; Stephen Kimani ; Tiziana Catarci
Factors Influencing User Selection of WWW Sitemaps / Aaron Mullane ; Sandrine Balbo ; Chris J. Pilgrim ; Gitte Lindgaard ; Ying K. Leung
ViewPoint: A Zoomable User Interface for Integrating Expressive Systems / Darryl Singh ; Mitra Nataraj ; Rick Mugridge
Passing on Good Practice: Interface Design for Older Users / Mary Zajicek
Doctoral Consortium
Interfaces That Adapt like Humans / Samuel Alexander ; Abdolhossein Sarrafzadeh
Designers Search Strategies Influenced by the Interaction with Information Retrieval Systems (IRS): Within the Early Stages of the Design Process / Caroline Francis
Personal Digital Document Management / Sarah Henderson
A Study of the Impact of Collaborative Tools on the Effectiveness of Clinical Pathology Conferences / Bridget Kane ; Saturnino Luz
Physical Computing - Representations of Human Movement in Human-Computer Interaction / Astrid Twenebowa Larssen
Creative Interface Design for Information Seeking
Understanding Interaction Experience in Mobile Learning / Fariza Hanis Abdul Razak
User Experience in Interactive Computer Game Development / Tracey Sellar
Using Patterns to Guide User Interface Development / Elizabeth G. Todd
Multimodal Cues for Object Manipulation in Augmented and Virtual Environments / Mihaela A. Zahariev
Author Index
Full Papers
A Simple and Novel Method for Skin Detection and Face Locating and Tracking / Saleh A. Al-Shehri
Operation-Support System for Transportable Earth Station Using Augmented Reality / Kikuo Asai ; Noritaka Osawa ; Yuji Y. Sugimoto ; Kimio Kondo
38.

図書

図書
Jan Bosch, Charles Krueger (eds.)
出版情報: Berlin : Springer, c2004  xi, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3107
所蔵情報: loading…
39.

図書

図書
Ari Juels (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3110
所蔵情報: loading…
40.

図書

図書
Howard Williams, Lachlan MacKinnon (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 264 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3112
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Towards a Next Generation Grid / Domenico Laforenza
The Future of the World Wide Web? / Michael Wilson ; Brian Matthews
Data Streams
Scheduling Strategies for Processing Continuous Queries over Streams / Qingchun Jiang ; Sharma Chakravarthy
Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity / Dan Olteanu ; Tim Furche ; François Bry
Integration and Heterogeneity
The EGTV Query Language / Damir Bećarević ; Mark Roantree
XML Data Integration by Graph Restructuring / Lucas Zamboulis
AUP: Adaptive Change Propagation Across Data Model Boundaries / Kajal Claypool ; Elke A. Rundensteiner
Data Analytics/Manipulations
Database Support for Path Query Functions / Rachel Hamill ; Nigel Martin
Agent-Based Data Mining Approach for the Prediction of UK and Irish Companies Performance / Weifeng Chen ; Kevin Lü
Reducing Damage Assessment Latency in Survivable Databases / Indrakshi Ray ; Ross M. McConnell ; Monte Lunacek ; Vijay Kumar
XML
Efficient Processing of Multiple Structural Join Queries / G.V. Subramanyam ; P. Sreenivasa Kumar
Handling Updates for Cache-Answerability of XML Queries on the Web / Jung Kee Park ; Hyunchul Kang
Constraining XML Transformations for Personalised Information Presentation / Alison Cawsey ; Euan Dempster ; Daniel Pacey ; Howard Williams ; David Marwick ; Lachlan MacKinnon
Dbsurfer: A Search and Navigation Tool for Relational Databases / Richard Wheeldon ; Mark Levene ; Kevin Keenoy
Interface/Visualization
Ontology-Driven Automated Generation of Data Entry Interfaces to Databases / Alan Cannon ; Jessie B. Kennedy ; Trevor Paterson ; Mark F. Watson
Incremental Observer Relative Data Extraction / Linas Bukauskas ; Michael H. Böhlen
Performing Colour-Based Similarity Searches in Multimedia
Database Management Systems Augmented with Derived Images / Leonard Brown ; Le Gruenwald
Spatial Data
Bulk Loading the M-Tree to Enhance Query Performance / Alan P. Sexton ; Richard Swinbank
A Fast Filter for Obstructed Nearest Neighbor Queries / Chenyi Xia ; David Hsu ; Anthony K.H. Tung
Language Bindings for Spatio-Temporal Database Programming in Tripod / Tony Griffiths ; Norman W. Paton ; Alvaro A.A. Fernandes ; Seung-Hyun Jeong ; Nassima Djafri
TLAD Workshop
Gauging Students' Understanding Through Interactive Lectures / Helen C. Purchase ; Christopher Mitchell ; Iadh Ounis
Teaching SQL - Which Pedagogical Horse for This Course? / Karen Renaud ; Judy van Biljon
Computer-Based Assessment Strategies in the Teaching of Databases at Honours Degree Level 1 / Gill Harrison
Author Index
Invited Papers
Towards a Next Generation Grid / Domenico Laforenza
The Future of the World Wide Web? / Michael Wilson ; Brian Matthews
41.

図書

図書
Anja Belz, Roger Evans, Paul Piwek (eds.)
出版情報: Berlin : Springer, c2004  x, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3123 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Keynote Paper
The Seduced Speaker: Modeling of Cognitive Control / Ardi Roelofs
Regular Papers
Generating Intensional Answers in Intelligent Question Answering Systems / Farah Benamara
Salience-Driven Text Planning / Christian Chiarcos ; Manfred Stede
Finetuning NLG Through Experiments with Human Subjects: The Case of Vague Descriptions / Kees van Deemter
Indirect Supervised Learning of Content Selection Logic / Pablo A. Duboue
Generating Referring Expressions Using Perceptual Groups / Kotaro Funakoshi ; Satoru Watanabe ; Naoko Kuriyama ; Takenobu Tokunaga
The Use of a Structural N-gram Language Model in Generation-Heavy Hybrid Machine Translation / Nizar Habash
On Referring to Sets of Objects Naturally / Helmut Horacek
An ATMS Approach to Systemic Sentence Generation / Hasan Kamal ; Chris Mellish
A Corpus-Based Methodology for Evaluating Metrics of Coherence for Text Structuring / Nikiforos Karamanis ; Jon Oberlander ; Massimo Poesio
Classification-Based Generation Using TAG / Tomasz Marciniak ; Michael Strube
Resolving Structural Ambiguity in Generated Speech
A Framework for Stylistically Controlled Generation / Daniel S. Paiva ; Roger Evans
SEGUE: A Hybrid Case-Based Surface Natural Language Generator / Shimei Pan ; James Shaw
Modelling Politeness in Natural Language Generation / Kaska Porayska-Pomsta
Context-Based Incremental Generation for Dialogue / Matthew Purver ; Ruth Kempson
Contextual Influences on Near-Synonym Choice / Ehud Reiter ; Somayajulu Sripada
Overgenerating Referring Expressions Involving Relations and Booleans / Sebastian Varges
Reining in CCG Chart Realization / Michael White
Student Papers
Categorization of Narrative Semantics for Use in Generative Multidocument Summarization / David K. Elson
Corpus-Based Planning of Deictic Gestures in COMIC / Mary Ellen Foster
Hybrid NLG in a Generic Dialog System / Martin Klarner
Two Kinds of Alternative Sets and a Marking Principle - When to Say Also / Kristina Striegnitz
Author Index
Keynote Paper
The Seduced Speaker: Modeling of Cognitive Control / Ardi Roelofs
Regular Papers
42.

図書

図書
Dmitri Asonov
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 113 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3128
所蔵情報: loading…
43.

図書

図書
Andy D. Pimentel, Stamatis Vassiliadis (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 562 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3133
所蔵情報: loading…
目次情報: 続きを見る
Reconfigurable Computing / SAMOS III:
The Molen Programming Paradigm / Stamatis Vassiliadis ; Georgi Gaydadjiev ; Koen Bertels ; Elena Moscu Panainte
Loading ρμ-Code: Design Considerations / Georgi Kuzmanov
RAMPASS: Reconfigurable and Advanced Multi-processing Architecture for Future Silicon Systems / Stéphane Chevobbe ; Nicolas Ventroux ; Frédéric Blanc ; Thierry Collette
Basic OS Support for Distributed Reconfigurable Hardware / Christian Haubelt ; Dirk Koch ; Jürgen Teich
A Cost-Efficient RISC Processor Platform for Real Time Audio Applications / Jens Peter Wittenburg ; Ulrich Schreiber ; Ulrich Gries ; Markus Schneider ; Tim Niggemeier
Customising Processors: Design-Time and Run-Time Opportunities / Wayne Luk
Intermediate Level Components for Reconfigurable Platforms / Erwan Fabiani ; Christophe Gouyen ; Bernard Pottier
Performance Estimation of Streaming Media Applications for Reconfigurable Platforms / Carsten Reuter ; Javier Martín Langerwerf ; Hans-Joachim Stolberg ; Peter Pirsch
Architectures and Implementation
CoDeL: Automatically Synthesizing Network Interface Controllers / Radhakrishnan Sivakumar ; Vassilios V. Dimakopulos ; Nikitas J. Dimopoulos
Performance and Power Evaluation of Clustered VLIW Processors with Wide Functional Units / Miquel Pericàs ; Eduard Ayguadé ; Javier Zalamea ; Josep Llosa ; Mateo Valero
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs / Ulrich Heinkel ; Claus Mayer ; Charles Webb ; Hans Sahm ; Werner Haas ; Stefan Gossens
Register-Based Permutation Networks for Stride Permutations / Tuomas Järvinen ; Jarmo Takala
A Family of Accelerators for Matrix-Vector Arithmetics Based on High-Radix Multiplier Structures / David Guevorkian ; Petri Liuha ; Aki Launiainen ; Ville Lappalainen
Metrics for Digital Signal Processing Architectures Characterization: Remanence and Scalability / Pascal Benoit ; Gilles Sassatelli ; Lionel Torres ; Didier Demigny ; Michel Robert ; Gaston Cambon
Virtual Architecture Mapping: A SystemC Based Methodology for Architectural Exploration of System-on-Chip Designs / Tim Kogel ; Malte Doerper ; Torsten Kempf ; Andreas Wieferink ; Rainer Leupers ; Gerd Ascheid ; Heinrich Meyr
Compilers, System Modeling, and Simulation
Comparison of Data Dependence Analysis Tests / Miia Viitanen ; Timo D. Hämäläinen
MOUSE: A Shortcut from Matlab Source to SIMD DSP Assembly Code / Gordon Cichon ; Gerhard Fettweis
High-Level Energy Estimation for ARM-Based SOCs / Dan Crisu ; Sorin Dan Cotofana
IDF Models for Trace Transformations: A Case Study in Computational Refinement / Cagkan Erbas ; Simon Polstra ; Andy D. Pimentel
Systems, Architectures, Modeling, and Simulation 2004 (SAMOS IV)
Programming Extremely Flexible Platforms / Kees Vissers
The Virtex II ProTM MOLEN Processor / SAMOS IV:
Reconfigurable Hardware for a Scalable Wavelet Video Decoder and Its Performance Requirements / Dirk Stroobandt ; Hendrik Eeckhaut ; Harald Devos ; Mark Christiaens ; Fabio Verdicchio ; Peter Schelkens
Design Space Exploration for Configurable Architectures and the Role of Modeling, High-Level Program Analysis and Learning Techniques / Pedro C. Diniz
Modeling Loop Unrolling: Approaches and Open Issues / João M.P. Cardoso
Self-loop Pipelining and Reconfigurable Dataflow Arrays
Architecture Exploration for 3G Telephony Applications Using a Hardware-Software Prototyping Platform / François Charot ; Madeleine Nyamsi ; Patrice Quinton ; Charles Wagner
Embedded Context Aware Hardware Component Generation for Dataflow System Exploration / John McAllister ; Roger Woods ; Richard Walke
On the (Re-)Use of IP-Components in Re-configurable Platforms / Jérôme Lemaitre ; Sylvain Alliot ; Ed Deprettere
Customising Hardware Designs for Elliptic Curve Cryptography / Nicolas Telle ; Ray C.C. Cheung
Dynamic Hardware Reconfigurations: Performance Impact for MPEG2
Compiler and System Techniques for soc Distributed Reconfigurable Accelerators / Joël Cambonie ; Sylvain Guérin ; Ronan Keryell ; Loïc Lagadec ; Olivier Sentieys ; Bernt Weber ; Samar Yazdani
Design Space Exploration with Automatic Selection of SW and HW for Embedded Applications / Júlio C.B. Mattos ; Antônio C.S. Beck ; Luigi Carro ; Flávio R. Wagner
On Enhancing SIMD-Controlled DSPs for Performing Recursive Filtering / Michael Hosemann
Memory Bandwidth Requirements of Tile-Based Rendering / Iosif Antochi ; Ben Juurlink
Using CoDeL to Rapidly Prototype Network Processsor Extensions / Nainesh Agarwal
Synchronous Transfer Architecture (STA) / Pablo Robelly ; Hendrik Seidel ; Emil Matúš ; Marcus Bronzel
Generated DSP Cores for Implementation of an OFDM Communication System
A Novel Data-Path for Accelerating DSP Kernels / Michalis D. Galanis ; G. Theodoridis ; Spyros Tragoudas ; Dimitrios Soudris ; Costas E. Goutis
Scalable FFT Processors and Pipelined Butterfly Units / Konsta Punkka
Scalable Instruction-Level Parallelism / Chris Jesshope
A Low-Power Multithreaded Processor for Baseband Communication Systems / Michael Schulte ; John Glossner ; Suman Mamidi ; Mayan Moudgill
Initial Evaluation of Multimedia Extensions on VLIW Architectures / Esther Salamí
HIBI v.2 Communication Network for System-on-Chip / Erno Salminen ; Vesa Lahtinen ; Tero Kangas ; Jouni Riihimäki ; Kimmo Kuusilinna
System Modeling, and Simulation
DIF: An Interchange Format for Dataflow-Based Design Tools / Chia-Jui Hsu ; Fuat Keceli ; Ming-Yung Ko ; Shahrooz Shahparnia ; Shuvra S. Bhattacharyya
Scalable and Modular Scheduling / Paul Feautrier
Early ISS Integration into Network-on-Chip Designs
Cycle Accurate Simulation Model Generation for SoC Prototyping / Antoine Fraboulet ; Tanguy Risset ; Antoine Scherrer
Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting / Jianjiang Ceng ; Weihua Sheng ; Manuel Hohenauer ; Gunnar Braun
A Communication-Centric Design Flow for HIBI-Based SoCs / Heikki Orsila
Performance Analysis of SoC Communication by Application of Deterministic and Stochastic Petri Nets / Holger Blume ; Thorsten von Sydow ; Tobias G. Noll
Communication Optimization in Compaan Process Networks / loan Cimpian ; Alexandru Turjan ; Erwin de Kock
Analysis of Dataflow Programs with Interval-Limited Data-Rates
High-Speed Event-Driven RTL Compiled Simulation / Alexey Kupriyanov ; Frank Hannig
A High-Level Programming Paradigm for SystemC / Mark Thompson
Power, Performance and Area Exploration for Data Memory Assignment of Multimedia Applications / Minas Dasygenis ; Erik Brockmeyer ; Bart Durinck ; Francky Catthoor ; Antonios Thanailakis
Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration / Laurenţiu Nicolae
Author Index
Reconfigurable Computing / SAMOS III:
The Molen Programming Paradigm / Stamatis Vassiliadis ; Georgi Gaydadjiev ; Koen Bertels ; Elena Moscu Panainte
Loading ρμ-Code: Design Considerations / Georgi Kuzmanov
44.

図書

図書
Maurice Bruynooghe (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 232 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3018
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce / Helko Lehmann ; Michael Leuschel
Specification and Synthesis
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures / Francis Alexandre ; Khaled Bsaíes ; Moussa Demba
Correct OO Systems in Computational Logic / Kung-Kiu Lau ; Mario Ornaghi
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / Thomas Ellman
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract) / Bernd Fischer ; Eelco Visser
Verification
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables / Rudolf Berghammer ; Markus Müller-Olm
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 / José Luis Ruiz-Reina ; José Antonio Alonso-Jiménez ; María José Hidalgo ; Francisco Jesús Martín-Mateos
Analysis
A Program Transformation for Backwards Analysis of Logic Programs / John P. Gallagher
An Efficient Staging Algorithm for Binding-Time Analysis / Takuma Murakami ; Zhenjiang Hu ; Kazuhiko Kakehi ; Masato Takeichi
Proving Termination with Adornments / Alexander Serebrenik ; Danny De Schreye
Transformation and Specialisation
Constructively Characterizing Fold and Unfold / Tjark Weber ; James Caldwell
Deterministic Higher-Order Patterns for Program Transformation / Tetsuo Yokoyama
From Interpreter to Logic Engine by Defunctionalization / Dariusz Biernacki ; Olivier Danvy
Linearization by Program Transformation / Sandra Alves ; Mario Florido
Continuation Semantics as Horn Clauses / Qian Wang ; Gopal Gupta
Constraints
Simplification of Database Integrity Constraints Revisited: A Transformational Approach / Henning Christiansen ; Davide Martinenghi
Integration and Optimization of Rule-Based Constraint Solvers / Slim Abdennadher ; Thom Fruhwirth
Introducing esra, a Relational Language for Modelling Combinatorial Problems / Pierre Flener ; Justin Pearson ; Magnus Agren
Author Index
Invited Talk
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce / Helko Lehmann ; Michael Leuschel
Specification and Synthesis
45.

図書

図書
Victor Larios, Félix F. Ramos, Herwig Unger (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 283 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3061
所蔵情報: loading…
46.

図書

図書
David Zhang, Anil K. Jain (eds.)
出版情報: Berlin : Springer, c2004  xvii, 800 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3072
所蔵情報: loading…
47.

図書

図書
Zoubir Mammeri, Pascal Lorenz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xvii, 1103 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3079
所蔵情報: loading…
48.

図書

図書
Stefan Göbel ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xvi, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3105
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
Embodied Agents and Meaningful Motion / Norman I. Badler
Interactive Storytelling
Natural Language Understanding in Façade: Surface-Text Processing / Michael Mateas ; Andrew Stern
Stepping into the Interactive Drama / Nicolas Szilas
From Another Point of View: Art-E-Fact / Ido Iurgel
1, 2, 3 .... Action! Directing Real Actors and Virtual Characters / Isabel Machado ; Paul Brna ; Ana Paiva
Object Oriented Prompted Play (O2P2): A Pragmatic Approach to Interactive Narrative / Daniel Roberts ; Mark Wright
Transferring Game Mastering Laws to Interactive Digital Storytelling / Federico Peinado ; Pablo Gervds
Narrativity of User Experience: Presence as Transportation in IVE Based Narrative Systems / Shachindra Nath
Integrated Decision Points for Interactive Movies / Gabriela Tully ; Susan Turner
Virtual Human
Autonomous Virtual Actors / Stéphane Sanchez ; Olivier Balet ; Hervé Luga ; Yves Duthen
Virtual Human: Storytelling and Computer Graphics for a Virtual Human Platform / Stefan Göbel ; Oliver Schneider ; Axel Feix ; Christian Knöpfle ; Alexander Rettig
Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling / Norbert Braun ; Thomas Rieger
Emotional Characters for Automatic Plot Creation / Mariët Theune ; Sander Rensen ; Rieks op den Akker ; Dirk Heylen ; Anton Nijholt
Authoring
Writing Interactive Fiction Scenarii with DraMachina / Stéphane Donikian ; Jean-Noël Portugal
A Toolkit for Authoring Non-linear Storytelling Environments Using Mixed Reality / Daniel F. Abawi ; Silvan Reinhold ; Ralf Dörner
Learning from the Movie Industry: Adapting Production Processes for Storytelling in VR / Richard Wages ; Benno Grützmacher ; Stefan Conrad
A System to Compose Movies for Cross-Cultural Storytelling: Textable Movie / Catherine Vaucelle ; Glorianna Davenport
Mobile
Hopstory: An Interactive, Location-Based Narrative Distributed in Space and Time / Valentina Nisi ; Alison Wood ; Ian Oakley
Mobile Entertainment Computing / Christian Geiger ; Volker Paelke ; Christian Reimann
Learning
StoryNet: An Educational Game for Social Skills / Leonie Schäfer ; Agnes Stauber ; Bozana Bokan
Inner Earth: Towards Interaction Patterns / Peter Stephenson ; Keiko Satoh ; Audrey Klos ; Diane Kinloch ; Emily Taylor ; Cindy Chambers
Media Art Environment Geist: Integrating Traditional Painting into 3D AR Storytelling Scenario / Christian Meyer zu Ermgassen
Conceptual Models for Interactive Digital Storytelling in Knowledge Media Applications / Ulrike Spieling
Experience the Antique Olympics! An Interactive Educational Narrative / Anja Hoffmann ; Birgit Riemenschneider
Theory
Narrative, Game Play, and Alternative Time Structures for Virtual Environments / Craig A. Lindley
Applications
Telling Stories with Dialogue Boxes to Retrieve Documents / Daniel Gonçalves ; Joaquim Jorge
Mediapark: Presenting the Media Docks Luebeck with the Digital Storytelling System Jeherazade / Peter Hoffmann ; Tim Eggert ; Lia Hadley ; Michael Herczeg
Scene-Driver: An Interactive Narrative Environment Using Content from an Animated Children's Television Series / Annika Wolff ; Paul Mulholland ; Zdenek Zdrahal ; Richard Joiner
Gaming
On Distributing Interactive Storytelling: Issues of Event Synchronization and a Solution / Stefano Ferretti ; Marco Roccetti ; Stefano Cacciaguerra
Interaction and Expressivity in Video Games: Harnessing the Rhetoric of Film / Laurent Cozic ; Stephen Boyd Davis ; Huw Jones
Exploring Narratives for Physical Play: A Pop-Up Guide to an Interactive Playground / Kyle Kilbourn ; Larisa Sitorus ; Ken Zupan ; Johnny Hey ; Aurimas Gauziskas ; Marcelle Stiensta ; Martin Andresen
Demos and Exhibitions
Beyond Manzanar: Creating Dramatic Structure in Ergodic Narratives / Tamiko Thiel
Poetics of Voicemail: The Tree-Structured Narrative of BirthData / Marlena Corcoran
Libro Vision: Gesture-Controlled Virtual Book / Horst Hörtner ; Pascal Maresch ; Robert Praxmarer ; Christian Naglhofer
DinoHunter: Platform for Mobile Edutainment Applications in Museums / Rene Zumack
An Example for Location Sensitive Media Integration: Re-discovering the Place Itself as a Medium by Adding Technology / Jens Geelhaar ; Lars Wieneke ; Peter Mende ; Jens Wille
Monotony: An Experimental Interactive Narrative / Deneva Goins ; Janine Huizinga
The Fabulous Adventures of MC Walker: Conceptual Videogame / Maarten Devillé ; Hugues Huygens ; Vincent Regent
Janus - Keeper of the Gate to the Otherworld / Finula Biermann ; Hugo Binder
Oral Tradition versus Digital Storytelling: On Educational Effects of Middle European Folk Tales and Their Value for Digital Storytelling / Harald Kibbat
Antiziganism and Persecution of the Sinti and Roma from the Late Middle Ages to the 20th Century / Josef Behringer ; Udo Engbring-Romang
Author Index
Keynote Speech
Embodied Agents and Meaningful Motion / Norman I. Badler
Interactive Storytelling
49.

図書

図書
Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 494 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3108
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Encryption and Traitor Tracing
Multi-service Oriented Broadcast Encryption / Shaoquan Jiang ; Guang Gong
Secure and Insecure Modifications of the Subset Difference Broadcast Encryption Scheme / Tomoyuki Asano
Linear Code Implies Public-Key Traitor Tracing With Revocation / Vu Dong Tô ; Reihaneh Safavi-Naini
TTS Without Revocation Capability Secure Against CCA2 / Chong Hee Kim ; Yong Ho Hwang ; Pil Joong Lee
Private Information Retrieval and Oblivious Transfer
Single Database Private Information Retrieval With Logarithmic Communication / Yan-Cheng Chang
Information Theoretically Secure Oblivious Polynomial Evaluation: Model, Bounds, and Constructions / Goichiro Hanaoka ; Hideki Imai ; Joern Mueller-Quade ; Anderson C.A. Nascimento ; Akira Otsuka ; Andreas Winter
Trust and Secret Sharing
Optimistic Fair Exchange Based on Publicly Verifiable Secret Sharing / Gildas Avoine ; Serge Vaudenay
NGSCB: A Trusted Open System / Marcus Peinado ; Yuqun Chen ; Paul England ; John Manferdelli
Cryptanalysis (I)
The Biryukov-Demirci Attack on Reduced-Round Versions of IDEA and MESH Ciphers / Jorge Nakahara ; Jr. ; Bart Preneel ; Joos Vandewalle
Differential-Linear Type Attacks on Reduced Rounds of SHACAL-2 / Yongsup Shin ; Jongsung Kim ; Guil Kim ; Seokhie Hong ; Sangjin Lee
The Related-Key Rectangle Attack - Application to SHACAL-1 / Dowon Hong
Related Key Differential Cryptanalysis of Full-Round SPECTR-H64 and CIKS-1 / Youngdai Ko ; Changhoon Lee
The Security of Cryptosystems Based on Class Semigroups of Imaginary Quadratic Non-maximal Orders / Michael J. Jacobson
Cryptanalysis (II)
Analysis of a Conference Scheme Under Active and Passive Attacks / Feng Bao
Cryptanalysis of Two Password-Authenticated Key Exchange Protocols / Zhiguo Wan ; Shuhong Wang
Analysis and Improvement of Micali's Fair Contract Signing Protocol / Guilin Wang ; Jianying Zhou ; Huafei Zhu
Digital Signatures (I)
Digital Signature Schemes With Domain Parameters
Generic Construction of Certificateless Signature / Dae Hyun Yum
Cryptosystems (I)
A Generalization of PGV-Hash Functions and Security Analysis in Black-Box Model / Wonil Lee ; Mridul Nandi ; Palash Sarkar ; Donghoon Chang ; Kouichi Sakurai
How to Re-use Round Function in Super-Pseudorandom Permutation / Tetsu Iwata ; Kaoru Kurosawa
How to Remove MAC from DHIES / Toshihiko Matsuo
Symmetric Key Authentication Services Revisited / Bruno Crispo ; Bogdan C. Popescu ; Andrew S. Tanenbaum
Fast Computation
Improvements to the Point Halving Algorithm / Brian King ; Ben Rubin
Theoretical Analysis of XL over Small Fields / Bo-Yin Yang ; Jiun-Ming Chen
A New Method for Securing Elliptic Scalar Multiplication Against Side-Channel Attacks / Chae Hoon Lim
Mobile Agents Security
A Mobile Agent System Providing Offer Privacy / Ming Yao ; Matt Henricksen ; Greg Maitland ; Ernest Foo ; Ed Dawson
Digital Signatures (II)
Identity-Based Strong Designated Verifier Signature Schemes / Willy Susilo ; Fangguo Zhang ; Yi Mu
Linkable Spontaneous Anonymous Group Signature for Ad Hoc Groups / Joseph K. Liu ; Victor K. Wei ; Duncan S. Wong
A Group Signature Scheme With Efficient Membership Revocation for Reasonable Groups / Toru Nakanishi ; Yuji Sugiyama
Convertible Nominative Signatures / Zhenjie Huang ; Yumin Wang
Protocols
Protocols With Security Proofs for Mobile Applications / Yiu Shing Terry Tin ; Harikrishna Vasanta ; Colin Boyd ; Juan Manuel González Nieto
Secure Bilinear Diffie-Hellman Bits / Steven D. Galbraith ; Herbie J. Hopkins ; Igor E. Shparlinski
Weak Property of Malleability in NTRUSign / SungJun Min ; Go Yamamoto ; Kwangjo Kim
Security Management
Information Security Risk Assessment, Aggregation, and Mitigation / Arjen Lenstra ; Tim Voss
Access Control and Authorisation
A Weighted Graph Approach to Authorization Delegation and Conflict Resolution / Chun Ruan ; Vijay Varadharajan
Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems / Xi-Bin Zhao ; Kwok-Yan Lam ; Siu-Leung Chung ; Ming Gu ; Jia-Guang Sun
Cryptosystems (II)
Unconditionally Secure Encryption Under Strong Attacks / Luke McAven ; Rei Safavi-Naini ; Moti Yung
ManTiCore: Encryption With Joint Cipher-State Authentication / Erik Anderson ; Cheryl Beaver ; Timothy Draelos ; Richard Schroeppel ; Mark Torgerson
Cryptanalysis (III)
On Security of XTR Public Key Cryptosystems Against Side Channel Attacks / Dong-Guk Han ; Jongin Lim
On the Exact Flexibility of the Flexible Countermeasure Against Side Channel Attacks / Katsuyuki Okeya ; Tsuyoshi Takagi ; Camille Vuillaume
Fault Attacks on Signature Schemes / Christophe Giraud ; Erik W. Knudsen
Author Index
Broadcast Encryption and Traitor Tracing
Multi-service Oriented Broadcast Encryption / Shaoquan Jiang ; Guang Gong
Secure and Insecure Modifications of the Subset Difference Broadcast Encryption Scheme / Tomoyuki Asano
50.

図書

図書
Juhani Karhumäki ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3113
所蔵情報: loading…
目次情報: 続きを見る
Duality for Three: Ternary Symmetry in Process Spaces / Janusz Brzozowski ; Radu Negulescu
Mathematical Proofs at a Crossroad? / Cristian S. Calude ; Solomon Marcus
Rational Relations as Rational Series / Christian Choffrut
Networks of Standard Watson-Crick D0L Systems with Incomplete Information Communication / Erzsébet Csuhaj-Varjú
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems / Jürgen Dassow
Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages / Pál Dömösi ; Carlos Martín-Vide ; Victor Mitrana
A Semiring-Semimodule Generalization of ?-Context-Free Languages / Zoltán Ésik ; Werner Kuich
Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials / Vesa Halava
Two Models for Gene Assembly in Ciliates / Tero Harju ; Ion Petre ; Grzegorz Rozenberg
On Self-Dual Bases of the Extensions of the Binary Field / Mika Hirvensalo ; Jyrki Lahtonen
On NFA Reductions / Lucian Ilie ; Gonzalo Navarro ; Sheng Yu
Some Results on Directable Automata / Masami Ito ; Kayoko Shikishima-Tsuji
Rectangles and Squares Recognized by Two-Dimensional Automata / Jarkko Kari ; Cristopher Moore
Substitution on Trajectories
Recombination Systems / Mikko Koivisto ; Pasi Rastas ; Esko Ukkonen
Algebraic Aspects of Parikh Matrices / Alexandru Mateescu
On Distributed Computing on Elliptic Curves / Tommi Meskanen ; Ari Renvall ; Paula Steinby
On the Formal Modelling of Trust in Reputation-Based Systems / Mogens Nielsen ; Karl Krukow
Issues with Applying Cryptography in Wireless Systems / Valtteri Niemi
On a Tomographic Equivalence Between (0,1)-Matrices / Maurice Nivat
P Systems with Tables of Rules / Gheorghe Paun ; Mario J. Pérez-Jiménez ; Agustín Riscos-Núñez
Some Properties of Multistage Interconnection Networks / Azaria Paz
Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof / Kai Salomaa ; Derick Wood
Complexity of Evolving Interactive Systems / Peter Verbaan ; Jan van Leeuwen ; Jirí Wiedermann
Author Index
Duality for Three: Ternary Symmetry in Process Spaces / Janusz Brzozowski ; Radu Negulescu
Mathematical Proofs at a Crossroad? / Cristian S. Calude ; Solomon Marcus
Rational Relations as Rational Series / Christian Choffrut
51.

図書

図書
Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 689 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3040 . Lecture notes in artificial intelligence
所蔵情報: loading…
52.

図書

図書
Peter Enser ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xvii, 679 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3115
所蔵情報: loading…
53.

図書

図書
Davide Maltoni, Anil K. Jain (eds.)
出版情報: Berlin : Springer, c2004  xiii, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3087
所蔵情報: loading…
目次情報: 続きを見る
Face Recognition
Face Recognition Based on Locally Salient ICA Information / J. Kim ; J. Choi ; J. Yi
Pose Invariant Face Recognition Under Arbitrary Unknown Lighting Using Spherical Harmonics / L. Zhang ; D. Samaras
Biometric Face Authentication Using Pixel-Based Weak Classifiers / S. Marcel ; Y. Rodriguez
Null Space Approach of Fisher Discriminant Analysis for Face Recognition / W. Liu ; Y. Wang ; S.Z. Li ; T. Tan
Statistical Learning of Evaluation Function for ASM/AAM Image Alignment / X. Huang
Towards a Robust Face Detector / L. Nanni ; A. Franco ; R. Cappelli
Automatic Detection of the Optimal Acceptance Threshold in a Face Verification System / R. Montes Diez ; C. Conde ; E. Cabello
Fingerprint Recognition
Registration and Modeling of Elastic Deformations of Fingerprints / S. Novikov ; O. Ushmaev
Benchmarking of Fingerprint Sensors / W.Y. Yau ; T.P. Chen ; P. Morguet
Detecting Liveness in Fingerprint Scanners Using Wavelets: Results of the Test Dataset / S. Schuckers ; A. Abhyankar
Fingerprint Distortion Measurement / H. Lorch ; H. Schroder
Study of the Distinctiveness of Level 2 and Level 3 Features in Fragmentary Fingerprint Comparison / K.M. Kryszczuk ; P. Morier ; A. Drygajlo
Biometric Sensor Interoperability: A Case Study in Fingerprints / A. Ross ; A. Jain
Efficient Fingerprint Image Enhancement for Mobile Embedded Systems / J.S. Chen ; Y.S. Moon ; K.F. Fong
Template Protection and Security
Capacity and Examples of Template-Protecting Biometric Authentication Systems / P. Tuyls ; J. Goseling
Toward Ubiquitous Acceptance of Biometric Authentication: Template Protection Techniques / M. Baltatu ; R. D'Alessandro ; R. D'Amico
Approximate Confidence Intervals for Estimation of Matching Error Rates of Biometric Identification Devices / T.J. Atkinson ; M.E. Schuckers
Architectures for Biometric Match-on-Token Solutions / R. Sanchez-Reillo ; J. Liu-Jimenez ; L. Entrena
A Secure Protocol for Data Hiding in Compressed Fingerprint Images / N.K. Ratha ; M.A. Figueroa-Villanueva ; J.H. Connell ; R.M. Bolle
Other Biometrics
Palmprint Authentication System for Civil Applications / D. Zhang ; G. Lu ; A.W.-K. Kong ; M. Wong
Writer Identification Using Finger-Bend in Writing Signature / S. Hangai ; T. Higuchi
3D Finger Biometrics / D.L. Woodard ; P.J. Flynn
Eye Movements in Biometrics / P. Kasprowski ; J. Ober
Integrating Faces, Fingerprints, and Soft Biometric Traits for User Recognition / A.K. Jain ; K. Nandakumar ; X. Lu ; U. Park
Robust Encoding of Local Ordinal Measures: A General Framework of Iris Recognition / Z. Sun
A Novel Digitizing Pen for the Analysis of Pen Pressure and Inclination in Handwriting Biometrics / C. Hook ; J. Kempf ; G. Scharfenberg
An Off-line Signature Verification System Based on Fusion of Local and Global Information / J. Fierrez-Aguilar ; N. Alonso-Hermira ; G. Moreno-Marquez ; J. Ortega-Garcia
Fusion and Multimodal Biometrics
Fingerprint Verification by Decision-Level Fusion of Optical and Capacitive Sensors / G.L. Marcialis ; F. Roli
Fusion of HMM's Likelihood and Viterbi Path for On-line Signature Verification / B. Ly Van ; S. Garcia-Salicetti ; B. Dorizzi
A New Approach on Multimodal Biometrics Based on Combining Neural Networks Using AdaBoost / K. Maghooli ; M.S. Moin
Author Index
Face Recognition
Face Recognition Based on Locally Salient ICA Information / J. Kim ; J. Choi ; J. Yi
Pose Invariant Face Recognition Under Arbitrary Unknown Lighting Using Spherical Harmonics / L. Zhang ; D. Samaras
54.

図書

図書
James F. Perters ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  x, 404 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3100
所蔵情報: loading…
目次情報: 続きを見る
Rough Sets - Introduction
Some Issues on Rough Sets / Zdzislaw Pawlak
Rough Sets - Theory
Learning Rules from Very Large Databases Using Rough Multisets / Chien-Chung Chan
Data with Missing Attribute Values:
Generalization of Indiscernibility Relation and Rule Induction / Jerzy W. Grzymala-Busse
Generalizations of Rough Sets and Rule Extraction / Masahiro Inuiguchi
Towards Scalable Algorithms for Discovering Rough Set Reducts / Marzena Kryszkiewicz ; Katarzyna Cichoń
Variable Precision Fuzzy Rough Sets / Alicja Mieszkowicz-Rolka ; Leszek Rolka
Greedy Algorithm of Decision Tree Construction for Real Data Tables / Mikhail Ju. Moshkov
Consistency Measures for Conflict Profiles / Ngoc Thanh Nguyen ; Michal Malowiecki
Layered Learning for Concept Synthesis / Sinh Hoa Nguyen ; Jan Bazan ; Andrzej Skowron ; Hung Son Nguyen
Basic Algorithms and Tools for Rough Non-deterministic Information Analysis / Hiroshi Sakai ; Akimichi Okuma
A Partition Model of Granular Computing / Yiyu Yao
Rough Sets - Applications
Musical Phrase Representation and Recognition by Means of Neural Networks and Rough Sets / Andrzej Czyzewski ; Marek Szczerba ; Bozena Kostek
Processing of Musical Metadata Employing Pawlak's Flow Graphs
Data Decomposition and Decision Rule Joining for Classification of Data with Missing Values / Rafal Latkowski ; Michal Mikolajczyk
Rough Sets and Relational Learning / R.S. Milton ; V. Uma Maheswari ; Arul Siromoney
Approximation Space for Software Models / James F. Peters ; Sheela Ramanna
Application of Rough Sets to Environmental Engineering Models / Robert H. Warren ; Julia A. Johnson ; Gordon H. Huang
Rough Set Theory and Decision Rules in Data Analysis of Breast Cancer Patients / Jerzy Zaluski ; Renata Szoszkiewicz ; Jerzy Krysiński ; Jerzy Stefanowski
Independent Component Analysis, Principal Component Analysis and Rough Sets in Face Recognition / Roman W. Świniarski
Author Index
Rough Sets - Introduction
Some Issues on Rough Sets / Zdzislaw Pawlak
Rough Sets - Theory
55.

図書

図書
Sotiris Nikoltseas, José D.P. Rolim (eds.)
出版情報: Berlin : Springer, c2004  x, 200 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3121
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Algorithm Design and Optimization for Sensor Systems / Viktor K. Prasanna
Algorithmic and Foundational Aspects of Sensor Systems / Paul G. Spirakis
Contributed Papers
On a Conjecture Related to Geometric Routing / Christos H. Papadimitriou ; David Ratajczak
WiseMAC: An Ultra Low Power MAC Protocol for Multi-hop Wireless Sensor Networks / Amre El-Hoiydi ; Jean-Dominique Decotignie
On the Computational Complexity of Sensor Network Localization / James Aspnes ; David Goldenberg ; Yang Richard Yang
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks / Ted Herman ; Sébastien Tixeuil
Balanced Data Gathering in Energy-Constrained Sensor Networks / Emil Falck ; Patrik Floréen ; Petteri Kaski ; Jukka Kohonen ; Pekka Orponen
Scale Free Aggregation in Sensor Networks / Mihaela Enachescu ; Ashish Goel ; Ramesh Govindan ; Rajeev Motwani
The Expected Uncertainty of Range Free Localization Protocols in Sensor Networks / Gideon Stupp ; Moshe Sidi
Towards a Dynamical Model for Wireless Sensor Networks / Pierre Leone ; José Rolim
Efficient Delivery of Information in Sensor Networks Using Smart Antennas / Tassos Dimitriou ; Antonis Kalis
Neighborhood-Based Topology Recognition in Sensor Networks / S.P. Fekete ; A. Kröller ; D. Pfisterer ; S. Fischer ; C. Buschmann
A Novel Fault Tolerant and Energy-Aware Based Algorithm for Wireless Sensor Networks / Azzedine Boukerche ; Richard Werner Nelem Pazzi ; Regina B. Araujo
Route Discovery with Constant Memory in Oriented Planar Geometric Networks / E. Chavez ; S. Dobrev ; E. Kranakis ; J. Opatrny ; L. Stacho ; J. Urrutia
Probabilistic Model for Energy Estimation in Wireless Sensor Networks / Mounir Achir ; Laurent Ouvry
Multi: A Hybrid Adaptive Dissemination Protocol for Wireless Sensor Networks / Carlos M.S. Figueiredo ; Eduardo F. Nakamura ; Antonio A.F. Loureiro
Constrained Flow Optimization with Applications to Data Gathering in Sensor Networks / Bo Hong
Author Index
Invited Talks
Algorithm Design and Optimization for Sensor Systems / Viktor K. Prasanna
Algorithmic and Foundational Aspects of Sensor Systems / Paul G. Spirakis
56.

図書

図書
Fumiya Iida ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  ix, 330 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3139 . Lecture notes in artificial intelligence
所蔵情報: loading…
57.

図書

図書
Ioanis Nikolaidis, Michel Barbeau, Evangelos Kranakis (eds.)
出版情報: Berlin : Springer, c2004  ix, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3158
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Approximating the Minimum Number of Maximum Power Users in Ad Hoc Networks / Errol L. Lloyd ; Rui Liu ; S.S. Ravi
Multicast Versus Broadcast in a MANET / Thomas Kunz
Maximal Source Coverage Adaptive Gateway Discovery for Hybrid Ad Hoc Networks / Pedro M. Ruiz ; Antonio F. Gomez-Skarmeta
A Coverage-Preserving Density Control Algorithm for Wireless Sensor Networks / Jie Jiang ; Wenhua Dou
Improved Approximation Algorithms for Connected Sensor Cover / Stefan Funke ; Alex Kesselman ; Zvi Lotker ; Michael Segal
Energy-Memory-Security Tradeoffs in Distributed Sensor Networks / David D. Hwang ; Bo-Cheng Charles Lai ; Ingrid Verbauwhede
Utilizing the Uncertainty of Intrusion Detection to Strengthen Security for Ad Hoc Networks / Dennis Dreef ; Sanaz Ahari ; Kui Wu ; Valerie King
Weathering the Storm: Managing Redundancy and Security in Ad Hoc Networks / Mike Burmester ; Tri Van Le ; Alec Yasinsac
A Secure Autoconfiguration Protocol for MANET Nodes / Fabio Buiati ; Ricardo Puttini ; Rafael De Sousa
Analysis of the Information Propagation Time Among Mobile Hosts / Tassos Dimitriou ; Sotiris Nikoletseas ; Paul Spirakis
Consensus with Unknown Participants or Fundamental Self-Organization / David Cavin ; Yoav Sasson ; André Schiper
Connectivity of Wireless Sensor Networks with Constant Density / Sarah Carruthers
Range-Free Ranking in Sensors Networks and Its Applications to Localization / Marc Martinez de Albeniz ; Stéphane Pérénnes
An Analytic Model Predicting the Optimal Range for Maximizing 1-Hop Broadcast Coverage in Dense Wireless Networks / Xiaoyan Li ; Thu D. Nguyen ; Richard P. Martin
Experimental Comparison of Algorithms for Energy-Efficient Multicasting in Ad Hoc Networks / Stavros Athanassopoulos ; Ioannis Caragiannis ; Christos Kaklamanis ; Panagiotis Kanellopoulos
Improving Distance Based Geographic Location Techniques in Sensor Networks / Michel Barbeau ; Evangelos Kranakis ; Danny Krizanc ; Pat Morin
A Fair Distributed Solution for Selfish Nodes Problem in Wireless Ad Hoc Networks / Yongwei Wang ; Venkata C. Giruka ; Mukesh Singhal
Session-Based Service Discovery and Access Control in Peer-to-Peer Communications / Anand Dersingh ; Ramiro Liscano ; Allan Jost ; Hao Hu
A Controlled Mobility Protocol for Topology Management of Ad Hoc Networks / Amit Shirsat
Efficient Data Collection Trees in Sensor Networks with Redundancy Removal / Shoudong Zou ; Ioanis Nikolaidis ; Janelle J. Harms
Cross-Layer Optimization for High Density Sensor Networks: Distributed Passive Routing Decisions / Primo  èkraba ; Hamid Aghajan ; Ahmad Bahai
Adaptive Probing and Communication in Sensor Networks / Iftach Ragoler ; Yossi Matias ; Nimrod Aviram
Progress Based Localized Power and Cost Aware Routing Algorithms for Ad Hoc and Sensor Wireless Networks / Johnson Kuruvila ; Amiya Nayak ; Ivan Stojmenovic
Application of Eigenspace Analysis Techniques to Ad-Hoc Networks / Sumeeth Nagaraj ; Stephen Bates ; Christian Schlegel
A Rate-Adaptive MAC Protocol for Low-Power Ultra-Wide Band Ad-Hoc Networks / Ruben Merz ; Jean-Yves Le Boudec ; Jörg Widmer ; Bo idar Radunović
Lifetime-Extended, Power-Aware, Non-position Base Localized Routing in Hybrid Ad-Hoc/Infrastructure Network / Xueqing Li ; Roshdy H.M. Hafez
Short Contributed Papers
Routing Table Dynamics in Mobile Ad-Hoc Networks: A Continuum Model / Ernst W. Grundke
Realistic Mobility for Mobile Ad Hoc Network Simulation / Michael Feeley ; Norman Hutchinson ; Suprio Ray
On Timers of Routing Protocols in MANETs / Kiran K. Vadde ; Violet R. Syrotiuk
UAMAC: Unidirectional-Link Aware MAC Protocol for Heterogeneous Ad Hoc Networks / Sung-Hee Lee ; Jong-Mu Choi ; Young-Bae Ko
Author Index
Contributed Papers
Approximating the Minimum Number of Maximum Power Users in Ad Hoc Networks / Errol L. Lloyd ; Rui Liu ; S.S. Ravi
Multicast Versus Broadcast in a MANET / Thomas Kunz
58.

図書

図書
José Neuman de Souza, Petre Dini, Pascal Lorenz (eds.)
出版情報: Berlin : Springer, c2004  xxvi, 1390 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3124
所蔵情報: loading…
目次情報: 続きを見る
Multimedia Services
Enhancing 3G Cellular Systems With User Profiling Techniques for Multimedia Application QoS Adaptation / G. Araniti ; P. De Meo ; A. Iera ; D. Ursino
Delivery of Streaming Video in Next-Generation Mobile Networks / S. Bates
Use of the 2500-2690 MHz Band for Multimedia Broadcast Multicast Service / A.R. Oliveira ; A. Correia
Throughput Fairness and Capacity Improvement of Packet-Switched Networks Through Space-Time Scheduling / E.B. Silva ; L.S. Cardoso ; T.F. Maciel ; F.R.P. Cavalcanti ; Y.C.B. Silva
Antennas
Performance of MIMO Antenna Systems With Hybrids of Transmit Diversity and Spatial Multiplexing Using Soft-Output Decoding / W.C. Freitas Jr. ; A.L.F. de Almeida ; J.C.M. Mota ; R.L. de Lacerda Neto
Simple Model to Determine the Gap Effect on the Input Impedance of a Cylindrical Dipole. Application to Standard Antennas / A. Kazemipour ; X. Begaud ; D. Allal
An Interference Avoidance Technique for Ad Hoc Networks Employing Array Antennas / T. Hunziker ; J.L. Bordim ; T. Ohira ; S. Tanaka
Analysis of a Cylindrical Microstrip Antenna by the Nonorthogonal FDTD Method and Parallel Processing / R.O. dos Santos ; R.M.S. de Oliveira ; F.J.B. Barros ; C.L. da S.S. Sobrinho
Transmission Technologies and Wireless Networks
Unified Analysis of the Local Scatters Channel Model / W.J.L. Queiroz ; F.G.S. Silva ; M.S. Alencar
Spacial Analysis of the Local Scatters Channel Model
Propagation Prediction Based on Measurement at 5.8GHz for Fixed Wireless Access / T.M. Keen ; T.A. Rahman
Dimensioning of Wireless Links Sharing Voice and Data / M. de Oliveira Marques ; I.S. Bonatti
Communication Theory (I)
An Iterative Matrix-Based Procedure for Finding the Shannon Cover for Constrained Sequences / D.P.B. Chaves ; C. Pimentel ; B.F. Uchôa-Filho
Truncated Importance Sampling Simulation Applied to a Turbo Coded Communication System / B.B. Albert ; F.M. de Assis
Zero-Error Capacity of a Quantum Channel / R.A.C. Medeiros
Communication Theory (II)
Communication System Recognition by Modulation Recognition / A.R. Attar ; A. Sheikhi ; A. Zamani
An Extension to Quasi-orthogonal Sequences / F. Vanhaverbeke ; M. Moeneclaey
Trellis Code Construction for the 2-User Binary Adder Channel / V.C. da Rocha Jr. ; M.L.M.G. Alcoforado
Rayleigh Fading Multiple Access Channel Without Channel State Information / N. Marina
Communication Theory (III)
Adaptive Decision Feedback Multiuser Detectors With Recurrent Neural Networks for DS-CDMA in Fading Channels / R.C. de Lamare ; R. Sampaio-Neto
Comparison of Two Filterbank Optimization Criteria for VDSL Transmission / J. Louveaux ; C. Siclet ; D. Pinchon ; P. Siohan
Phase Estimation and Phase Ambiguity Resolution by Message Passing / J. Dauwels ; H. Wymeersch ; H.-A. Loeliger
An Expurgated Union Bound for Space-Time Code Systems / V.-D. Ngo ; H.-W. Choi ; S.-C. Park
Achieving Channel Capacity With Low Complexity RS-BTC Using QPSK over AWGN Channel / R. Zhou ; A. Picart ; R. Pyndiah ; A. Goalic
Telecommunication Pricing and Billing
Design of Sub-session Based Accounting System for Different Service Level of Mobile IP Roaming User / B. Lee ; H. Kim ; K. Chung
Priority Telephony System With Pricing Alternatives / S. Yaipairoj ; F. Harmantzis
Mobile Telephony Industry: Price Discrimination Strategies for Interconnected Networks / L. Cricelli ; F. Di Pillo ; N. Levialdi ; M. Gastaldi
Network Performance and Telecommunication Services
A Novel ECN-Based Congestion Control and Avoidance Algorithm With Forecasting and Verifying / H.-s. Liu ; K. Xu ; M.-w. Xu
Competitive Neural Networks for Fault Detection and Diagnosis in 3G Cellular Systems / G.A. Barreto ; L.G.M. Souza ; R.A. Frota ; L. Aguayo ; J.S. Yamamoto ; P.E.O. Macedo
Performance Analysis of an Optical MAN Ring for Asynchronous Variable Length Packets / H. Castel ; G. Hébuterne
Enabling Value-Generating Telecommunications Services upon Integrated Multiservice Networks / D.X. Adamopoulos ; C.A. Papandreou
Active Networks and Mobile Agents
An Architecture for Publishing and Distributing Service Components in Active Networks / N. Dragios ; C. Harbilas ; K.P. Tsoukatos ; G. Karetsos
Performance Comparison ofActive Network-Based and Non Active Network-Based Single-Rate Multicast Congestion Control Protocols / Y. Darmaputra ; R.F. Sari
MAMI: Mobile Agent Based System for Mobile Internet / M.A. Haq ; M. Matsumoto
Design and Implementation of an ANTS-Based Test Bed for Collecting Data in Active Framework / V. Damasceno Matos ; J.L. de Castro e Silva ; J.C. Machado ; R.M. de Castro Andrade ; J.N. de Souza
Adaptive QoS Management for Regulation of Fairness Among Internet Applications / M.F. de Castro ; D. Gaïti ; A. M'hamed
Optical Photonic Technologies (I)
Black Box Model of Erbium-Doped Fiber Amplifiers in C and L Bands / A. Teixeira ; D. Pereira ; S. Junior ; M. Lima ; P. André ; R. Nogueira ; J. da Rocha ; H. Fernandes
Optical Packet Switching Access Networks Using Time and Space Contention Resolution Schemes / L.H. Bonani ; F.J.L. Pádua ; E. Moschim ; F.R. Barbosa
Full-Optical Spectrum Analyzer Design Using EIT Based Fabry-Perot Interferometer / A. Rostami
A Powerful Tool Based on Finite Element Method for Designing Photonic Crystal Devices / A. Cerqueira Jr. ; K.Z. Nobrega ; F. Di Pasquale ; H.E. Hernandez-Figueroa
Optical Photonic Technologies (II)
Analysis of Quantum Light Memory in Atomic Systems
Wavelength Conversion With 2R-Regeneration by UL-SOA Induced Chirp Filtering / C. de Mello Gallep ; E. Conforti
Performance Analysis of Multidimensional PPM Codes for Optical CDMA Systems in the Presence of Noise / J.S.G. Panaro ; C. de Almeida
Smart Strategies for Single-Photon Detection / J.B.R. Silva ; R.V. Ramos ; E.C. Giraudo
Optical Networks (I)
Inter-arrival Planning for Sub-graph Routing Protection in WDM Networks / D.A.A. Mello ; J.U. Pelegrini ; M.S. Savasini ; G.S. Pavani ; H. Waldman
An Adaptive Routing Algorithm for Intelligent and Transparent Optical Networks / R.G. Dante ; F. Pádua ; J.F. Martins-Filho
Novel Wavelength Assignment Algorithm for Intelligent Optical Networks Based on Hops Counts and Relative Capacity Loss
Ad Hoc Networks (I)
Assigning Codes in a Random Wireless Network / F. Djerourou ; C. Lavault ; G. Paillard ; V. Ravelomanana
Flexible QoS Routing Protocol for Mobile Ad Hoc Network / L. Khoukhi ; S. Cherkaoui
Integrating Mobile Ad Hoc Network into Mobile IPv6 Network / A. Ali ; L.A. Latiff ; N. Fisal
Network Architecture for Scalable Ad Hoc Networks / J. Costa-Requena ; J. Gutiérrez ; R. Kantola ; J. Creado ; N. Beijar
Ad Hoc Networks (II)
Dual Code-Sensing Spread Spectrum Random Access (DCSSRA) Protocol for Ad Hoc Networks / C.-J. Wang ; W. Quan ; Z.-H. Deng ; Y.-A. Liu ; W.-B. Wang ; J.-C. Gao
Exploiting the Small-World Effect to Increase Connectivity in Wireless Ad Hoc Networks / D. Cavalcanti ; D. Agrawal ; J. Kelner ; D. Sadok
Adaptive Resource Management in Mobile Wireless Cellular Networks / M. Hossain ; M. Hassan ; H.R. Sirisena
Comparative Analysis of Ad Hoc Multi-path Update Techniques for Multimedia Applications / M. Kwan ; K. Do&gcaron;ançay
Ad Hoc Networks (III)
PRDS: A Priority Based Route Discovery Strategy for Mobile Ad Hoc Networks / B. Zhou ; A. Marshall ; J. Wu ; T.-H. Lee ; J. Liu
Performance Evaluation of AODV Protocol over E-TDMA MAC Protocol for Wireless Ad Hoc Networks / V. Loscrì ; F. De Rango ; S. Marano
Mitigating the Hidden Terminal Problem and Improving Spatial Reuse in Wireless Ad Hoc Network / J.-W. Bang ; S.-K. Youm ; C.-H. Kang ; S.-J. Seok
A New Distributed Power Control Algorithm Based on a Simple Prediction Method / R.A.O. Neto ; F.S. Chaves
Ad Hoc Networks (IV)
A Heuristic Approach to Energy Saving in Ad Hoc Networks / R.I. da Silva ; J.C.B. Leite ; M.P. Fernandez
Calculating the Maximum Throughput in Multihop Ad Hoc Networks / B.A.M. Villela ; O.C.M.B. Duarte
Throughput of Distributed-MIMO Multi-stage Communication Networks over Ergodic Channels / M. Dohler ; A. Gkelias ; A.H. Aghvami
Delivering the Benefits of Directional Communications for Ad Hoc Networks Through an Efficient Directional MAC Protocol / T. Ueda
Signal Processing (I)
Synchronization Errors Resistant Detector for OFDM Systems / Y. Bar-Ness ; R. Solá
The Discrete Cosine Transform over Prime Finite Fields / M.M.C. de Souza ; H.M. de Oliveira ; R.M.C. de Souza ; M.M. Vasconcelos
A Lattice Version of the Multichannel Fast QRD Algorithm Based on A Posteriori Backward Errors / A.L.L. Ramos ; J.A. Apolinário Jr.
New Blind Algorithms Based on Modified "Constant Modulus" Criteria for QAM Constellations / C.A.R. Fernandes
Signal Processing (II)
Channel Estimation Methods for Space-Time Block Transmission in Frequency-Flat Channels / N. Nefedov
Faster DTMF Decoding / J.B. Lima ; R.M. Campello de Souza ; M.M. Campello de Souza
Adaptive Echo Cancellation for Packet-Based Networks / V. Stewart ; C.F.N. Cowan ; S. Sezer
The Genetic Code Revisited: Inner-to-Outer Map, 2D-Gray Map, and World-Map Genetic Representations / N.S. Santos-Magalhães
Signal Processing (III)
On Subspace Channel Estimation in Multipath SIMO and MIMO Channels
A Novel Demodulation Technique for Recovering PPM Signals in the Presence of Additive Noise / P. Azmi ; F. Marvasti
A Novel Iterative Decoding Method for DFT Codes in Erasure Channels
Comparison Between Several Methods of PPM Demodulation Based on Iterative Techniques / M. Shariat ; M. Ferdosizadeh ; M.J. Abdoli ; B. Makouei ; A. Yazdanpanah
Signal Processing (IV)
A Network Echo Canceler Based on a SRF QRD-LSL Adaptive Algorithm Implemented on Motorola StarCore SC140 DSP / C Paleologu ; A.A. Enescu ; S. Ciochina
Detection of Equalization Errors in Time-Varying Channels / J.F. Galdino ; E.L. Pinto ; E.S. Sousa
A Design Technique for Oversampled Modulated Filter Banks and OFDM/QAM Modulations / D Pinchon
Nonlinear Bitwise Equalization / F.-J. González Serrano ; M. Martínez Ramón
Network Performance and MPLS
Modelling and Performance Evaluation of Wireless Networks / G.H.S. Carvalho ; R.M. Rodrigues ; C.R.L. Francês ; J.C.W.A. Costa ; S.V. Carvalho
Improving End-System Performance With the Use of the QoS Management / M.A. Teixeira ; J.S. Barbar
Throughput Maximization of ARQ Transmission Protocol Employing Adaptive Modulation and Coding / C. González ; L. Szczeciński ; S. Aïssa
CR-LSP Dynamic Rerouting Implementation for MPLS Network Simulations in Network Simulator / T.A. Moura Oliveira ; E. Guimarães Nobre ; J. Celestino Jr.
Traffic Engineering (I)
FuDyLBA: A Traffic Engineering Load Balance Scheme for MPLS Networks Based on Fuzzy Logic / P.R.X. Ponte ; A.C.F. Tomaz ; A.L.B.P.B. Diniz
Service Differentiation over GMPLS / H. Moungla ; F. Krief
Sliding Mode Queue Management in TCP/AQM Networks / M. Jalili-Kharaajoo
A Distributed Algorithm for Weighted Max-Min Fairness in MPLS Networks / F. Skivée ; G. Leduc
Traffic Engineering (II) and Internet (I)
Applying Artificial Neural Networks for Fault Prediction in Optical Network Links / C.H.R. Gonçalves ; M. Oliveira ; R.M.C. Andrade
Capacity Allocation for Voice over IP Networks Using Maximum Waiting Time Models / S. Sharafeddine ; N. Kongtong ; Z. Dawy
SCTP Mobility Highly Coupled With Mobile IP / J.-W. Jung ; Y.-K. Kim ; H.-K. Kahng
Migration to the New Internet - Supporting Inter Operability Between IPv4 and IPv6 Networks / T. Vazão ; L. Raposo ; J. Santos
SIP, QoS (I), and Switches
Smart Profile: A New Method for Minimising SIP Messages / A. Meddahi ; G. Vanwormhoudt ; H. Afifi
A QoS Provisioned CIOQ ATM Switch With m Internal Links / C.R. dos Santos ; S. Motoyama
Multi-constrained Least Cost QoS Routing Algorithm / H. Jiang ; P.-l. Yan ; J.-g. Zhou ; L.-j. Chen ; M. Wu
The New Packet Scheduling Algorithms for VOQ Switches / A. Baranowska ; W. Kabaciński
Optical Networks (II)
An Algorithm for the Parameters Extraction of a Semiconductor Optical Amplifier / R.P. Vivacqua ; C.M. Gallep
All-Optical Gain Controlled EDFA: Design and System Impact / J.C.R.F. Oliveira ; J.B. Rosolem ; A.C. Bordonalli
Iterative Optimization in VTD to Maximize the Open Capacity of WDM Networks / K.D.R. Assis
Link Management Protocol (LMP) Evaluation for SDH/Sonet / P. Uria Recio ; P. Rauch ; K. Espinosa
Optical Networks (III) and Network Operation and Management (I)
Experimental Investigation of WDM Transmission Properties of Optical Labeled Signals Using Orthogonal IM/FSK Modulation Format / P.V. Holm-Nielsen ; J. Zhang ; J.J. Vegas Olmos ; I. TafurMonroy ; C. Peucheret ; V. Polo ; P. Jeppesen ; A.M.J. Koonen ; J. Prat|p753
Performance Assessment of Optical Burst Switched Degree-Four Chordal Ring Networks / J.J.P.C. Rodrigues ; M.M. Freire ; P. Lorenz
All-Optical Routing Limitations Due to Semiconductor Optical Amplifiers Dynamics / P. Monteiro
The Hurst Parameter for Digital Signature of Network Segment / M. Lemes Proença Jr. ; C. Coppelmans ; M. Bottoli ; A. Alberti ; L.S. Mendes
Network Operation and Management (II)
High Performance Cluster Management Based on SNMP: Experiences on Integration Between Network Patterns and Cluster Management Concepts / R. Sanger Alves ; C. Cassales Marquezan ; L. Zambenedetti Granville ; P. O.A. Navaux
A Web-Based Pro-active Fault and Performance Network Management Architecture / A.S. Ramos ; A. Salles Garcia ; R. da Silva Villaça ; R.B. Drago
A CIM Extension for Peer-to-Peer Network and Service Management / G. Doyen ; O. Festor ; E. Nataf
A Generic Event-Driven System for Managing SNMP-Enabled Communication Networks / A.P. Braga ; R. Rios ; R. Andrade
Network Management Theory and Telecommunications Networks
Algorithms for Distributed Fault Management in Telecommunications Networks / E. Fabre ; A. Benveniste ; S. Haar ; C. Jard ; A. Aghasaryan
Fault Identification by Passive Testing / X.H. Guo ; B.H. Zhao ; L. Qian
Script MIB Extension for Resource Limitation in SNMP Distributed Management Environments / A. da Ro ha ; C.A. da Ro ha
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks / J. Thomas
Mobility and Broadband Wireless
IEEE 802.11 Inter-WLAN Mobility Control With Broadband Supported Distribution System Integrating WLAN and WAN / M. Rahman
A Cost-Effective Local Positioning System Architecture Based on TDoA / R.M. Abreu ; M.J.A. de Sousa ; M.R. Santos
Indoor Geolocation With Received Signal Strength Fingerprinting Technique and Neural Networks / C. Nerguizian ; C. Despins ; S. Affès
Implementation of a Novel Credit Based SCFQ Scheduler for Broadband Wireless Access / E Garcia-Palacios ; C. Toal ; S. Dawson
Cellular System Evolution (I)
BER for CMOS Analog Decoder With Different Working Points / K. Ruttik
BiCMOS Variable Gain LNA at C-Band With Ultra Low Power onsumption for WLAN / F Ellinger ; C. Carta ; L. Rodoni ; G. von Büren ; D. Barras,M. Schmatz ; H. Jäckel
Joint MIMO and MAI Suppression for the HSDPA / M. Marques da Silva
A Joint Precoding Scheme and Selective Transmit Diversity
Cellular System Evolution (II)
Application of a Joint Source-Channel Decoding Technique to UMTS Channel Codes and OFDM Modulation / M. Jeanne ; I. Siaud ; O. Seller
Transmit Selection Diversity for TDD-CDMA With Asymmetric Modulation in Duplex Channel / I. Jeong ; M. Nakagawa
Planning the Base Station Layout in UMTS Urban Scenarios: A Simulation Approach to Coverage and Capacity Estimation / E. Zola ; F. Barceló
A General Traffic and Queueing Delay Model for 3G Wireless Packet Networks / G Aniba
Personal Communication, Terrestrial Radio Systems, and Satellites
MobiS: A Solution for the Development of Secure Applications for Mobile Devices / W. Viana ; B. Filho ; K. Magalhães ; C. Giovano ; J. de Castro
Compensating Nonlinear Amplifier Effects on a DVB-T Link / V. Vale do Nascimento ; J.E.P. de Farias
Controlled Load Services in IP QoS Geostationary Satellite Networks / M. Tropea
Mobility Management
Fast Authentication for Inter-domain Handover / H. Wang ; A.R. Prasad
Session and Service Mobility in Service Specific Label Switched Wireless Networks / P. Maruthi ; G. Sridhar ; V. Sridhar
Mobility Management for the Next Generation of Mobile Cellular Systems / M. Carli ; F. Cappabianca ; A. Tenca ; A. Neri
Handoff Delay Performance Comparisons of IP Mobility Management Schemes Using SIP and MIP / H.-s. Kim ; C.H. Kim ; B.-h. Roh ; S.W. Yoo
Multimedia Information, Network Reliability, EMC in Communications, and Multicast
A Video Compression Tools Comparison for Videoconferencing and Streaming Applications for 3.5G Environments / N. Martins ; A. Marquet
Fairness and Protection Behavior of Resilient Packet Ring Nodes Using Network Processors / A. Kirstädter ; A. Hof,W. Meyer ; E. Wolf
Markov Chain Simulation of Biological Effects on Nerve Cells Ionic Channels Due to Electromagnetic Fields Used in Communication Systems / D.C. Uchôa ; F.A.F. Tejo
Multiobjective Multicast Routing Algorithm / J. Crichigno ; B. Barán
Image Processing, ATM, and Web Services
A Comparison of Filters for Ultrasound Images / P.B. Calíope ; F.N.S. Medeiros ; R.C.P. Marques ; R.C.S. Costa
Filtering Effects on SAR Images Segmentation / E.A. Carvalho
The Implementation of Scalable ATM Frame Delineation Circuits
Web Based Service Provision A Case Study: Electronic DesignAutomation
Communication, Security, and QoS (II)
Identification of LOS/NLOS States Using TOA Filtered Estimates / A.G. Guimarães ; M.A. Grivet
A Hybrid Protocol for Quantum Authentication of Classical Messages
Attack Evidence Detection, Recovery, and Signature Extraction With ADenoIdS / F.S. de Paula ; P.L. de Geus
QoS-Differentiated Secure Charging in Ad-Hoc Environments / J. Girão ; J.P. Barraca ; B. Lamparter ; D. Westhoff ; R. Aguiar
Switching and Routing
Multi-rate Model of the Group of Separated Transmission Links of Various Capacities / M. Gł&acedil;bowski ; M. Stasiak
A Multicast Routing Algorithm Using Multiobjective Optimization
A Transsignaling Strategy for QoS Support in Heterogeneous Networks / D Gomes ; P. Gonçalves ; R.L. Aguiar
Evaluation of Fixed Thresholds for Allocation and Management of Dedicated Channels Transmission Power in WCDMA Networks / C.H.M. de Lima ; E.B. Rodrigues ; V.A. de Sousa Jr. ; A.R. Braga
Next Generation Systems (I)
Efficient Alternatives to Bi-directional Tunnelling for Moving Networks / L. Burness ; P. Eardley ; J. Eisl ; R. Hancock ; E. Hepworth ; A. Mihailovic
Group Messaging in IP Multimedia Subsystem of UMTS / I. Miladinovic
The Effect of a Realistic Urban Scenario on the Performance of Algorithms for Handover and Call Management in Hierarchical Cellular Systems / E Natalizio ; A. Molinaro
Providing Quality of Service for Clock Synchronization / A.C. Callado ; J. Keiner ; A.C. Frery ; D.F.H. Sadok
Next Generation Systems (II) and Traffic Management (I)
Application of Predictive Control Algorithm to Congestion Control in Differentiated Service Networks / B.N. Araabi
Design of a Manageable WLAN Access Point / T. Vanhatupa ; A. Koivisto ; J. Sikiö ; M. Hännikäinen ; T.D. Hämäläinen
Performance Evaluation of Circuit Emulation Service in a Metropolitan Optical Ring Architecture / V.H. Nguyen ; M. Ben Mamoun ; T. Atmaca ; D. Popa ; N. Le Sauze ; L. Ciavaglia
Expedited Forwarding End to End Delay Variations / H. Alshaer ; E. Horlait
Traffic Management (II)
Internet Quality of Service Measurement Tool for Both Users and Providers / A. Ferro ; F. Liberal ; E. Ibarrola ; A. Muñoz ; C. Perfecto
A XML Policy-Based Approach for RSVP / E. Toktar ; E. Jamhour ; C. Maziero
SRBQ and RSVPRAgg: A Comparative Study / R. Prior ; S. Sargento ; P. Brandão ; S. Crisóstomo
TCP Based Layered Multicast Network Congestion Control / A.A. Al Naamani ; A.M. Al Naamany ; H. Bourdoucen
A Novel Detection Methodology of Network Attack Symptoms at Aggregate Traffic Level on Highspeed Internet Backbone Links
Wireless Access (I)
Precision Time Protocol Prototype on Wireless LAN / J. Kannisto
Moving Telecom Outside Plant Systems Towards a Standard Interoperable Environment / G.M. Weiss ; E.Z.V.Dias
Analysis and Contrast Between STC and Spatial Diversity Techniques for OFDM WLAN With Channel Estimation / E.R. de Lima ; S.J. Flores ; V. Almenar ; M.J. Canet
Fair Time Sharing Protocol: A Solution for IEEE 802.11b Hot Spots / A. Munaretto ; M. Fonseca ; K. Al Agha ; G. Pujolle
Wireless LANs (II)
An Algorithm for Dynamic Priority Assignment in 802.11e WLAN MAC Protocols / G. Ruggeri ; D. Tripodi
DHCP-Based Authentication for Mobile Users/Terminals in a Wireless Access Network / L. Veltri ; O. Marullo
Performance Analysis of Multi-pattern Frequency Hopping Wireless LANs / D. Chen ; A.K. Elhakeem ; X. Wang
A Delayed-ACK Scheme for MAC-Level Performance Enhancement of Wireless LANs / D. Kliazovich ; F. Granelli
Wireless LANs (III) and Network Planning and Optimization
The VDSL Deployments and Their Associated Crosstalk With xDSL Systems / K.-A. Han ; J.-J. Lee ; J.-C. Ryou
Design of PON Using VQ-Based Fiber Optimization / P. Shah ; N. Roy ; A. Roy ; K. Basu ; S.K. Das
IPv6 Deployment Support Using an IPv6 Transitioning Architecture - The Site Transitioning Architecture (STA) / M. Mackay ; C. Edwards
An Intelligent Network Simulation Platform Embedded With Multi-agents Systems for Next Generation Internet / H. Lecarpentier ; L. Merghem
Internet (II)
Reduced-State SARSA With Channel Reassignment for Dynamic Channel Allocation in Cellular Mobile Networks / N. Lilith ; K. Doğançay
Optimal Bus and Buffer Allocation for a Set of Leaky-Bucket-Controlled Streams / E. den Boef ; J. Korst ; W.F.J. Verhaegh
Scalable End-to-End Multicast Tree Fault Isolation / T. Friedman ; D. Towsley ; J. Kurose
Internet Service Pricing Based on User and Service Profiles / Y. Khene ; N. Agoulmine
Design and Performance of Asymmetric Turbo Coded Hybrid-ARQ / K. Oteng-Amoako ; S. Nooshabadi ; J. Yuan
ICT 2004 Poster Papers
Author Index
Multimedia Services
Enhancing 3G Cellular Systems With User Profiling Techniques for Multimedia Application QoS Adaptation / G. Araniti ; P. De Meo ; A. Iera ; D. Ursino
Delivery of Streaming Video in Next-Generation Mobile Networks / S. Bates
59.

図書

図書
Petre Dini, Pascal Lorenz, José Neuman de Souza (eds.)
出版情報: Berlin : Springer, c2004  xi, 312 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3126
所蔵情報: loading…
60.

図書

図書
Nora Koch, Piero Fraternali, Martin Wirsing (eds.)
出版情報: Berlin : Springer, c2004  xxi, 623 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3140
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
The Real World or Web Engineering? / Lutz Heuser
Web Engineering - Old Wine in New Bottles? / Gerti Kappel ; Elke Michlmayr ; Birgit Pröll ; Siegfried Reich ; Werner Retschitzegger
Requirements Engineering: Problem Analysis and Solution Specification / R.J. Wieringa
Web Quality and Usability
Automated Evaluation of Web Usability and Accessibility by Guideline Review / Jean Vanderdonckt ; Abdo Beirekdar ; Monique Noirhomme-Fraiture
"I Need It Now": Improving Website Usability by Contextualizing Privacy Policies / Davide Boichini ; Qingfeng He ; Annie I. Antón ; William Stufflebeam
A Linear Regression Model for Assessing the Ranking of Web Sites Based on Number of Visits / Dowming Yeh ; Pei-Chen Sun ; Jia-Wen Lee
A Framework for Exploiting Conceptual Modeling in the Evaluation of Web Application Quality / Pier Luca Lanzi ; Maristella Matera ; Andrea Maurino
Using Adaptive Techniques to Validate and Correct an Audience Driven Design of Web Sites / Sven Casteleyn ; Irene Garrigós ; Olga De Troyer
Conceptual Modeling
Modeling User Input and Hypermedia Dynamics in Hera / Geert-Jan Houben ; Flavius Frasincar ; Peter Barna ; Richard Vdovjak
A Behavioral Semantics of OOHDM Core Features and of Its Business Process Extension / Hans Albrecht Schmid ; Oliver Herfort
XGuide - Concurrent Web Engineering with Contracts / Clemens Kerer ; Engin Kirda
A Proposal for Petri Net Based Web Service Application Modeling / Daniel Moldt ; Sven Offermann ; Jan Ortmann
Extending Navigation Modelling to Support Content Aggregation in Web Sites / Pedro Valderas ; Joan Fons ; Vicente Pelechano
Web Services and Distributed Processes and Systems
Exception Handling Within Workflow-Based Web Applications / Marco Brambilla ; Nicola D'Elia
Loosely Coupled Web Services in Remote Object Federations / Uwe Zdun
MDA Applied: From Sequence Diagrams to Web Service Choreography / Bernhard Bauer ; Jörg P. Müller
A Three-Level Architecture for Distributed Web Information Systems / Markus Kirchberg ; Klaus-Dieter Schewe ; Bernhard Thalheim ; Richard Wang
Modeling and Analysis of Contract Net Protocol / Fu-Shiung Hsieh
Web Metrics, Cost Estimation, and Measurement
A Web Metrics Survey Using WQM / Coral Calero ; Julián Ruiz ; Mario Piattini
A COSMIC-FFP Based Method to Estimate Web Application Development Effort / Gennaro Costagliola ; Filomena Ferrucci ; Carmine Gravino ; Genoveffa Tortora ; Giuliana Vitiello
Evaluation of Commercial Web Engineering Processes / Andrew McDonald ; Ray Welland
A Roadmap Towards Distributed Web Assessment / Arno Scharl
Ontology for Software Metrics and Indicators: Building Process and Decisions Taken / Luis Olsina ; María de los Angeles Martín
Measuring Semantic Relations of Web Sites by Clustering of Local Context / Carsten Stolz ; Vassil Gedov ; Kai Yu ; Ralph Neuneier ; Michal Skubacz
Personalization and Adaptation of Web Applications
Interplay of Content and Context / Rudi Belotti ; Corsin Decurtins ; Michael Grossniklaus ; Moira C. Norrie ; Alexios Palinginis
Model-Driven Design of Web Applications with Client-Side Adaptation / Stefano Ceri ; Peter Dolog ; Wolfgang Nejdl
Personalisation Services for Self E-learning Networks / Kevin Keenoy ; Alexandra Poulovassilis ; Vassilis Christophides ; Philippe Rigaux ; George Papamarkos ; Aimilia Magkanaraki ; Miltos Stratakis ; Nicolas Spyratos ; Peter Wood
Personalizing Web Sites for Mobile Devices Using a Graphical User Interface / Leonardo Teixeira Passos ; Marco Tulio Valente
Personalizing Digital Libraries at Design Time: The Miguel de Cervantes Digital Library Case Study / Alejandro Bia ; Jaime Gómez
Code Generation and Tools
Comparison of Two Approaches for Automatic Construction of Web Applications: Annotation Approach and Diagram Approach / Mitsuhisa Taguchi ; Kornkamol Jamroendararasame ; Kazuhiro Asami ; Takehiro Tokuda
Device Independent Web Applications - The Author Once - Display Everywhere Approach / Thomas Ziegert ; Markus Lauff
WAPS: Web Application Prototyping System / Roberto Paiano ; Andrea Pandurino
A Framework for the Simulation of Web Applications / Pedro Peixoto ; K.K. Fung ; David Lowe
Advisor Suite: A Tool for Rapid Development of Maintainable Online Sales Advisory Systems / Dietmar Jannach ; Ceroid Kreutler
Development Process and Process Improvement of Web Applications
An Agent-Based Approach to Web Site Maintenance / Wamberto W. Vasconcelos ; João Cavalcanti
From Maintenance to Evolutionary Development of Web Applications: A Pragmatic Approach / Rudolf Ramler ; Klaus Wolfmaier ; Edgar Weippl
An MDA Approach for the Development of Web Applications / Santiago Meliá Beigbeder ; Cristina Cachero Castro
RetroWeb: A Web Site Reverse Engineering Approach / Sélima Besbes Essanaa ; Nadira Lammari
Empirical Methodologies for Web Engineering / Briony J. Oates ; Gary Griffiths ; Mike Lockyer ; Barry Hebbron
Semantic Web and Applications
Using RDF to Query Spatial XML / Jose Eduardo Córcoles ; Pascual Conzález
Extending Policy Languages to the Semantic Web / Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Cristiano Fugazza ; Pierangela Samarati
HyCo - An Authoring Tool to Create Semantic Learning Objects for Web-Based E-learning Systems / Francisco J. García ; Adriana J. Berlanga ; Maria N. Moreno ; Javier García ; Jorge Carabias
Annotation for the Semantic Web During Website Development / Peter Plessers
Lifting XML Schema to OWL / Matthias Ferdinand ; Christian Zirpins ; David Trastour
Performance
Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection / Daniel Brodie ; Amrish Gupta ; Weisong Shi
SIE - Intelligent Web Proxy Framework / Grzegorz Andruszkiewicz ; Krzysztof Ciebiera ; Marcin Gozdalik ; Cezary Kaliszyk ; Mateusz Srebrny
Wide Area Performance Monitoring Using Aggregate Latency Profiles / Vladimir Zadorozhny ; Avigdor Gal ; Louiqa Raschid ; Qiang Ye
Workload Characterization of Uncacheable HTTP Content / Zhaoming Zhu ; Yonggen Mao
A Scalable Component-Based Architecture for Online Services of Library Catalogs / Marcus Flehmig
Web Data Models, Query and Representation Languages
An XHTML 2.0 Implementation / Mikko Pohja ; Mikko Honkala ; Petri Vuorimaa
Semantic Matching of Natural Language Web Queries / Naouel Karam ; Salima Benbernou ; Mohand-Said Hacid ; Michel Schneider
From Relational Data to RDFS Models / Makym Korotkiy ; Jan L. Top
Automatic Interpretation of Natural Language for a Multimedia E-learning Tool / Serge Linckels ; Christoph Meinel
Representing XML Schema in UML - A Comparison of Approaches / Martin Bernauer ; Gerhard Kramler
Web Interface Engineering
Screen Readers Cannot See - Ontology Based Semantic Annotation for Visually Impaired Web Travellers / Yeliz Yesilada ; Simon Harper ; Carole Goble ; Robert Stevens
Engineering the Presentation Layer of Adaptable Web Information Systems / Zoltán Fiala ; Michael Hinz ; Klaus Meissner
A Notation and Framework for Dialog Flow Control in Web Applications / Matthias Book ; Volker Gruhn
A Framework for the Internationalization of Data-Intensive Web Applications / Alberto Belussi ; Roberto Posenato
Using Web Services to Build Context-Aware Applications in Ubiquitous Computing / Gerhard Austaller ; Jussi Kangasharju ; Max Mühlhäuser
Security, Safety, and Reliability
Model-Checking of Safety and Security Aspects in Web Service Flows / Shin Nakajima
Reliable and Adaptable Security Engineering for Database-Web Services / Martin Wimmer ; Daniela Eberhardt ; Pia Ehrnlechner ; Alfons Kemper
Supporting Secure Deployment of Portal Components / Martin Gaedke ; Johannes Meinecke ; Martin Nussbaumer
A System for Interactive Authorization for Business Processes for Web Services / Hristo Koshutanski ; Fabio Massacci
Web Engineering Curriculum: A Case Study of an Evolving Framework / Yogesh Deshpande
Web Mining, User Models, and Data Analysis
Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining / Long Wang
An Efficient Automated Negotiation System Using Multi-attributes in the Online Environment / Sanghyun Park ; Sung-Bong Yang
Local Nonnegative Matrix Factorization for Mining Typical User Session Profile / Jixiang Jiang ; Baowen Xu ; Jianjiang Lu ; Hongji Yang
An Architecture for Personalized Systems Based on Web Mining Agents / María N. Moreno ; M. José Polo
WISE: A Web-Based Intelligent Sensor Explorer Framework for Publishing, Browsing, and Analyzing Sensor Data over the Internet / Kien A. Hua ; Rui Peng ; Georgiana L. Hamza-Lup
Posters
Semantic Information Generation from Classification and Information Extraction / Tércio de Morais Sampaio Silva ; Frederico Luiz Gonçalves de Freitas ; Rafael Cobra Teske ; Guilherme Bittencourt
A Study on the Secure Business Web Service Based on ebXML / Dongil Shin ; Dongkyoo Shin ; Baek-Ho Sung ; Jun-Hong Song
Website Modeling and Website Generation / Irina Romalis ; Thomas Raak ; Gunar Fiedler
Improving Web Sites by Automatic Source Code Analysis and Modifications / Piotr Sankowski
Using Topic Maps in an E-learning Context / Marie-Hélène Abel ; Dominique Lenne ; Claude Moulin ; Ahcene Benayache
A Component-Based WebGIS Geo-Union / Yingwei Luo ; Xiaolin Wang ; Zhuoqun Xu
Engineering a Semantic Web for Pathology / Robert Tolksdorf ; Elena Paslaru Bontas
Enhancing Decoupling in Portlet Implementation / Salvador Trujillo ; Iñaki Paz ; Oscar Díaz
A Metadata Model for the Design and Deployment of Document Management Systems / Federica Paganelli ; Omar Abou Khaled ; Maria Chiara Pettenati ; Dino Giuli
MSC-Based Formalism for Automated Web Navigation / Vicente Luque Centeno ; Carlos Delgado Kloos ; Luis Sánchez Fernández ; Norberto Fernández García
A Procedure for Development and Execution of Process-Based Composite Web Services / Dimka Karastoyanova ; Alejandro Buchmann
Towards Integrating Autonomously Created Knowledge Descriptions for the Semantic Web / Christian Mönch ; Sari Hakkarainen
XWebProcess: Agile Software Development for Web Applications / Américo Sampaio ; Alexandre Vasconcelos ; Pedro R. Falcone Sampaio
Automating Standards-Based Courseware Development Using UML / Andreas Papasalouros ; Symeon Retalis ; Nikolaos Papaspyrou
WING: A Web Probing, Visualization, and Performance Analysis Service / Leszek Borzemski ; Ziemowit Nowak
Preparing for Service-Oriented Computing: A Composite Design Pattern for Stubless Web Service Invocation / Paul A. Buhler ; Christopher Starr ; William H. Schroder ; José M. Vidal
An Architectural Model to Promote User Awareness on the Web / Claudio O. Gutiérrez ; Luis A. Guerrero ; César A. Collazos
UML Profile for OWL / Dragan Djurić ; Dragan Gašević ; Vladan Devedžic ; Violeta Damjanović
Building and Operating an E-business Platform - Technical Challenges and Other Pitfalls / Peter Zoller
Tool Demonstrations
Model-Driven Web Development with VisualWADE / Jaime Gócmez
WebRatio, an Innovative Technology for Web Application Development / Roberto Acerbis ; Aldo Bongio ; Stefano Butti ; Fulvio Ciapessoni ; Carlo Conserva ; Piero Fraternali ; Giovanni Toffetti Carughi
Modeling the Structure of Web Applications with ArgoUWE / Alexander Knapp ; Nora Koch ; Gefei Zhang
Welkin: Automatic Generation of Adaptive Hypermedia Sites with NLP Techniques / Enrique Alfonseca ; Diana Pérez ; Pilar Rodríguez
Authoring and Dynamic Generation of Adaptive E-courses / Rosa M. Carro ; Manuel Freiré ; Estefanía Martín ; Alvaro Ortigosa ; Pedro Paredes ; Johann Schlichter
Author Index
Invited Papers
The Real World or Web Engineering? / Lutz Heuser
Web Engineering - Old Wine in New Bottles? / Gerti Kappel ; Elke Michlmayr ; Birgit Pröll ; Siegfried Reich ; Werner Retschitzegger
61.

図書

図書
Wenyin Liu, Yuanchun shi, Qing Li (eds.)
出版情報: Berlin : Springer, c2004  xiii, 459 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3143
所蔵情報: loading…
目次情報: 続きを見る
e-Learning Platforms and Tools
Learning Algorithms with an Electronic Chalkboard over the Web / Margarita Esponda Argüero ; Raúl Rojas
The Agile Teaching/Learning Methodology and Its e-Learning Platform / Andy Hon Wai Chun
Activity Theory as Tool for Analyzing Asynchronous Learning Networks (ALN) / Jerry Zhigang Li ; Sharon Elizabeth Bratt
An Agent- and Service-Oriented e-Learning Platform / Ivan Madjarov ; Omar Boucelma ; Abdelkader Betari
Automatically Generating an e-Textbook on the Web / Jing Chen ; Qing Li ; Liping Wang ; Weijia Jia
Prioritized Admission Control in Multimedia Network-Based e-Learning / Dali Zhang
CUBES: Providing Flexible Learning Environment for Virtual Universities / Peifeng Xiang ; YuanchunShi ; Weijun Qin ; Xin Xiang
Dinosys: An Annotation Tool for Web-Based Learning / Emmanuel Desmontils ; Christine Jacquin ; Ludovic Simon
Web-Based Multimedia Authoring and Presentation Framework for Children's Art Cultivation / Hao-Tung Lin ; Yi-Chun Lai ; Kuo-YuLiu ; Herng-Yow Chen
A Progressive Content Distribution Framework in Supporting Web-Based Learning / Frederick W.B. Li ; Rynson W.H. Lau
Technologies to Support Collaborative Learning over the Multimedia Home Platform / Martín López-Nores ; Yolanda Blanco-Fernández ; Ana Fernández-Vilas ; Rebeca P. Díaz-Redondo ; José J. Pazos-Arias ; Alberto Gil-Solla ; Jorge García-Duque ; Belén Barragáns-Martínez ; Manuel Ramos-Cabrer
Proposal for KML Designer with Web-Based Environment / Chia-Hung Chen ; Jun-Sing Jwo ; Chih-Chi Wang
AI-Based Teaching Package for Open Channel Flow on Internet / Kwokwing Chau ; Yiuhung Sze
Efficient Methods for Skimming the Web-Based Synchronization Multimedia Lectures / I-Chun Lai ; Kuo-Yu Liu
Web-Based Collaborative Learning Focused on the Study of Interaction and Human Communication / Xinyu Zhang ; Nianlong Luo ; DongXing Jiang ; Huifen Liu ; Wenyi Zhang
PKUSpace: A Collaborative Platform for Scientific Researching / Ming Zhang ; Dong-qing Yang ; Zhi-Hong Deng ; Ying Feng ; Wen-qing Wang ; Pei-xiang Zhao ; Sai Wu ; Shu-an Wang ; Shi-Wei Tang
Learning by Seamless Migration - A Kind of Mobile Working Paradigm / Degan Zhang ; Yuanchun Shi ; Enyi Chen ; Guangyou Xu ; Hongliang Gu
XML-Based Agent Communication in a Distributed Learning Environment / Elvis Wai Chung Leung
Hook and Screen Division Based Screen Compression for the Real-Time Multimedia Transformation of e-Learning System / Shengjun Li ; Rui-min Shen
Design for a Learner-Oriented Tracking / Lily Sun ; Jude Lubega ; Shirley Williams
Web-Based Adaptive Collaborative Learning Environment Designing / Yonggu Wang ; Xiaojuan Li ; Rong Gu
A CATV and Internet Combined Framework for Distance Learning / Zimin Mo ; Wei Xing ; Dongming Lu
MPEG-4 Based Interactive 3D Visualization for Web-Based Learning / Qiong Zhang ; Jiaoying Shi
An Adaptive Distance Learning System Based on Media Streaming / Hao Yin ; Chuang Lin ; Jin-Jun Zhuang ; Qiang Ni
Learning Resource Deployment, Organization and Management
CDAL: A Scalable Scheme for Digital Resource Reorganization / Chong Chen ; Hongfei Yan ; Xiaoming Li
An Approach to the Use and Automatic Generation of Web-Based Learning Materials / Victor Fresno-Fernández ; Soto Montalvo-Herranz ; Joaquin Pérez-Iglesias ; Jaime Urquiza-Fuentes ; J. Ángel Velázquez-Iturbide
e-Learning Services Provision and Management / Yan Fu ; Tan Sun
A Modular Approach to e-Learning Content Creation and Maintenance / Phan Thanh Due ; Peter Haddawy
Using a Knowledge-Based Management to Design a Web-Based Creative Problem Solving System / Lin-Jung Wu ; Hsien-Sheng Hsiao
Context-Based Classification for Link Data / Yonghong Tian ; Wen Gao ; Tiejun Huang
Build Presentation Layer for Semantic Contents / Hang Guo ; Zhiqiang Zhang ; Qi Guo ; Lizhu Zhou ; Jianghua Feng
e-Learning Content Management Based on Learning Object / Li-ping Shen ; Xin-wei Fan
Improving Web-Based Learning: Automatic Annotation of Multimedia Semantics and Cross-Media Indexing / Yueting Zhuang ; Congmiao Wu ; Fei Wu ; Xiang Liu
Practice and Experience Sharing
Multimedia Distance Learning Application on Embedded End Device / Xin Chen ; Yongqin Zeng ; Ningjiang Chen
Web-Based Collaborative Learning System Design for Navigation Education and Training / Cui Xie ; Yicheng Jin ; Xiuwen Liu ; Yong Yin
Aphasics' Communities Learning on the Web / Marc Spaniol ; Ralf Klamma ; Luise Springer ; Matthias Jarke
Crossing Boundaries with Web-Based Tools for Learning Object Evaluation / John C. Nesbit ; Griff Richards
Web-Based Handwriting Education with Animated Virtual Teacher / Howard Leung ; Taku Komura
From e-Learning to Virtual Learning Community: Bridging the Gap / Naomi Augar ; Ruth Raitman ; Wanlei Zhou
A Web-Based CAD System for Learning and Laboratory Purpose / Ying Shan Tai ; Wenyin Liu
A Web-Based Teacher Assisting Agent System / Jianhua Ma ; Ryosuke Komatsu ; Runhe Huang
An Application-Oriented e-Learning System with Self-monitoring and Adaptive Exercises / Joseph Fong ; Irene Kwan ; Margaret Ng ; Ivan Li ; S.K. Chan
Methodologies of the Personalized Courseware Construction Tools for e-Learning / Yanhua Cao ; Huisheng Chi ; Xihong Wu
Agent-Based Web Learning System Applying Dynamic Fuzzy Petri Net / Yueh-Min Huang ; Juei-Nan Chen ; Shu-Chen Cheng ; William C. Chu
Design and Implementation of Virtual Computer Network Lab Based on NS2 In the Internet / Jianxin Wang ; Bei Peng
Semantics-Based Answers Selection in Question Answering System / Xia Sun ; Qinghua Zheng
e-Learning Standards
Learning Content Recommendation Service Based-On Simple Sequencing Specification
Learning Object Models and an e-Learning Service Infrastructure for Virtual e-Learning Communities / Gilliean Lee ; Stanley Y.W. Su
Implementation Issues on the Quality Evaluation of Web-Based Courses and Digital Learning Resources / Xia Teng ; Brandon Muramatsu ; JianWei Zhang ; Joseph G. Tront ; Flora McMartin ; Alice Agogino
Reusable Learning Object and Its Strategies for e-Learning / Qingtang Liu ; Zongkai Yang ; Kun Yan ; Di Wu
An Implementation of Learning Objects Management System / Wang Xuan ; Zheng Li ; Yang Fang
Specification for Service Quality Management System of e-Learning / Yi Zhang ; Zhiting Zhu ; Xiaoyong Hu
Pedagogical Issues
Personalized Education: An Exploratory Study of Learning Pedagogies in Relation to Personalization Technologies / Apple W.P. Fok ; Horace H.S. Ip
Guidelines towards Effectively Sharable LOs / Emanuela Busetti ; Giuliana Dettori ; Paola Forcheri ; Maria Grazia Ierardi
Articulation of Learners Requirements for Personalised Instructional Design in e-Learning Services / Khadidjatou Ousmanou
Comparison of Pronunciation Scores in Spoken Language Learning System / Weiqian Liang ; Jia Liu ; Runsheng Liu
Community Knowledge Building Environment with Concept of KBC / XiangCun Wu ; DongXue Liu
Student Participation Index: Student Assessment in Online Courses / Alan Y.K. Chan ; PaulKai-on Chow ; K.S. Cheung
Author Index
e-Learning Platforms and Tools
Learning Algorithms with an Electronic Chalkboard over the Web / Margarita Esponda Argüero ; Raúl Rojas
The Agile Teaching/Learning Methodology and Its e-Learning Platform / Andy Hon Wai Chun
62.

図書

図書
Rosa Meo, Pier Luca Lanzi, Mika Klemettinen (eds.)
出版情報: Berlin : Springer, c2004  xii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2682 . Lecture notes in artificial intelligence
所蔵情報: loading…
63.

図書

図書
Christoph Bussler ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  x, 145 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3095
所蔵情報: loading…
64.

図書

図書
Vicenç Torra, Yasuo Narukawa (eds.)
出版情報: Berlin : Springer, c2004  xi, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3131 . Lecture Notes in Artificial Intelligence
所蔵情報: loading…
65.

図書

図書
Ana Fred ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xxi, 1168 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3138
所蔵情報: loading…
66.

図書

図書
Kyung-Yong Chwa, J. Ian Munro (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 474 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3106
所蔵情報: loading…
67.

図書

図書
Fernando Galindo ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xxi, 972 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3180
所蔵情報: loading…
68.

図書

図書
Carl Edward Rasmussen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xviii, 581 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3175
所蔵情報: loading…
69.

図書

図書
Marco Dorigo ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3172
所蔵情報: loading…
70.

図書

図書
Philippa Gardner, Nobuko Yoshida (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 528 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3170
所蔵情報: loading…
71.

図書

図書
Roberto Giacobazzi (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3148
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Injecting Life with Computers / Ehud Shapiro
The Blast Query Language for Software Verification / Dirk Beyer ; Adam J. Chlipala ; Thomas A. Henzinger ; Ranjit Jhala ; Rupak Majumdar
Program Generators and the Tools to Make Them / Yannis Smaragdakis
Towards Declarative Programming for Web Services / Sheila McIlraith
Program and System Verification
Closed and Logical Relations for Over- and Under-Approximation of Powersets / David A. Schmidt
Completeness Refinement in Abstract Symbolic Trajectory Evaluation / Mila Dalla Preda
Constraint-Based Linear-Relations Analysis / Sriram Sankaranarayanan ; Henny B. Sipma ; Zohar Manna
Spatial Analysis of BioAmbients / Hanne Riis Nielson ; Flemming Nielson ; Henrik Pilegaard
Security and Safety
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language / Qi Sun ; Anindya Banerjee ; David A. Naumann
Information Flow Analysis in Logical Form / Torben Amtoft
Type Inference Against Races / Cormac Flanagan ; Stephen N. Freund
Pointer Analysis
Pointer-Range Analysis / Suan Hsi Yong ; Susan Horwitz
A Scalable Nonuniform Pointer Analysis for Embedded Programs / Arnaud Venet
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis / Erik M. Nystrom ; Hong-Seok Kim ; Wen-mei W. Hwu
Abstract Interpretation and Algorithms
Abstract Interpretation of Combinational Asynchronous Circuits / Sarah Thompson ; Alan Mycroft
Static Analysis of Gated Data Dependence Graphs / Charles Hymans ; Eben Upton
A Polynomial-Time Algorithm for Global Value Numbering / Sumit Gulwani ; George C. Necula
Shape Analysis
Quantitative Shape Analysis / Radu Rugina
A Relational Approach to Interprocedural Shape Analysis / Bertrand Jeannet ; Alexey Loginov ; Thomas Reps ; Mooly Sagiv
Partially Disjunctive Heap Abstraction / Roman Manevich ; Ganesan Ramalingam ; John Field
Abstract Domain and Data Structures
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants / Enric Rodríguez-Carbonell ; Deepak Kapur
Approximating the Algebraic Relational Semantics of Imperative Programs / Michael A. Colón
The Octahedron Abstract Domain / Robert Clarisó ; Jordi Cortadella
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
Shape Analysis and Logic
On Logics of Aliasing / Marius Bozga ; Radu Iosif ; Yassine Lakhnech
Generalized Records and Spatial Conjunction in Role Logic / Viktor Kuncak ; Martin Rinard
Termination Analysis
Non-termination Inference for Constraint Logic Programs / Etienne Payet ; Fred Mesnard
Author Index
Invited Talks
Injecting Life with Computers / Ehud Shapiro
The Blast Query Language for Software Verification / Dirk Beyer ; Adam J. Chlipala ; Thomas A. Henzinger ; Ranjit Jhala ; Rupak Majumdar
72.

図書

図書
Peter Funk, Pedro A. González Calero (eds.)
出版情報: Berlin : Springer, c2004  xiii, 822 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3155 . Lecture notes in artificial intelligence
所蔵情報: loading…
73.

図書

図書
Christel Baier ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 465 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2925
所蔵情報: loading…
74.

図書

図書
Matthias Nickles, Michael Rovatsos, Gerhard Weiss (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 273 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2969 . Lecture notes in Artificial intelligence
所蔵情報: loading…
75.

図書

図書
Klaus Jansen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  ix, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3122
所蔵情報: loading…
76.

図書

図書
Apostolos Syropoulos ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 263 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3130
所蔵情報: loading…
77.

図書

図書
Péter Érdi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  vi, 160 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3146
所蔵情報: loading…
目次情報: 続きを見る
Fundamentals of Cortical Dynamics / Section 1:
Dynamics of Storage and Recall in Hippocampal Associative Memory Networks / Bruce P. Graham
On the Nested Hierarchical Organization of CNS: Basic Characteristics of Neuronal Molecular Networks / Luigi Francesco Agnati ; Letizia Santarossa ; Susanna Genedani ; Enric I. Canela ; Giuseppina Leo ; Rafael Franco ; Amina Woods ; Carmen Lluis ; Sergi Ferré ; Kjell Fuxe
Neural Phase Transitions That Made Us Mammals / Alessandro Treves
Mathematical Models of Cortical Dynamics / Section 2:
Mean Field Methods for Cortical Network Dynamics / John Hertz ; Alexander Lerchner ; Mandana Ahmadi
Chaotic Neuron Dynamics, Synchronization, and Feature Binding / Fortunato Tito Arecchi
A Complex Systems Approach to an Interpretation of Dynamic Brain Activity I: Chaotic Itinerancy Can Provide a Mathematical Basis for Information Processing in Cortical Transitory and Nonstationary Dynamics / Ichiro Tsuda ; Hiroshi Fujii
A Complex Systems Approach to an Interpretation of Dynamic Brain Activity II: Does Cantor Coding Provide a Dynamic Model for the Formation of Episodic Memory? / Shigeru Kuroda
Itinerant Dynamics of Class I* Neurons Coupled by Gap Junctions
Author Index
Fundamentals of Cortical Dynamics / Section 1:
Dynamics of Storage and Recall in Hippocampal Associative Memory Networks / Bruce P. Graham
On the Nested Hierarchical Organization of CNS: Basic Characteristics of Neuronal Molecular Networks / Luigi Francesco Agnati ; Letizia Santarossa ; Susanna Genedani ; Enric I. Canela ; Giuseppina Leo ; Rafael Franco ; Amina Woods ; Carmen Lluis ; Sergi Ferré ; Kjell Fuxe
78.

図書

図書
Guang-Zhong Yang, Tianzi Jiang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 378 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3150
所蔵情報: loading…
79.

図書

図書
Fuliang Yin, Jun Wang, Chengan Guo (eds.)
出版情報: Berlin : Springer, c2004  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3173-3174
所蔵情報: loading…
80.

図書

図書
Farid Meziane, Elisabeth Métais (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3136
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Natural Language Conversational Systems
A Natural Language Model and a System for Managing TV-Anytime Information from Mobile Devices / Anastasia Karanastasi ; Fotis G. Kazasis ; Stavros Christodoulakis
State- and Object Oriented Specification of Interactive VoiceXML Information Services / Thomas Schwanzara-Bennoit ; Gunar Fiedler
Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs / Helmut Horacek ; Magdalena Wolska
Intelligent Querying
Event Ordering Using TERSEO System / Estela Saquete ; Rafael Muñoz ; Patricio Martínez-Barco
The Role of User Profiles in Context-Aware Query Processing for the Semantic Web / Veda C. Storey ; Vijayan Sugumaran ; Andrew Burton-Jones
Deriving FrameNet Representations: Towards Meaning-Oriented Question Answering / Gerhard Fliedner
Lightweight Natural Language Database Interfaces / In-Su Kang ; Seung-Hoon Na ; Jong-Hyeok Lee ; Gijoo Yang
Ontology-Driven Question Answering in AquaLog / Vanessa Lopez ; Enrico Motta
Schema-Based Natural Language Semantic Mapping / Niculae Stratica ; Bipin C. Desai
Avaya Interactive Dashboard (AID): An Interactive Tool for Mining the Avaya Problem Ticket Database / Ziyang Wang ; Amit Bagga
Linguistic Aspects of Modeling
Information Modeling: The Process and the Required Competencies of Its Participants / P.J.M. Frederiks ; T.P. van der Weide
Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features / Nadzeya Kiyavitskaya ; Nicola Zeni ; Luisa Mich ; John Mylopoulos
Language Resources and Tools for Supporting the System Engineering Process / V.O. Onditi ; P. Rayson ; B. Ransom ; D. Ramduny ; Ian Sommerville ; A. Dix
A Linguistics-Based Approach for Use Case Driven Analysis Using Goal and Scenario Authoring / Jintae Kim ; Sooyong Park
Information Retrieval
Effectiveness of Index Expressions / F.A. Grootjen
Concept Similarity Measures the Understanding Between Two Agents / Jesus M. Olivares-Ceja ; Adolfo Guzman-Arenas
Concept Indexing for Automated Text Categorization / José María Gómez ; José Carlos Cortizo ; Enrique Puertas ; Miguel Ruiz
Natural Language Text Understanding
Acquiring Selectional Preferences from Untagged Text for Prepositional Phrase Attachment Disambiguation / Hiram Calvo ; Alexander Gelbukh
Semantic Enrichment for Ontology Mapping / Xiaomeng Su ; Jon Atle Gulla
Testing Word Similarity: Language Independent Approach with Examples from Romance / Mikhail Alexandrov ; Xavier Blanco ; Pavel Makagonov
Knowledge Bases
Language Modeling for Effective Construction of Domain Specific Thesauri / Libo Chen ; Ulrich Thiel
Populating a Database from Parallel Texts Using Ontology-Based Information Extraction / M.M. Wood ; S.J. Lydon ; V. Tablan ; D. Maynard ; H. Cunningham
A Generic Coordination Model for Pervasive Computing Based on Semantic Web Languages / Amine Tafat ; Michele Courant ; Beat Hirsbrunner
Improving Web Searching Using Descriptive Graphs / Alain Couchot
An Unsupervised WSD Algorithm for a NLP System / Iulia Nica ; Andrés Montoyo ; Sonia Vázquez
Enhanced Email Classification Based on Feature Space Enriching / Yunming Ye ; Fanyuan Ma ; Hongqiang Rong ; Joshua Huang
Synonymous Paraphrasing Using WordNet and Internet / Igor A. Bolshakov
Knowledge Management
Automatic Report Generation from Ontologies: The MIAKT Approach / Kalina Bontcheva ; Yorick Wilks
A Flexible Workbench for Document Analysis and Text Mining / Terje Brasethvik ; Harald Kaada
Short Papers
Content Management
Towards Linguistic Foundations of Content Management / Bernhard Thalheim
Constructing Natural Knowledge Ontologies to Implement Semantic Organizational Memory / Laura Campoy-Gomez
Improving the Naming Process for Web Site Reverse Engineering / Sélima Besbes Essanaa ; Nadira Lammari
On Embedding Machine-Processable Semantics into Documents / Krishnaprasad Thirunarayan
Using IR Techniques to Improve Automated Text Classification / Teresa Gonçalves ; Paulo Quaresma
Architecture of a Medical Information Extraction System / Dalila Bekhouche ; Yann Pollet ; Bruno Grilheres ; Xavier Denis
Improving Information Retrieval in MEDLINE by Modulating MeSH Term Weights / Kwangcheol Shin ; Sang-Yong Han
Identification of Composite Named Entities in a Spanish Textual Database / Sofía N. Galicia-Haro
ORAKEL: A Natural Language Interface to an F-Logic Knowledge Base / Philipp Cimiano
Accessing an Information System by Chatting / Bayan Abu Shawar ; Eric Atwell
Ontology-Based Question Answering in a Federation of University Sites: The MOSES Case Study / P. Atzeni ; R. Basili ; D.H. Hansen ; P. Missier ; Patrizia Paggio ; Maria Teresa Pazienza ; Fabio Massimo Zanzotto
Semantic Tagging and Chunk-Parsing in Dynamic Modeling / Günther Fliedl ; Christian Kop ; Heinrich C. Mayr ; Christian Winkler ; Georg Weber ; Alexander Salbrechter
Semantic Filtering of Textual Requirements Descriptions / Jorge J. García Flores
Author Index
Regular Papers
Natural Language Conversational Systems
A Natural Language Model and a System for Managing TV-Anytime Information from Mobile Devices / Anastasia Karanastasi ; Fotis G. Kazasis ; Stavros Christodoulakis
81.

図書

図書
Marina Papatriantafilou, Philippe Hunel (eds.)
出版情報: Berlin : Springer, c2004  xiv, 246 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3144
所蔵情報: loading…
目次情報: 続きを見る
Distributing Bits and Atoms / Neil GershenfeldInvited Talk 1:
Circuits Without Clocks: What Makes Them Tick? / Jo EbergenInvited Talk 2:
Towards Very Large, Self-Managing Distributed Systems / Maarten van SteenInvited Talk 3:
Distributed and Multiprocessor Algorithms I
Linear Time Byzantine Self-Stabilizing Clock Synchronization / Ariel Daliot ; Danny Dolev ; Hanna Parnas
Detecting Locally Stable Predicates
Without Modifying Application Messages / Ranganath Atreya ; Neeraj Mittal ; Vijay K. Garg
Multiple Agents RendezVous in a Ring in Spite of a Black Hole / Stefan Dobrev ; Paola Flocchini ; Giuseppe Prencipe ; Nicola Santoro
Splitters: Objects for Online Partitioning / Jaap-Henk Hoepman
Peer-to-Peer Systems, Middleware I
Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases / Emmanuel Cecchet ; Julie Marguerite ; Willy Zwaenepoel
A Peer-to-Peer Approach to Enhance Middleware Connectivity / Erik Klintskog ; Valentin Mesaros ; Zacharias El Banna ; Per Brand ; Seif Haridi
Multicast in DKS(N,k,f) Overlay Networks / Luc Onana Alima ; Ali Ghodsi
Peer-to-Peer Systems, Middleware II
Real-Time Framework for Distributed Embedded Systems / Khaled Chaaban ; Paul Crubillé ; Mohamed Shawky
Self-Organization Approach of Communities for P2P Networks / Kazuhiro Kojima
The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience / Vivien Quéma
Real-Time and Embedded Systems dSL: An Environment with Automatic Code Distribution for Industrial Control Systems / Bram De Wachter ; Thierry Massart ; Cédric Meuter
A Lower-Bound Algorithm for Load Balancing in Real-Time Systems / Cecilia Ekelin ; Jan Jonsson
A Simple Testing Technique for Embedded Systems / Hacène Fouchal ; Antoine Rollet
Verification, Models, Performance of Distributed Systems Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing / Alper Sen
Transformations for Write-All-with-Collision Model / Sandeep S. Kulkarni ; Mahesh Arumugam
Transient Model for Jackson Networks and Its Approximation / Ahmed M. Mohamed ; Lester Lipsky ; Reda Ammar
Distributed and Multiprocessor Algorithms II
Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems / Dariusz R. Kowalski ; Mariam Momenzadeh ; Alexander A. Shvartsman
Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks / Jiro Uchida ; Wei Chen ; Koichi Wada
Decoupled Interconnection of Distributed Memory Models / Ernesto Jiménez ; Antonio Fernández ; Vicente Cholvi
Author Index
Distributing Bits and Atoms / Neil GershenfeldInvited Talk 1:
Circuits Without Clocks: What Makes Them Tick? / Jo EbergenInvited Talk 2:
Towards Very Large, Self-Managing Distributed Systems / Maarten van SteenInvited Talk 3:
82.

図書

図書
Robert L. Nord (ed.)
出版情報: Berlin : Springer, c2004  xiv, 333 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3154
所蔵情報: loading…
83.

図書

図書
Chengqi Zhang, Hans W. Guesgen, Wai K. Yeap (eds.)
出版情報: Berlin : Springer, c2004  xx, 1023 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3157 . Lecture notes in artificial intelligence
所蔵情報: loading…
84.

図書

図書
Willem Jonker, Milan Petković (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3178
所蔵情報: loading…
85.

図書

図書
Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3181
所蔵情報: loading…
86.

図書

図書
Kurt Bauknecht, Martin Bichler, Birgit Pröll (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3182
所蔵情報: loading…
目次情報: 続きを見る
Recommender Systems
Using Attributes to Improve Prediction Quality in Collaborative Filtering / Taek-Hun Kim ; Sung-Bong Yang
Using Association Analysis of Web Data in Recommender Systems / María N. Moreno ; Francisco J. Garcia ; M. José Polo ; Vivian F. López
An Intelligent System for Personalized Advertising on the Internet / Sung Ho Ha
Supporting User Query Relaxation in a Recommender System / Nader Mirzadeh ; Francesco Ricci ; Mukesh Bansal
Databases and EC Applications
Accelerating Database Processing at e-Commerce Sites / Seunglak Choi ; Jinwon Lee ; Su Myeon Kim ; Junehwa Song ; Yoon-Joon Lee
Optimized Query Delivery in Distributed Electronic Markets / Stefan Böttcher ; Dimiter Dimitriev
Uniform Access to Data in Workflows / Johann Eder ; Marek Lehmann
Service-Oriented e-Commerce Applications
Formal Verification of BPEL4WS Business Collaborations / Jesús Arias Fisteus ; Luis Sánchez Fernández ; Carlos Delgado Kloos
Seamless Federation of Heterogeneous Service Registries / Thomi Pilioura ; Georgios-Dimitrios Kapos ; Aphrodite Tsalgatidou
A Survey of Public Web Services / Marcel-Catalin Rosu
Electronic Negotiation Systems
Protocols for Electronic Negotiation Systems: Theoretical Foundations and Design Issues / Gregory E. Kersten ; Stefan E. Strecker ; Ka Pong Law
Implementing Complex Market Structures with MetaMarkets / Juho Mäkiö ; Ilka Weber
Evaluation of an Online Multidimensional Auction System: A Computer Simulation Investigation / Sungwon Cho ; Kyoung Jun Lee ; Martha E. Crosby ; David N. Chin
Electronic Negotiations - A Generic Approach with Action Systems / Christof Weinhardt
Security and Trust in e-Commerce
Interaction Trust Evaluation in Decentralized Environments / Yan Wang ; Vijay Varadharajan
Towards a Privacy Preserving e-Commerce Protocol / Indrajit Ray ; Mike Geisterfer
Using Recoverable Key Commitment to Defend Against Truncation Attacks in Mobile Agents / Ming Yao ; Kun Peng ; Matt Henricksen ; Ernest Foo ; Ed Dawson
Techniques for B2B e-Commerce
OCL-Constraints for UMM Business Collaborations / Birgit Hofreiter ; Christian Huemer ; Werner Winiwarter
Use and Extension of ebXML Business Profiles for Textile/Clothing Firms / Nicola Gessa ; Cristiano Novelli ; Massimo Busuoli ; Fabio Vitali
A Framework for Multilingual Electronic Data Interchange / Rouzbeh Maani ; Saeed Parsa
Negotiation Strategies and Protocols
An Analysis of Bidding Activity in Online Auctions / Vasudeva Akula ; Daniel A. Menascé
Negotiating over Bundles and Prices Using Aggregate Knowledge / D.J.A. Somefun ; T.B. Klos ; J.A. La Poutre
A Model for Multi-party Negotiations with Majority Rule / Sheng Zhang ; Fillia Makedon ; James Ford ; Lin Ai
Modeling of e-Commerce Applications
Analysis of Mobile Business Processes for the Design of Mobile Information Systems / André Köhler ; Volker Gruhn
Enriching Conceptual Modeling of XML-Aware Adaptive Web Systems with Object-Oriented Constructs and UML Diagrams / Alfredo Cuzzocrea ; Carlo Mastroianni
Modelling Content Aggregation for Developing e-Commerce Web Sites / Pedro Valderas ; Joan Fons ; Vicente Pelechano
e-Commerce Intelligence
On the Use of Bipolar Scales in Preference-Based Recommender Systems / Miguel-Ángel Sicilia ; Elena García
Applying Text Mining on Electronic Messages for Competitive Intelligence / José Palazzo M. de Oliveira ; Stanley Loh ; Leandro Krug Wives ; Rui Gureghian Scarinci ; Daniela Musa ; Lydia Silva ; Christian Zambenedetti
Web Page Ranking Based on Events / Ajay Gupta ; Manish Bhide ; Mukesh Mohania
e-Retailing and Web Site Design
A Personalized Offer Presentation Scheme for Retail In-Store Applications / Yew-Huey Liu ; Jih-Shyr Yih ; Trieu C. Chieu
Combining Usage, Content, and Structure Data to Improve Web Site Recommendation / Jia Li ; Osmar R. Zaiane
Towards a Multidimensional Model for Web-Based Applications Quality Assessment / Ghazwa Malak ; Linda Badri ; Mourad Badri ; Houari Sahraoui
Structuring Web Sites Using Linear Programming / Wookey Lee ; Seung Kim ; Sukho Kang
DRM and EC Strategies
Use of Semantic Tools for a Digital Rights Dictionary / Jaime Delgado ; Isabel Gallego ; Roberto García
The Role of Electronic Commerce in Determining Desirable Customer Relationship Outcomes / Seongcheol Kim
Value Based Management and Strategic Planning in e-Business / Chien-Chih Yu
Author Index
Recommender Systems
Using Attributes to Improve Prediction Quality in Collaborative Filtering / Taek-Hun Kim ; Sung-Bong Yang
Using Association Analysis of Web Data in Recommender Systems / María N. Moreno ; Francisco J. Garcia ; M. José Polo ; Vivian F. López
87.

図書

図書
Sokratis Katsikas, Javier Lopez, Günther Pernul (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 298 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3184
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Developing Secure, Trusted and Auditable Services for e-Business: An Autonomic Computing Approach / Ahmed Patel
Trust
A Mechanism for Trust Sustainability Among Trusted Computing Platforms / Zheng Yan ; Piotr Cofta
Enabling Trust-Awareness in Naming Services / Nicola Mezzetti
Virtual Trust in Distributed Systems / Semir Daskapan ; Ana Cristina Costa ; Willem G. Vree ; Amr A. Eldin
Modelling Trust Relationships in Distributed Environments / Weiliang Zhao ; Vijay Varadharajan ; George Bryan
Access Control
Dynamically Changing Trust Structure in Capability Based Access Control Systems / Sandra Wortmann ; Barbara Sprick ; Christoph Kobusch
On the Design of a New Trust Model for Mobile Agent Security / Ching Lin ; Yan Wang ; Yi Mu e-Business Issues
Balancing Privacy and Trust in Electronic Marketplaces / Sandra Steinbrecher
Reducing Server Trust in Private Proxy Auctions / Giovanni Di Crescenzo ; Javier Herranz ; Germán Sáez
Secure Ad-Hoc mBusiness: Enhancing WindowsCE Security / Florina Alménarez ; Daniel Díaz ; Andrés Marín
Role-Based Privilege Management Using Attribute Certificates and Delegation / Gail-Joon Ahn ; Dongwan Shin ; Longhua Zhang
Privacy
Consent as a Threat. A Critical Approach to Privacy Negotiation in e-Commerce Practices / A. Daniel Oliver-Lalana
Dealing with Privacy Obligations: Important Aspects and Technical Approaches / Marco Casassa Mont
Offer Privacy in Mobile Agents: Using Conditionally Anonymous Digital Signatures / Ming Yao ; Matt Henricksen ; Ernest Foo ; Ed Dawson
Privacy Preserving Data Generation for Database Application Performance Testing / Yongge Wang ; Xintao Wu ; Yuliang Zheng e-Voting
An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness / Riza Aditya ; Byoungcheon Lee ; Colin Boyd
Trust in Public Administration e-Transactions: e-Voting in the UK / Alexandros Xenakis ; Ann Macintosh
Protocols
An Unbalanced Protocol for Group Key Exchange / Jorge L. Villar
Certified E-Mail with Temporal Authentication: An Improved Optimistic Protocol / Clemente Galdi ; Raffaella Giordano
Efficient Password-Based Group Key Exchange / Su Mi Lee ; Jung Yeon Hwang ; Dong Hoon Lee
Optimality in Asynchronous Contract Signing Protocols / Josep Lluís Ferrer-Gomila ; Magdalena Payeras-Capella ; Llorenç Huguet-Rotger
Copyright Protection
Development of Visible Anti-copy Patterns / JongWeon Kim ; KyuTae Kim ; JungSoo Lee ; JongUk Choi
Holographic Image Watermarking for Secure Content
Hybrid Fingerprint Matching on Programmable Smart Cards / Tommaso Cucinotta ; Riccardo Brigo ; Marco Di Natale
Protecting ASF Movie on VOD / Ji-Hyun Park ; Jeong-Hyun Kim ; Ki-Song Yoon
Multicast
DiffSig: Differentiated Digital Signature for Real-Time Multicast Packet Flows / Namhi Kang ; Christoph Ruland
Large-Scale Pay-As-You-Watch for Unicast and Multicast Communications / Antoni Martínez-Ballesté ; Francesc Sebé ; Josep Domingo-Ferrer
PKI, Signature Schemes
Reducing the Communication Overhead of an Offline Revocation Dictionary / Jose L. Muñoz ; Jordi Forné ; Oscar Esparza ; Josep Pegueroles ; Esteve Pallarès
Breaking Down Architectural Gaps in Smart-Card Middleware Design / David Corcoran
On the Security of the Lee-Hwang Group-Oriented Undeniable Signature Schemes / Guilin Wang ; Jianying Zhou ; Robert H. Deng
Author Index
Invited Talk
Developing Secure, Trusted and Auditable Services for e-Business: An Autonomic Computing Approach / Ahmed Patel
Trust
88.

図書

図書
Laurence T. Yang, Minyi Guo, Guang R. Gao, Niraj K. Jha (eds.)
出版情報: Berlin : Springer, c2004  xx, 1116 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3207
所蔵情報: loading…
89.

図書

図書
Simone Marinai, Andreas Dengel (eds.)
出版情報: Berlin : Springer, c2004  xi, 564 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3163
所蔵情報: loading…
目次情報: 続きを見る
Digital Libraries
Document Analysis Systems for Digital Libraries: Challenges and Opportunities / Henry S. Baird ; Venugopal Govindaraju ; Daniel P. Lopresti
The Trinity College Dublin 1872 Online Catalogue / John G. Byrne
DL Architecture for Indic Scripts / Suryaprakash Kompalli ; Srirangaraj Setlur
A Semantic-Based System for Querying Personal Digital Libraries / Luigi Cinque ; Alessio Malizia ; Roberto Navigli
Toward Personalized Digital Library for Providing "Information JIT" / Hisashi Ikeda ; Naohiro Furukawa ; Katsumi Marukawa ; Hiromichi Fujisawa
Historical Documents
Tilting at Windmills: Adventures in Attempting to Reconstruct Don Quixote / A. Lawrence Spitz
A Segmentation-Free Recognition Technique to Assist Old Greek Handwritten Manuscript OCR / Basilios Gatos ; Kostas Ntzios ; Ioannis Pratikakis ; Sergios Petridis ; T. Konidaris ; Stavros J. Perantonis
Automatic Metadata Retrieval from Ancient Manuscripts / Frank Le Bourgeois ; Hala Kaileh
A Complete Approach to the Conversion of Typewritten Historical Documents for Digital Archives / Apostolos Antonacopoulos ; Dimosthenis Karatzas
An Adaptive Binarization Technique for Low Quality Historical Documents
Segmentation of Handwritten Characters for Digitalizing Korean Historical Documents / Min Soo Kim ; Kyu Tae Cho ; Hee Kue Kwag ; Jin Hyung Kim
Self-organizing Maps and Ancient Documents / Eddie Smigiel ; Abdel Belaid ; Hatem Hamza
Enriching Historical Manuscripts: The Bovary Project / Stéphane Nicolas ; Thierry Paquet ; Laurent Heutte
Layout Analysis
Word Grouping in Document Images Based on Voronoi Tessellation / Yue Lu ; Zhe Wang ; Chew Lim Tan
Multi-component Document Image Coding Using Regions-of-Interest / Xiao Wei Yin ; Andy C. Downton ; Martin Fleury ; J. He
Physical Layout Analysis of Complex Structured Arabic Documents Using Artificial Neural Nets / Karim Hadjar ; Rolf Ingold
An Integrated Approach for Automatic Semantic Structure Extraction in Document Images / Margherita Berardi ; Michele Lapi ; Donato Malerba
Multi-view HAC for Semi-supervised Document Image Classification / Fabien Carmagnac ; Pierre Héroux ; Éric Trupin
Configurable Text Stamp Identification Tool with Application of Fuzzy Logic
Layout and Content Extraction for PDF Documents / Hui Chao ; Jian Fan
Automatic Extraction of Filled-In Items from Bank-Check Images / Katsuhiko Ueda ; Hirotoshi Maegawa ; Kenichi Matsuo
Color Documents
Bleed-Through Removal from Degraded Documents Using a Color Decorrelation Method / Anna Tonazzini ; Emanuele Salerno ; Matteo Mochi ; Luigi Bedini
Colour Map Classification for Archive Documents
Serialized k-Means for Adaptative Color Image Segmentation - Application to Document Images and Others / Yann Leydier ; Hubert Emptoz
Adaptive Region Growing Color Segmentation for Text Using Irregular Pyramid / Poh Kok Loo
Preprocessing and Segmentation of Bad Quality Machine Typed Documents / Mariusz Szwoch ; Wioleta Szwoch
Handwritten Documents
Ensembles of Classifiers for Handwritten Word Recognition Specialized on Individual Handwriting Style / Simon Günter ; Horst Bunke
Information Retrieval System for Handwritten Documents / Sargur Srihari ; Anantharaman Ganesh ; Catalin Tomai ; Yong-Chul Shin ; Chen Huang
Word-Wise Script Identification from Indian Documents / Suranjit Sinha ; Umapada Pal ; B.B. Chaudhuri
Recognizing Freeform Digital Ink Annotations / Michael Shilman ; Zile Wei
Post-processing of Handwritten Pitman's Shorthand Using Unigram and Heuristic Approaches / Swe Myo Htwe ; Colin Higgins ; Graham Leedham ; Ma Yang
Multiscale Handwriting Characterization for Writers' Classification / Véronique Eglin ; Stéphane Bres ; Carlos Rivero
Graphics Recognition
A Hybrid Approach to Detect Graphical Symbols in Documents / Salvatore Tabbone ; Laurent Wendling ; Daniel Zuwala
Performance Evaluation of Symbol Recognition / Ernest Valveny ; Philippe Dosch
The Search for Genericity in Graphics Recognition Applications: Design Issues of the Qgar Software System / Jan Rendek ; Gérald Masini ; Karl Tombre
Attributed Graph Matching Based Engineering Drawings Retrieval / Rujie Liu ; Takayuki Baba ; Daiki Masumoto
A Platform to Extract Knowledge from Graphic Documents. Application to an Architectural Sketch Understanding Scenario / Gemma Sánchez ; Josep Lladós ; Joan Mas ; Narcís Lozano
Internet Documents
A Graph-Based Framework for Web Document Mining / Adam Schenker ; Mark Last ; Abraham Kandel
XML Documents Within a Legal Domain: Standards and Tools for the Italian Legislative Environment / Carlo Biagioli ; Enrico Francesconi ; Pierluigi Spinosa ; Mirco Taddei
Rule-Based Structural Analysis of Web Pages / Fabio Vitali ; Angelo Di Iorio ; Elisa Ventura Campori
Extracting Table Information from the Web / Yeon-Seok Kim ; Kyong-Ho Lee
A Neural Network Classifier for Junk E-Mail / Ian Stuart ; Sung-Hyuk Cha ; Charles Tappert
Document Analysis Systems
Results of a Study on Invoice-Reading Systems in Germany / Bertin Klein ; Stevan Agne ; Andreas Dengel
A Document Analysis System Based on Text Line Matching of Multiple OCR Outputs / Yasuaki Nakano ; Toshihiro Hananoi ; Hidetoshi Miyao ; Minoru Maruyama ; Ken-ichi Maruyama
DocMining: A Document Analysis System Builder / Sébastien Adam ; Maurizio Rigamonti ; Eric Clavier ; Jean-Marc Ogier ; Joël Gardes
Automatic Fax Routing / Paul Viola ; James Rinker ; Martin Law
Applications
Contextual Swarm-Based Multi-layered Lattices: A New Architecture for Contextual Pattern Recognition / David G. Elliman ; Sherin M. Youssef
Natural Language Processing of Patents and Technical Documentation / Gaetano Cascini ; Alessandro Fantechi ; Emilio Spinicci
Document Image Retrieval in a Question Answering System for Document Images / Koichi Kise ; Shota Fukushima ; Keinosuke Matsumoto
A Robust Braille Recognition System / David Bridson
Document Image Watermarking Based on Weight-Invariant Partition Using Support Vector Machine / Shiyan Hu
Video Degradation Model and Its Application to Character Recognition in e-Learning Videos / Jun Sun ; Yutaka Katsuyama ; Satoshi Naoi
Unity Is Strength: Coupling Media for Thematic Segmentation / Dalila Mekhaldi ; Denis Lalanne
Author Index
Digital Libraries
Document Analysis Systems for Digital Libraries: Challenges and Opportunities / Henry S. Baird ; Venugopal Govindaraju ; Daniel P. Lopresti
The Trinity College Dublin 1872 Online Catalogue / John G. Byrne
90.

図書

図書
Henk Schepers (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 258 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3199
所蔵情報: loading…
91.

図書

図書
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.)
出版情報: Berlin : Springer, c2004  293 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3300
所蔵情報: loading…
92.

図書

図書
Yong Shi, Weixuan Xu, Zhengxin Chen (eds.)
出版情報: Berlin : Springer, c2004  xiii, 262 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3327 . Lecture notes in artificial intelligence
所蔵情報: loading…
93.

図書

図書
Jacques Malenfant, Bjarte M. Østvold (eds.)
出版情報: Berlin : Springer, c2004  viii, 213 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3344
所蔵情報: loading…
94.

図書

図書
Gunter Grieser, Yuzuru Tanaka (eds.)
出版情報: Berlin : Springer, c2004  xiv, 255 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3359 . Lecture notes in artificial intelligence
所蔵情報: 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
95.

図書

図書
Erhard Rahm (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 219 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2994 . Lecture notes in bioinformatics
所蔵情報: loading…
目次情報: 続きを見る
Scientific and Clinical Workflows
An Ontology-Driven Framework for Data Transformation in Scientific Workflows / Shawn Bowers ; Bertram Ludäscher
PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web / Alexander Kozlenkov ; Michael Schroeder
Process Based Data Logistics: a Solution for Clinical Integration Problems / Stefan Jablonski ; Rainer Lay ; Christian Meiler ; Sascha Müller
Ontologies and Taxonomies
Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework / Barbara Heller ; Heinrich Herre ; Kristin Lippoldt
A Universal Character Model and Ontology of Defined Terms for Taxonomic Description / Trevor Paterson ; Jessie B. Kennedy ; Martin R. Pullan ; Alan Cannon ; Kate Armstrong ; Mark F. Watson ; Cédric Raguenaud ; Sarah M. McDonald ; Gordon Russell
On the Application of Formal Principles to Life Science Data: a Case Study in the Gene Ontology / Barry Smith ; Jacob Köhler ; Anand Kumar
Indexing and Clustering
Index-Driven XML Data Integration to Support Functional Genomics / Ela Hunt ; Evangelos Pafilis ; Inga Tulloch ; John Wilson
Heterogeneous Data Integration with the Consensus Clustering Formalism / Vladimir Filkov ; Steven Skiena
Integration Tools and Systems
LinkSuiteÖ: Formally Robust Ontology-Based Data and Information Integration / Werner Ceusters ; James Matthew Fielding
BioDataServer: An Applied Molecular Biological Data Integration Service / Sören Balko ; Matthias Lange ; Roland Schnee ; Uwe Scholz
Columba: Multidimensional Data Integration of Protein Annotations / Kristian Rother ; Heiko Müller ; Silke Trissl ; Ina Koch ; Thomas Steinke ; Robert Preissner ; Cornelius Frömmel ; Ulf Leser
Integration Techniques
On the Integration of a Large Number of Life Science Web Databases / Zina Ben Miled ; Nianhua Li ; Yang Liu ; Yue He ; Eric Lynch ; Omran Bukhres
Efficient Techniques to Explore and Rank Paths in Life Science Data Sources / Zoé Lacroix ; Louiqa Raschid ; Maria-Esther Vidal
Links and Paths through Life Science Data Sources / Hyma Murthy ; Felix Naumann
Pathway and Protein Interaction Data: From XML to FDM Database / Graham J.L. Kemp ; Selpi
Author Index
Scientific and Clinical Workflows
An Ontology-Driven Framework for Data Transformation in Scientific Workflows / Shawn Bowers ; Bertram Ludäscher
PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web / Alexander Kozlenkov ; Michael Schroeder
96.

図書

図書
Christian Jensen, Stefan Poslad, Theo Dimitrakos (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2995
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment / Ian Walden
KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services / Andrzej Uszok ; Jeffrey M. Bradshaw ; Renia Jeffers
W5: The Five W's of the World Wide Web / Massimo Marchiori
Full Papers
A Case for Evidence-Aware Distributed Reputation Systems (Overcoming the Limitations of Plausibility Considerations) / Philipp Obreiter
Enhanced Reputation Mechanism for Mobile Ad Hoc Networks / Jinshan Liu ; Valérie Issarny
Pinocchio: Incentives for Honest Participation in Distributed Trust Management / Alberto Fernandes ; Evangelos Kotsovinos ; Sven Östring ; Boris Dragovic
History-Based Signature or How to Trust Anonymous Documents / Laurent Bussard ; Refik Molva ; Yves Roudier
Trading Privacy for Trust / Jean-Marc Seigneur ; Christian Damsgaard Jensen
Supporting Privacy in Decentralized Additive Reputation Systems / Elan Pavlov ; Jeffrey S. Rosenschein ; Zvi Topol
Engineering Trust Based Collaborations in a Global Computing Environment / Colin English ; Sotirios Terzis ; Waleed Wagealla
Analysing the Relationship between Risk and Trust / Audun Jøsang ; Stéphane Lo Presti
Using Risk Analysis to Assess User Trust (- A Net-Bank Scenario -) / Gyrd Brændeland ; Ketil Stølen
E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities / Paul Ruth ; Dongyan Xu ; Bharat Bhargava ; Fred Regnier
Requirements Engineering Meets Trust Management / Paolo Giorgini ; Fabio Massacci ; John Mylopoulos ; Nicola Zannone
Towards Dynamic Security Perimeters for Virtual Collaborative Networks / Ivan Djordjevic ; Theo Dimitrakos
Human Experiments in Trust Dynamics / Catholijn M. Jonker ; Joost J.P. Schalken ; Jan Theeuwes ; Jan Treur
Using Trust in Recommender Systems: An Experimental Analysis / Paolo Massa ; Bobby Bhattacharjee
Modeling Controls for Dynamic Value Exchanges in Virtual Organizations / Yao-Hua Tan ; Walter Thoen ; Jaap Gordijn
Analyzing Correlation between Trust and User Similarity in Online Communities / Cai-Nicolas Ziegler ; Georg Lausen
Trust Development and Management in Virtual Communities / Tanko Ishaya ; Darren P. Mundy
Managing Internet-Mediated Community Trust Relations / Michael Grimsley ; Anthony Meehan ; Anna Tan
Reasoning About Trust: A Formal Logical Framework / Robert Demolombe
Trust Mediation in Knowledge Management and Sharing / Cristiano Castelfranchi
Enhanced Accountability for Electronic Processes / Adrian Baldwin
Short Papers and Experience Reports
The Use of Formal Methods in the Analysis of Trust (Position Paper) / Michael Butler ; Michael Leuschel ; Phillip Turner
Computing Recommendations to Trust / Piotr Cofta
Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements / Charles B. Haley ; Robin C. Laney ; Jonathan D. Moffett ; Bashar Nuseibeh
Towards Trust Relationship Planning for Virtual Organizations / Philip Robinson ; Jochen Haller ; Roger Kilian-Kehr
Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision / M. Gaeta ; G. Laria ; P. Ritrovato ; N. Romano ; B. Serhan ; S. Wesner ; T. Dimitrakos ; D. Mac Randal
Deploying Trust Policies on the Semantic Web (Position Paper) / Brian Matthews
Author Index
Keynote Addresses
Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment / Ian Walden
KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services / Andrzej Uszok ; Jeffrey M. Bradshaw ; Renia Jeffers
97.

図書

図書
David Schmidt (ed.)
出版情報: Berlin ;Tokyo : Springer, 2004  xii, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2986
所蔵情報: loading…
目次情報: 続きを見る
Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné
Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo
Static Analysis of Digital Filters / Jérôme Feret
Sound and Decidable Type Inference for Functional Dependencies / Gregory J. Duck ; Simon Peyton-Jones ; Peter J. Stuckey ; Martin Sulzmann
Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types) / Tom Hirschowitz ; Xavier Leroy ; J.B. Wells
ML-Like Inference for Classifiers / Cristiano Calcagno ; Eugenio Moggi ; Walid Taha
From Constraints to Finite Automata to Filtering Algorithms / Mats Carlsson ; Nicolas Beldiceanu
A Memoizing Semantics for Functional Logic Languages / Salvador España ; Vicent Estruch
Adaptive Pattern Matching on Binary Data / Per Gustafsson ; Konstantinos Sagonas
Compositional Analysis of Authentication Protocols / Michele Bugliesi ; Riccardo Focardi ; Matteo Maffei
A Distributed Abstract Machine for Boxed Ambient Calculi / Andrew Phillips ; Nobuko Yoshida ; Susan Eisenbach
A Dependently Typed Ambient Calculus / Cédric Lhoussaine ; Vladimiro Sassone
A Control Flow Analysis for Safe and Boxed Ambients / Francesca Levi ; Chiara Bodei
Linear Types for Packet Processing / Robert Ennals ; Richard Sharp ; Alan Mycroft
Modal Proofs as Distributed Programs / Limin Jia ; David Walker
ULM: A Core Programming Model for Global Computing / Gérard Boudol
A Semantic Framework for Designer Transactions / Jan Vitek ; Suresh Jagannathan ; Adam Welc ; Antony L. Hosking
Semantical Analysis of Specification Logic, 3 (An Operational Approach) / Dan R. Ghica
Answer Type Polymorphism in Call-by-Name Continuation Passing / Hayo Thielecke
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types / Sébastien Carlier ; Jeff Polakow ; A.J. Kfoury
A Hardest Attacker for Leaking References / René Rydhof Hansen
Trust Management in Strand Spaces: A Rely-Guarantee Method / Joshua D. Guttman ; F. Javier Thayer ; Jay A. Carlson ; Jonathan C. Herzog ; John D. Ramsdell ; Brian T. Sniffen
Just Fast Keying in the Pi Calculus / Martín Abadi ; Bruno Blanchet ; Cédric Fournet
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation / Vitaly Shmatikov
Functors for Proofs and Programs / Jean-Christophe Filliâtre ; Pierre Letouzey
Extracting a Data Flow Analyser in Constructive Logic / David Cachera ; Thomas Jensen ; David Pichardie ; Vlad Rusu
Canonical Graph Shapes / Arend Rensink
Author Index
Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné
Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo
98.

図書

図書
Susanne Graf, Laurent Mounier (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2989
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Formal Analysis of Processor Timing Models / Reinhard Wilhelm
Heuristics and Probabilities
Typical Structural Properties of State Spaces / Radek Pelánek
State Caching Reconsidered / Jaco Geldenhuys
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM / Peter Leven ; Tilman Mehler ; Stefan Edelkamp
Fast and Accurate Bitstate Verification for SPIN / Peter C. Dillinger ; Panagiotis Manolios
Improvements of SPIN
Model-Driven Software Verification / Gerard J. Holzmann ; Rajeev Joshi
Minimization of Counterexamples in SPIN / Paul Gastin ; Pierre Moro ; Marc Zeitoun
Validation of Timed Systems
Black-Box Conformance Testing for Real-Time Systems / Moez Krichen ; Stavros Tripakis
Validation of UML Models via a Mapping to Communicating ExtendedTimed Automata / Iulian Ober ; Susanne Graf ; Ileana Ober
Tool Papers
Explicit State Model Checking with Hopper / Michael Jones ; Eric Mercer
SEQ.OPEN: A Tool for Efficient Trace-Based Verification / Hubert Garavel ; Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP / Grégory Batt ; Damien Bergamini ; Hidde de Jong
Abstraction and Symbolic Methods
Verification of Java Programs Using Symbolic Execution andInvariant Generation / Corina S. Păsăreanu ; Willem Visser
Polynomial Time Image Computation with Interval-DefinableCounters Systems / Alain Finkel ; Jérôme Leroux
Using Fairness to Make Abstractions Work / Dragan Bošnački ; Natalia Ioustinova ; Natalia Sidorova
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models / Stefan Leue ; Richard Mayr ; Wei Wei
Applications
Translation from Adapted UML to Promela for CORBA-Based Applications / J. Chen ; H. Cui
Verifying Commit-Atomicity Using Model-Checking / Cormac Flanagan
Analysis of Distributed Spin Applied to Industrial-Scale Models / Murali Rangarajan ; Samar Dajani-Brown ; Kirk Schloegel ; Darren Cofer
Verification of MPI-Based Software for Scientific Computation / Stephen F. Siegel ; George S. Avrunin
Tutorials
Advanced SPIN Tutorial / Theo C. Ruys
IF Validation Environment Tutorial / Marius Bozga ; Laurent Mounier
Author Index
Invited Paper
Formal Analysis of Processor Timing Models / Reinhard Wilhelm
Heuristics and Probabilities
99.

図書

図書
Sharon McDonald, John Tait (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 419 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2997
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
From Information Retrieval to Information Interaction / Gary Marchionini
IR and AI: Traditions of Representation and Anti-representation in Information Processing / Yorick Wilks
User Studies
A User-Centered Approach to Evaluating Topic Models / Diane Kelly ; Fernando Diaz ; Nicholas J. Belkin ; James Allan
A Study of User Interaction with a Concept-Based Interactive Query Expansion Support Tool / Hideo Joho ; Mark Sanderson ; Micheline Beaulieu
Searcher's Assessments of Task Complexity for Web Searching / David J. Bell ; Ian Ruthven
Question Answering
Evaluating Passage Retrieval Approaches for Question Answering / Ian Roberts ; Robert Gaizauskas
Identification of Relevant and Novel Sentences Using Reference Corpus / Hsin-Hsi Chen ; Ming-Feng Tsai ; Ming-Hung Hsu
Answer Selection in a Multi-stream Open Domain Question Answering System / Valentin Jijkoun ; Maarten de Rijke
Information Models
A Bidimensional View of Documents for Text Categorisation / Giorgio Maria Di Nunzio
Query Difficulty, Robustness, and Selective Application of Query Expansion / Giambattista Amati ; Claudio Carpineto ; Giovanni Romano
Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection / Henrik Nottelmann ; Norbert Fuhr
Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering / Chihli Hung ; Stefan Wermter ; Peter Smith
Classification
Contextual Document Clustering / Vladimir Dobrynin ; David Patterson ; Niall Rooney
Complex Linguistic Features for Text Classification: A Comprehensive Study / Alessandro Moschitti ; Roberto Basili
Eliminating High-Degree Biased Character Bigrams for Dimensionality Reduction in Chinese Text Categorization / Dejun Xue ; Maosong Sun
Summarization
Broadcast News Gisting Using Lexical Cohesion Analysis / Nicola Stokes ; Eamonn Newman ; Joe Carthy ; Alan F. Smeaton
From Text Summarisation to Style-Specific Summarisation for Broadcast News / Heidi Christensen ; BalaKrishna Kolluru ; Yoshihiko Gotoh ; Steve Renals
Image Retrieval
Relevance Feedback for Cross Language Image Retrieval / Paul Clough
Integrating Perceptual Signal Features within a Multi-facetted Conceptual Model for Automatic Image Retrieval / Daniel Heesch ; Stefan Rüger ; Mohammed Belkhatir ; Philippe Mulhem ; Yves Chiaramella
Evaluation Issues
Improving Retrieval Effectiveness by Reranking Documents Based on Controlled Vocabulary / Jaap Kamps
A Study of the Assessment of Relevance for the INEX'02 Test Collection / Gabriella Kazai ; Sherezad Masood ; Mounia Lalmas
A Simulated Study of Implicit Feedback Models / Ryen W. White ; Joemon M. Jose ; C.J. van Rijsbergen
Cross Language IR
Cross-Language Information Retrieval Using EuroWordNet and Word Sense Disambiguation / Mark Stevenson
Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing / Wolfram M. Esser
Measuring a Cross Language Image Retrieval System / Catherine Paterson ; Wai Tung Lo
Web-Based and XML IR
An Optimistic Model for Searching Web Directories / Fidel Cacheda ; Ricardo Baeza-Yates
Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data / Felix Weigel ; Holger Meuss ; François Bry ; Klaus U. Schulz
Performance Analysis of Distributed Architectures to Index One Terabyte of Text / Vassilis Plachouras ; Iadh Ounis
Applying the Divergence from Randomness Approach for Content-Only Search in XML Documents / Mohammad Abolhassani
Author Index
Keynote Papers
From Information Retrieval to Information Interaction / Gary Marchionini
IR and AI: Traditions of Representation and Anti-representation in Information Processing / Yorick Wilks
100.

図書

図書
Günther R. Raidl et al. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 562 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3005
所蔵情報: loading…
目次情報: 続きを見る
EvoBIO Contributions
A Memetic Algorithm for Protein Structure Prediction in a 3D Lattice HP Model / Andrea Bazzoli ; Andrea G.B. Tettamanzi
An Improved Genetic Algorithm for the Sequencing by Hybridization Problem / Carlos A. Brizuela ; Luis C. González ; Heidi J. Romero
Evolutionary Search of Thresholds for Robust Feature Set Selection: Application to the Analysis of Microarray Data / Carlos Cotta ; Christian Sloper ; Pablo Moscato
Evolving Regular Expression-Based Sequence Classifiers for Protein Nuclear Localisation / Amine Heddad ; Markus Brameier ; Robert M. MacCallum
Analysis of Proteomic Pattern Data for Cancer Detection / Kees Jong ; Elena Marchiori ; Aad van der Vaart
Self-Adaptive Scouting-Autonomous Experimentation for Systems Biology / Naoki Matsumaru ; Florian Centler ; Klaus-Peter Zauner ; Peter Dittrich
An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems / Jason H. Moore ; Lance W. Hahn
Two-Step Genetic Programming for Optimization of RNA Common-Structure / Jin-Wu Nam ; Je-Gun Joung ; Y.S. Ahn ; Byoung-Tak Zhang
Evolutionary Algorithms for Optimal Control in Fed-Batch Fermentation Processes / Miguel Rocha ; José Neves ; Isabel Rocha ; Eugénio C. Ferreira
Discrete Branch Length Representations for Genetic Algorithms in Phylogenetic Search / Jian Shen ; Robert B. Heckendorn
Iteratively Inferring Gene Regulatory Networks with Virtual Knockout Experiments / Christian Spieth ; Felix Streichert ; Nora Speer ; Andreas Zell
Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators / René Thomsen ; Wouter Boomsma
Constructing Microbial Consortia with Minimal Growth Using a Genetic Algorithm / Frederik P.J. Vandecasteele ; Thomas F. Hess ; Ronald L. Crawford
EvoCOMNET Contributions
2-Objective Optimization of Cells Overlap and Geometry with Evolutionary Algorithms / Adel Jedidi ; Alexandre Caminada ; Gerd Finke
A Genetic Algorithm for Telecommunication Network Design / Silvana Livramento ; Arnaldo V. Moura ; Flávio K. Miyazawa ; Mário M. Harada ; Rogério A. Miranda
A GA/Heuristic Hybrid Technique for Routing and Wavelength Assignment in WDM Networks / A. Cagatay Talay ; Sema Oktug
Ant Colony Optimization for the Maximum Edge-Disjoint Paths Problem / Maria Blesa ; Christian Blum
Using Genetic Programming to Design Broadcasting Algorithms for Manhattan Street Networks / Francesc Comellas ; Cristina Dalfó
A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques / Sérgio G. Araújo ; Antônio C. Mesquita ; Aloysio C.P. Pedroza
EvoHOT Contributions
A Slicing Structure Representation for the Multi-layer Floorplan Layout Problem / Johan Berntsson ; Maolin Tang
Disjoint Sum of Product Minimization by Evolutionary Algorithms / Nicole Drechsler ; Mario Hilgemeier ; Görschwin Fey ; Rolf Drechsler
Genetic Algorithms to Improve Mask and Illumination Geometries in Lithographic Imaging Systems / Tim Fühner ; Andreas Erdmann ; Richárd Farkas ; Bernd Tollkühn ; Gabriella Kókai
Multi-objective Genetic Manipulator Trajectory Planner / Eduardo José Solteiro Pires ; Paulo B. de Moura Oliveira ; José António Tenreiro Machado
Exploiting HW Acceleration for Classifying Complex Test Program Generation Problems / Ernesto Sanchez ; Giovanni Squillero ; Massimo Violante
Evolutionary Design Space Exploration for Median Circuits / Lukáš Sekanina
EvoIASP Contributions
Genetic Optimization of Morphological Filters with Applications in Breast Cancer Detection / Lucia Ballerini ; Lennart Franzén
Image Segmentation by a Genetic Fuzzy c-Means Algorithm Using Color and Spatial Information / Leonardo Bocchi ; Carina B. Johansson
Bond-Issuer Credit Rating with Grammatical Evolution / Anthony Brabazon ; Michael O'Neill
Using GAs to Create a Waveguide Model of the Oral Vocal Tract / Crispin H.V. Cooper ; David M. Howard ; Andy M. Tyrrell
Vision-Based Hand Motion Capture Using Genetic Algorithm / Jin-shi Cui ; Zeng-qi Sun
Top-Down Evolutionary Image Segmentation Using a Hierarchical Social Metaheuristic / Abraham Duarte ; Ángel Sánchez ; Felipe Fernández ; Antonio S. Montemayor ; Juan J. Pantrigo
Multi-objective Sensor Planning for Efficient and Accurate Object Reconstruction / Enrique Dunn ; Gustavo Olague
An Algorithm for Segmenting Gaseous Objects on Images / Sung-Min Kim ; Wonha Kim
Evolution Strategies Approach for the Solution of an Inverse Problem in Near-Field Optics / Demetrio Macias ; Alexandre Vial ; Dominique Barchiesi
A Watermark Sharing Scheme to High Quality Halftone Images with Genetic Algorithms / Emi Myodo ; Kiyoshi Tanaka
Using Genetic Programming for Character Discrimination in Damaged Documents / Daniel Rivero ; Juan R. Rahuñal ; Julián Dorado ; Alejandro Pazos
Evolutionary Algorithm-Based Local Structure Modeling for Improved Active Shape Model / Jeongho Shin ; Hyunjong Ki ; Vivek Maik ; Jinyoung Kang ; Junghoon Jung ; Joonki Paik
Multiclass Object Classification Using Genetic Programming / Mengjie Zhang ; Will Smart
Program Size and Pixel Statistics in Genetic Programming for Object Detection / Urvesh Bhowan
Intrinsic Evolvable Hardware in Digital Filter Design / Yang Zhang ; Stephen L. Smith
EvoMUSART Contributions
Swarm Granulator / Tim Blackwell ; Michael Young
Aesthetic Video Filter Evolution in an Interactive Real-Time Framework / Matthew Lewis
Generative Art: Fuzzy Polygon Clipping in Program Generated Line Oriented Drawings / Hans E. Dehlinger
Tilings of Sequences of Co-evolved Images / Gary Greenfield
Adaptive Critics for Evolutionary Artists / Penousal Machado ; Juan Romero ; María Luisa Santos ; Amílcar Cardoso ; Bill Manaris
Automated Aesthetic Selection of Evolutionary Art by Distance Based Classification of Genomes and Phenomes Using the Universal Similarity Metric / Nils Svangård ; Peter Nordin
Improvisational Media Space: Architecture and Strategies for Evolution / Paul Nemirovsky ; Rebecca Luger-Guillaume
The Virtual Ecosystem as Generative Electronic Art / Alan Dorin
Aesthetic Evolution of L-Systems Revisited / Jon McCormack
EvoSTOC Contributions
Multi-swarm Optimization in Dynamic Environments / Jürgen Branke
Evolutionary Algorithms for Stochastic Arc Routing Problems / Gérard Fleury ; Philippe Lacomme ; Christian Prins
A Hierarchical Particle Swarm Optimizer for Dynamic Optimization Problems / Stefan Janson ; Martin Middendorf
Constructing Dynamic Optimization Test Problems Using the Multi-objective Optimization Concept / Yaochu Jin ; Bernhard Sendhoff
Competitive Goal Coordination in Automatic Parking / Darío Maravall ; Javier de Lope ; Miguel Ángel Patricio
Evolutionary Bayesian Network Dynamic Planner for Game RISK / James Vaccaro ; Clark Guest
Author Index
EvoBIO Contributions
A Memetic Algorithm for Protein Structure Prediction in a 3D Lattice HP Model / Andrea Bazzoli ; Andrea G.B. Tettamanzi
An Improved Genetic Algorithm for the Sequencing by Hybridization Problem / Carlos A. Brizuela ; Luis C. González ; Heidi J. Romero
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼