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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼