close
1.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Ricardo Choren, Takeo Kanade, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Hartmut Ehrig, Takeo Kanade, Hans-J?rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック

EB
David Hutchison, Takeo Kanade, Zhilin Li, Lubin Vulkov, Jerzy W??sniewski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック

EB
David Hutchison, Ulrik Brandes, Thomas Erlebach, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Nicolas Guelfi, Takeo Kanade, Gianna Reggio, Alexander Romanovsky
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade, Peter Van-Roy
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック

EB
David Hutchison, Nuno Jardim Nunes, Takeo Kanade, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック

EB
David Hutchison, Bruno Bouyssounouse, Takeo Kanade, Joseph Sifakis
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック

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

電子ブック

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

電子ブック

EB
David Hutchison, Takeo Kanade, Constantine Stephanidis, Thematic Network (Working Group) Information Society for All.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック

EB
David Hutchison, Takeo Kanade, James F. Peters, Andrzej Skowron, Dick van Albada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Flow Graphs and Data Mining / Zdzisław Pawlak
The Rough Set Exploration System / Jan G. Bazan ; Marcin Szczuka
Rough Validity, Confidence, and Coverage of Rules in Approximation Spaces / Anna Gomolińska
Knowledge Extraction from Intelligent Electronic Devices / Ching-Lai Hor ; Peter A. Crossley
Processing of Musical Data Employing Rough Sets and Artificial Neural Networks / Bożena Kostek ; Piotr Szczuko ; Pawel Żwan ; Piotr Dalka
Computational Intelligence in Bioinformatics / Sushmita Mitra
Rough Ethology: Towards a Biologically-Inspired Study of Collective Behavior in Intelligent Systems with Approximation Spaces / James F. Peters
Approximation Spaces and Information Granulation / Andrzej Skowron ; Roman Świniarski ; Piotr Synak
The Rough Set Database System: An Overview / Zbigniew Suraj ; Piotr Grochowalski
Rough Sets and Bayes Factor / Dominik Śl&ecedil;zak
Formal Concept Analysis and Rough Set Theory from the Perspective of Finite Topological Approximations / Marcin Wolski
Dissertations and Monographs
Time Complexity of Decision Trees / Mikhail Ju. Moshkov
Author Index
Regular Papers
Flow Graphs and Data Mining / Zdzisław Pawlak
The Rough Set Exploration System / Jan G. Bazan ; Marcin Szczuka
18.

電子ブック

EB
David Hutchison, Sven A. Brueckner, Takeo Kanade, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
19.

電子ブック

EB
David Hutchison, Takeo Kanade, Stefan Leue, Tarja Johanna Syst?, Tarja J. Syst??
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
20.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
21.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
22.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Research Review and Outlook
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
The E-Government Melting Pot: Lacking New Public Management and Innovation Flavor? / Moyfrid Karstad Sannarnes ; Helle Zinner Henriksen ; Kim Viborg Andersen
The Organisation and Coordination of European e-Government Research for the EU in 2010 / Jaro Berce ; Annaflavia Bianchi ; Clara Centeno ; David Osimo ; Jeremy Millard ; Jamal Shahin
What Role Has Scandinavian IS Tradition in eGovernment Implementations / Arild Jansen
Maximizing Knowledge for Program Evaluation: Critical Issues and Practical Challenges of ICT Strategies / Sharon S. Dawes ; Theresa A. Pardo
Participation and Democracy
The Citizens in E-Participation / Henning Sten Hansen ; Kristian Hegner Reinau
From Market Squares to Homepages: A Survey of Swiss MPs' Interactivity / Jean-Loup Chappelet ; Kristian Pierre Kilchenmann
'Mind the Gap'; e-Government and e-Democracy / Ailsa Kolsaker ; Liz Lee-Kelley
To Be or Not to Be Active: Exploring Practices of e-Participation / Annelie Ekelin
e-Participation Behind Closed Doors: Online Evaluation of Teaching Performance
Designing Government Services
A Review of Quality Dimensions in e-Government Services / Xenia Papadomichelaki ; Babis Magoutas ; Christos Halaris ; Dimitris Apostolou ; Gregoris Mentzas
Is It Only About Internet Access? An Empirical Test of a Multi-dimensional Digital Divide / J. Ramon Gil-Garcia ; Natalie C. Helbig ; Enrico Ferro
Hidden Negative Social Effects of Poor e-Government Services Design / Enrique Stanziola ; Mauricio Minute Espil ; Luis Landoni ; Santiago Montoya
Designing Government Portal Navigation Around Citizens Needs / Rob Klaassen ; Joyce Karreman ; Thea van der Geest
Municipalities on the Web: User-Friendliness of Government Information on the Internet / Menno de Jong ; Leo Lentz
"Open Choice": Improving Public Sector Performance with Process Reorganization Methodology / Martin Brilggemeier ; Angela Dovifat ; Klaus Lenk
Organising Municipal e-Government Systems: A Multi-facet Taxonomy of e-Services for Citizens and Businesses / Yannis Charalabidis ; Dimitris Askounis ; George Gionis ; Fenareti Lampathaki ; Kostas Metaxiotis
Legal Dimensions in E-Government
Time Model for Managing the Dynamic of Normative System / Monica Palmirani ; Raffaella Brighi
Semantic Portal for Legislative Information / Matti Jarvenpaa ; Maiju Virtanen ; Airi Salminen
The x-Leges System: Peer-to-Peer for Legislative Document Exchange / Luca De Santis ; Caterina Lupo ; Carlo Marchetti ; Massimo Mecella
Procurement and Governance Issues in Networked Governments
Flexibility of Information Architecture in e-Government Chains / Victor Bekkers
Local Networking for e-Services: A UK Case Study / Rony Medaglia
Why E-government Usage Lags Behind: Explaining the Gap Between Potential and Actual Usage of Electronic Public Services in the Netherlands / Alexander van Deursen ; Jan van Dijk ; Wolfgang Ebbers
Limits of Public Procurement: Information Systems Acquisition / Carl Erik Moe ; Anne Cathrine Risvand ; Maung K. Sein
Evaluation and Assessment
Digital Capability Assessment for eGovernment: A Multi-dimensional Approach / Anthony M. Cresswell ; Donna S. Canestraro
Assessing the Intangible Value of G2G Endeavours / Luiz Antonio Joia
Evaluation of E-Government Systems: Project Assessment vs Development Assessment / Rahul De'
ROI Analysis in e-Government Assessment Trials: The Case of Sistema Piemonte / Tommaso Carratta ; Lucy Dadayan
IT Auditing in E-Government / Reinhard Riedl ; Manuel Juen
Author Index
Research Review and Outlook
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
23.

電子ブック

EB
Carlos Cotta, Jano Hemert, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
24.

電子ブック

EB
David Hutchison, Fran?ois Fages, Mohand-Sa?d Hacid, Takeo Kanade, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, S. Spaccapietra, Juan Trujillo, Ilya Zaihrayeu, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
23rd International Conference on Conceptual Modeling (ER 2004)
Default Clustering with Conceptual Structures / Julien Velcin ; Jean-Gabriel Ganascia
Workshop on Context and Ontologies: Theory, Practice and Applications (C&O 2005)
Context Dependency Management in Ontology Engineering: A Formal Approach / Pieter De Leenheer ; Aldo de Moor ; Robert Meersman
Encoding Classifications into Lightweight Ontologies / Fausto Giunchiglia ; Maurizio Marchese ; Ilya Zaihrayeu
Second International Conference on Ontologies, DataBases and Applications of SEmantics (ODBASE 2005)
GeRoMe: A Generic Role Based Metamodel for Model Management / David Kensche ; Christoph Quiz ; Mohamed Amine Chatti ; Matthias Jarke
Metadata Management in a Multiversion Data Warehouse / Robert Wrembel ; Bartosz Bebel
International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005)
SomeRDFS in the Semantic Web / Philippe Adjiman ; Francois Goasdoue ; Marie-Christine Rousset
A Tool for Evaluating Ontology Alignment Strategies / Patrick Lambrix ; He Tan
7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005)
Processing Sequential Patterns in Relational Databases / Xuequn Shang ; Kai-Uwe Sattler
Author Index
23rd International Conference on Conceptual Modeling (ER 2004)
Default Clustering with Conceptual Structures / Julien Velcin ; Jean-Gabriel Ganascia
Workshop on Context and Ontologies: Theory, Practice and Applications (C&O 2005)
25.

電子ブック

EB
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
26.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
27.

電子ブック

EB
Radu Prodan, Thomas Fahringer, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
28.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
29.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
30.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
31.

電子ブック

EB
David Hutchison, Spyros Denazis, Takeo Kanade, Laurent Lefevre, Gary J. Minden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
32.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
Mean Square Residue Biclustering with Missing Data and Row Inversions / Stefan Gremalschi ; Gulsah Altun ; Irina Astrovskaya ; Alexander Zelikovsky
Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks / Peter Larsen ; Yang Dai
Querying Protein-Protein Interaction Networks / Guillaume Blin ; Florian Sikora ; Stéphane Vialette
Integrative Approach for Combining TNF α-NF κB Mathematical Model to a Protein Interaction Connectivity Map / Mahesh Visvanathan ; Bernhard Pfeifer ; Christian Baumgartner ; Bernhard Tilg ; Gerald Henry Lushington
Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient / Min Li ; Jianxin Wang ; Jianer Chen ; Yi Pan
Bioinformatics Challenges in Translational Research (Invited Keynote Talk) / Nicholas F. Tsinoremas
Untangling Tanglegrams: Comparing Trees by Their Drawings / Balaji Venkatachalam ; Jim Apple ; Katherine St. John ; Dan Gusfield
An Experimental Analysis of Consensus Tree Algorithms for Large-Scale Tree Collections / Seung-Jin Sul ; Tiffani L. Williams
Counting Faces in Split Networks / Lichen Bao ; Sergey Bereg
Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns / Alexander Kister
Improved Algorithms for Parsing ESLTAGs: A Grammatical Model Suitable for RNA Pseudoknots / Sanguthevar Rajasekaran ; Sahar Al Seesi ; Reda Ammar
Efficient Algorithms for Self Assembling Triangular and Other Nano Structures / Vamsi Kundeti
Motif Construction from High-Throughput SELEX Data (Invited Keynote Talk) / Esko Ukkonen
Rearrangement Phylogeny of Genomes in Contig Form / Adriana Muñoz ; David Sankoff
Prediction of Contiguous Regions in the Amniote Ancestral Genome / Aïda Ouangraoua ; Frédéric Boyer ; Andrew McPherson ; Éric Tannier ; Cedric Chauve
Pure Parsimony Xor Haplotyping / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Yuri Pirola ; Romeo Rizzi
A Decomposition of the Pure Parsimony Haplotyping Problem / Allen Holder ; Thomas Langley
Exact Computation of Coalescent Likelihood under the Infinite Sites Model / Yufeng Wu
Imputation-Based Local Ancestry Inference in Admixed Populations / Bogdan Paşaniuc ; Justin Kennedy ; Ion M&acaron;ndoiu
Interpreting Population Sequencing Data (Invited Keynote Talk) / Shamil R. Sunyaev
Modeling and Visualizing Heterogeneity of Spatial Patterns of Protein-DNA Interaction from High-Density Chromatin Precipitation Mapping Data / Juntao Li ; Fajrian Yunus ; Zhu Lei ; Majid Eshaghi ; Jianhua Liu ; R. Krishna Murthy Karuturi
A Linear-Time Algorithm for Analyzing Array CGH Data Using Log Ratio Triangulation / Matthew Hayes ; Jing Li
Mining of cis-Regulatory Motifs Associated with Tissue-Specific Alternative Splicing / Jihye Kim ; Sihui Zhao
Analysis of Cis-Regulatory Motifs in Cassette Exons by Incorporating Exon Skipping Rates
A Class of Evolution-Based Kernels for Protein Homology Analysis: A Generalization of the PAM Model / Valentina Sulimova ; Vadim Mottl ; Boris Mirkin ; Ilya Muchnik ; Casimir Kulikowski
Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution / Miguel A. Jiménez-Montaño ; Matthew He
A One-Class Classification Approach for Protein Sequences and Structures / András Bánhalmi ; Róbert Busa-Fekete ; Balázs Kégl
Prediction and Classification of Real and Pseudo MicroRNA Precursors via Data Fuzzification and Fuzzy Decision Trees / Na'el Abu-halaweh ; Robert Harrison
Author Index
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
33.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
34.

電子ブック

EB
Masaaki Kurosu, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
35.

電子ブック

EB
Michael J. Smith, David Hutchison, Takeo Kanade, Gavriel Salvendy
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
36.

電子ブック

EB
Gavriel Salvendy, David Hutchison, Takeo Kanade, Michael J. Smith
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
37.

電子ブック

EB
Julie A. Jacko, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
38.

電子ブック

EB
Julie A. Jacko, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
39.

電子ブック

EB
Arnt-B?rre Salberg, Jon Yngve Hardeberg, David Hutchison, Robert Jenssen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
40.

電子ブック

EB
Jacques Carette, Claudio Sacerdoti Coen, Lucas Dixon, David Hutchison, Takeo Kanade, Stephen M. Watt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Joint Invited Talks / 1:
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning / Jacques Calmet
Software Engineering for Mathematics / Georges Gonthier
Calculemus Talks / 2:
Some Traditional Mathematical Knowledge Management / Patrick D.F. Ion
Math Handwriting Recognition in Windows 7 and Its Benefits / Marko Panic
Assembling the Digital Mathematics Library / David Ruddy
CAMAL 40 Years on - Is Small Still Beautiful? / John Fitch
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations / Gonzalo A. Aranda-Corral ; Joaquín Borrego-Díaz ; M. Magdalena Fernández-Lebrón
Combining Coq and Gappa for Certifying Floating-Point Programs / Sylvie Boldo ; Jean-Christophe Filliâtre ; Guillaume Melquiond
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy / Russell Bradford ; James H. Davenport ; Christopher J. Sangwin
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra / Aleks Kissinger
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System / Francisco-Jesus ; Martín-Mateos ; Julio Rubio ; Jose-Luis Ruiz-Reina
Combined Decision Techniques for the Existential Theory of the Reals / Grant Olney Passmore ; Paul B. Jackson
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators / Ekaterina Shemyakova
A Groupoid of Isomorphic Data Transformations / Paul Tarau
Algorithms for the Functional Decomposition of Laurent Polynomials
MKM Talks / 3:
A Linear Grammar Approach to Mathematical Formula Recognition from PDF / Josef B. Baker
Formal Proof: Reconciling Correctness and Understanding / Cristian S. Calude ; Christine Müller
A Review of Mathematical Knowledge Management / Jacques Carette ; William M. Farmer
OpenMath Content Dictionaries for SI Quantities and Units / Joseph B. Collins
Unifying Math Ontologies: A Tale of Two Standards / Michael Kohlhase
Integrating Web Services into Active Mathematical Documents / Jana Giceva ; Christoph Lange ; Florian Rabe
Representation for Interactive Exercises / George Goguadze
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability / Davood G. Gozli ; Marco Pollanen ; Michael Reynolds
Canonical Forms in Interactive Exercise Assistants / Bastiaan Heeren ; Johan Jeuring
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice / Andrea Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques
MathLang Translation to Isabelle Syntax / Robert Lamar ; Fairouz Kamareddine ; J.B. Wells
A Mathematical Approach to Ontology Authoring and Documentation
A Logically Saturated Extension of λ&bar;μμ&bar; / Lionel Elie Mamane ; Herman Geuvers ; James McKinna
From Tessellations to Table Interpretation / Ramana C. Jandhyala ; Mukkai Krishnamoorthy ; George Nagy ; Raghav Padmanabhan ; Sharad Seth ; William Silversmith
Finite Groups Representation Theory with CoQ / Sidi Ould Biha
Collaborative Assistant to Handle MathML Expressions / Aslam Muhammad ; Ana Maria Martinez Enriquez ; Gonzalo Escalada-Imaz
Confidence Measures in Recognizing Handwritten Mathematical Symbols / Oleg Golubitsky
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems / Jónathan Heras ; Vico Pascual
OpenMath in SCIEnce: SCSCP and POPCORN / Peter Horn ; Dan Roozemond
A Knowledge Repository for Indefinite Integration Based on Transformation Rules / A.D. Rich ; D.J. Jeffrey
Natural Deduction Environment for Matita / Claudio Sacerdoti Coen ; Enrico Tassi
Author Index
Joint Invited Talks / 1:
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
41.

電子ブック

EB
Klaus Ambos-Spies, David Hutchison, Takeo Kanade, Benedikt L?we, Wolfgang Merkle
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
42.

電子ブック

EB
Dickson Lukose, David Hutchison, Takeo Kanade, Zhongzhi Shi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
Full Papers
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management / Nandan Chaturbhuj ; V. Shyam Prakash ; Shivashankar B. Nair
Prisoner's Dilemma Game on Network / Masahiro Ono ; Mitsuru Ishizuka
Addressing Constraint Failures in Agent Interaction Protocol / Fadzil Hassan ; Dave Robertson ; Chris Walton
Reasoning about Success and Failure in Intentional Agents / Timothy William Cleaver ; Abdul Sattar ; Kewen Wang
Agent-Base Workflow Management System Architecture-An Example on Conference Info System / Feng-Chao Yang
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation / Gowun Jeong ; Hajime Sawamura
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration / Maoguang Wang ; Zhongzhi Shi ; Wenpin Jiao
Towards a Component-Based Architecture for TeleAgents / Ockmer L. Oosthuizen ; Elizabeth M. Ehlers
Development of a Lightweight Middleware Technologies Supporting Mobile Agents / Gu Su Kim ; Jaegon Kim ; Hyun-jin Cho ; Won-taek Lim ; Young Ik Eom
The Roles of Active Perception in Intelligent Agent Systems / Raymond So ; Liz Sonenberg
Fairness in Cooperating Multi-agent Systems-Using Profit Sharing as an Example / Ming-Chih Hsu ; Von-Wun Soo
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 X 2 Risk Games / Ka-man Lam ; Ho-fung Leung
A Crowd Model for Emergency and Panic Situations: Structure, Characteristics and Behaviours / Mohd Bazli Ab Karim ; Abdullah Zawawi Talib ; Ahmad Izani Ismail ; Bahari Belaton
Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering (Preliminary Version) / Valentin Robu ; Han La Poutré
Artiste: Agent Organization Management System for Multi-Agent Systems / Atsushi Terauchi ; Osamu Akashi ; Mitsuru Maruyama ; Kensuke Fukuda ; Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara
Sensor Management Model Using Multi-agent in Small-Area Sensor Networks / Keonsoo Lee ; Minkoo Kim
Conflict Resolution Method for Multi-context Situation
Multi-auction Approach for Solving Task Allocation Problem / Chi-Kong Chan ; Ho-Fung Leung
Using Classification Learning in Companion Modeling / Daisuke Torii ; Francois Bousquet ; Toru Ishida ; Guy Trébuil ; Chirawat Vejpas
Modeling a MultiAgent Mobile Robotics Test Bed Using a Biologically Inspired Artificial Immune System / Tejbanta Singh Chingtham
Deploying Multi-Agents for Intelligent Aspect-Oriented Web Services / Santokh Singh ; John Hosking ; John Grundy
Multi-Agent System Using G-XMDR for Data Synchronization in Pervasive Computing Environments / Young-Gyou Kook ; R. Young-Chul Kim ; Young-Keun Choi
An Interval-Based Knowledge Model and Query Language for Temporal Information / He Huang ; Xiaoxiao He ; Lirong Qiu ; Jiewen Luo
A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce / Shujuan Ji ; Qijia Tian ; Yongquan Liang
Agent Based Interaction Model for Electronic Health Record System / Il Kon Kim ; Sung Hyun Lee ; Hyoung Jun Seo
Implementation of MedVI Agent a Medical Vocabulary Interpreter for Medical Agents / Beesung Kam ; Il kon Kim ; Hune Cho ; Yun Sik Kwak
Multi-agent Cooperation: A Description Logic View
Enhancing Bidding Strategies in CDAs by Adaptive Judgement of Price Acceptability / Huiye Ma
Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L) / Aniruddha Dasgupta ; Aditya K. Ghose
Author Index
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
43.

電子ブック

EB
Daqing Zhang, David Hutchison, Jadwiga Indulska, Takeo Kanade, Marius Portmann, Ah-Hwee Tan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
44.

電子ブック

EB
Constantine Stephanidis, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
45.

電子ブック

EB
Constantine Stephanidis, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
46.

電子ブック

EB
David Hutchison, David Ahlgren, John Anderson, Jacky Baltes, Thomas Braunl, Takeo Kanade, Ryohei Nakatsu, Ulrich R?ckert, Joaquin Sitte, Igor Verner, Ulf Witkowski, Ching-Chang Wong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
47.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
48.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
49.

電子ブック

EB
Koen V. Hindriks, David Hutchison, Takeo Kanade, Alexander Pokahr, Sebastian Sardina
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
Programming Verifiable Heterogeneous Agent Systems / Louise A. Dennis ; Michael Fisher
OrwellÆs Nightmare for Agents? Programming Multi-agent Organisations / Nick A.M. Tinnemeier ; Mehdi Dastani ; Jahn-Jules Ch. Meyer
Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations / Peter Novák
Multi-agent Systems Frameworks
Presage: A programming Environment for the Simulation of Agent Societies / Brendan Neville ; Jeremy Pitt
An Organisational Platform for Holonic and Multiagent Systems / Nicolas Gaud ; Stéphane Galland ; Vincent Hilaire ; Abderrafiâa Koukam
A Complete-Computerised Delphi Process with a Multi-Agent System / Iván García-Magaiño ; Jorge J. Gómez-Sanz ; José R. Pérez-Agüera
Agent Environments and Tools
How Situated Is Your Agent? A Cognitive Perspective / Daghan L. Acay ; Liz Sonenberg ; Alessandro Ricci ; Philippe Pasquier
An Awareness Model for Agents in Heterogeneous Environments / Dirk Bade ; Lars Braubach ; Alexander Pokahr ; Winfried Lamersdorf
Infrastructure for Forensic Analysis of Multi-Agent Systems / Emilio Serrano ; Juan A. Botia
Toolipse: An IDE for Development of JIAC Applications / Erdene-Ochir Tuguldur ; Axel Hessler ; Benjamin Hirsch ; Sahin Albayrak
Kerberos-Based Secure Multiagent Platform / Jose M. Such ; Juan M. Alberola ; Ana Garcia-Fornes ; Agustin Espinosa ; Vicent Botti
Agent Contest
Agent Contest Competition: 4th Edition / Tristan M. Behrens ; Jürgen Dix
AC08 System Description / Jacek Szklarski
Herding Agents-JIAC TNG in Multi-Agent Programming Contest 2008 / Jan Keiser ; Tobias Küster ; Marcel Patzlaff ; Alexander Thiele
On Herding Artificial Cows: Using Jadex to Coordinate Cowboy Agents / Gregor Batthasar ; Jan Sudeikat ; Wolfgang Renz
Using Jason and MOISE+ to Develop a Team of Cowboys / Jomi F. Hübner ; Rafael H. Bordini ; Gauthier Picard
Dublin Bogtrotters: Agent Herders / Mauro Dragons ; David Lillis ; Conor Muldoon ; Richard Tynan ; Rem W. Collier ; Gregory M.P. OÆHare
SHABaN Multi-agent Team to Herd Cows / Adel T. Rahmani ; Alireza Saberi ; Mehdi Mohammadi ; Amin Nikanjam ; Ehsan Adeli Mosabbeb ; Monireh Abdoos
Author Index
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
50.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
51.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
52.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Logic / I:
Wisdom Technology: A Rough-Granular Approach / Andrzej Jankowski ; Andrzej Skomron
Paraconsistent Reasoning with Words / Alicja S. Szalas ; Andrzej Szo&lslash;as
Language / II:
On the Root-Based Lexicon for Polish / Joanna Rabiega-Wiśniewska
Representation of Uzbek Morphology in Prolog / Gayrat Matlatipov ; Zygmunt Vetulani
Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex / Agata Savary ; Marcin Woliński
A New Format Definition of Polish Nominal Phrases / Marek Świdziński
Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish / Maciej Piasecki ; Adam Radziszewski
Towards the Automatic Acquisition of a Valence Dictionary for Polish / Adam Przepiórkowski
Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm / El&zadot;bieta Hajnicz
Adjectives: Constructions vs. Valence / Anna Kupść
Applications / III:
User-Centered Design for a Voice Portal / Krzysztof Marasek ; &Lslash;ukasz Brocki ; Danijel Kor inek ; Krzysztof Szklanny ; Ryszard Gubrynowicz
Speech Understanding System SUSY-A New Version of the Speech Synthesis Program / Jerzy Cytowski
Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries / Jakub Piskorski
Domain Model for Medical Information Extraction-The LightMedOnt Ontology / Agnieszka Mykowtecka ; Malgorzata Marciniak
A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences / Andrzej Polański ; Rafa&lslash; Pokrzywa ; Marek Kimmel
Intelligent Decision Support: A Fuzzy Stock Ranking System / Adam Ghandar ; Zbigniew Michalewicz ; Ralf Zurbruegg
Collane: An Experiment in Computer-Mediated Tacit Collaboration / Tomek Strzalkowski ; Sarah Taylor ; Samira Shaikh ; Ban-Ami Lipetz ; Hilda Hardy ; Nick Webb ; Tony Cresswell ; Ting Liu ; Min Wu ; Yu Zhan ; Song Chen
Author Index
Logic / I:
Wisdom Technology: A Rough-Granular Approach / Andrzej Jankowski ; Andrzej Skomron
Paraconsistent Reasoning with Words / Alicja S. Szalas ; Andrzej Szo&lslash;as
53.

電子ブック

EB
Koen Langendoen, David Hutchison, Takeo Kanade, K. G. Langendoen, Thiemo Voigt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
54.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
55.

電子ブック

EB
James Aspnes, Anish Arora, David Hutchison, Takeo Kanade, Samuel Madden, Christian Scheideler, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
56.

電子ブック

EB
Michael Hanus, David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
57.

電子ブック

EB
David Hutchison, Bernhard Ganter, Takeo Kanade, Gerd Stumme, Rudolf Wille
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
58.

電子ブック

EB
David Hutchison, Takeo Kanade, Ralf Steinmetz, Klaus Wehrle
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
59.

電子ブック

EB
David Hutchison, Takeo Kanade, Victor Larios, F?lix F. Ramos, Herwig Unger
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
60.

電子ブック

EB
David Hutchison, Takeo Kanade, Vladimir Marik, Michal Pechoucek
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
61.

電子ブック

EB
David Hutchison, Cristina Gacek, Takeo Kanade, Rog?rio de Lemos, Alexander Romanovsky, Rog??rio de Lemos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
62.

電子ブック

EB
David Hutchison, Mauro Barni, Takeo Kanade, Jordi Herrera Joancomart??, Stefan Katzenbeisser, Fernando P??rez-Gonz??lez
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
63.

電子ブック

EB
David Hutchison, Miguel Castro, Takeo Kanade, Robbert Van Renesse
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
64.

電子ブック

EB
David Hutchison, Takeo Kanade, Paolo Petta, Laszlo Zsolt Varga
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
65.

電子ブック

EB
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
66.

電子ブック

EB
David Hutchison, Takeo Kanade, James F. Peters, Andrzej Skowron
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
67.

電子ブック

EB
David Hutchison, Guihai Chen, Takeo Kanade, Minyi Guo, Jian Lu, Yi Pan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
68.

電子ブック

EB
David Hutchison, Colin Atkinson, Takeo Kanade, Christian Bunse, Hans-Gerhard Gross, Christian Peper
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
69.

電子ブック

EB
David Hutchison, Tomoya Enokido, Takeo Kanade, International Federation for Information Processing., Daeyoung Kim, Bin Xiao, Lu Yan, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
70.

電子ブック

EB
Gary J. Minden, Kenneth L. Calvert, David Hutchison, Takeo Kanade, Marcin Solarski, Miki Yamamoto, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
71.

電子ブック

EB
Bartlomiej Beliczynski, Andrzej Dzielinski, David Hutchison, Marcin Iwanowski, Takeo Kanade, Bernardete Ribeiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
72.

電子ブック

EB
Bartlomiej Beliczynski, Andrzej Dzielinski, David Hutchison, Marcin Iwanowski, Takeo Kanade, Bernardete Ribeiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
73.

電子ブック

EB
John Krogstie, David Hutchison, Takeo Kanade, Andreas Opdahl, Guttorm Sindre
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
74.

電子ブック

EB
De-Shuang Huang, Laurent Heutte, David Hutchison, Takeo Kanade, Marco Loog
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
75.

電子ブック

EB
Moni Naor, David Hutchison, Takeo Kanade, International Association for Cryptologic Research.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
76.

電子ブック

EB
Guozhu Dong, David Hutchison, Takeo Kanade, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
77.

電子ブック

EB
Christophe C?rin, David Hutchison, Takeo Kanade, Kuan-Ching Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
78.

電子ブック

EB
Alfred Menezes, David Hutchison, Takeo Kanade, Alfred J. Menezes, International Association for Cryptologic Research.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
79.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
80.

電子ブック

EB
Derong Liu, Shumin Fei, Zengguang Hou, David Hutchison, Takeo Kanade, Changyin Sun, Huaguang Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
81.

電子ブック

EB
Derong Liu, Shumin Fei, Zeng-Guang Hou, David Hutchison, Takeo Kanade, Changyin Sun, Huaguang Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
82.

電子ブック

EB
Wolfgang Meuter, Wolfgang De Meuter, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Application-Specific Models and Pointcuts Using a Logic Meta Language / Johan Brichau ; Andy Kellens ; Kris Gybels ; Kim Mens ; Robert Hirschfeld ; Theo D'Hondt
An Object-Oriented Approach for Context-Aware Applications / Andres Fortier ; Nicolas Canibano ; Julian Grigera ; Gustavo Rossi ; Silvia Gordillo
Unanticipated Partial Behavioral Reflection / David Rothlisberger ; Marcus Denker ; Eric Tanter
Stateful Traits / Alexandre Bergel ; Stephane Ducasse ; Oscar Nierstrasz ; Roel Wuyts
Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in Smalltalk / Luc Fabresse ; Christophe Dony ; Marianne Huchard
Let's Modularize the Data Model Specifications of the ObjectLens in VisualWorks/Smalltalk / Michael Prasse
Meta-driven Browsers / Colin Putney
Author Index
Application-Specific Models and Pointcuts Using a Logic Meta Language / Johan Brichau ; Andy Kellens ; Kris Gybels ; Kim Mens ; Robert Hirschfeld ; Theo D'Hondt
An Object-Oriented Approach for Context-Aware Applications / Andres Fortier ; Nicolas Canibano ; Julian Grigera ; Gustavo Rossi ; Silvia Gordillo
Unanticipated Partial Behavioral Reflection / David Rothlisberger ; Marcus Denker ; Eric Tanter
83.

電子ブック

EB
Giulio Concas, Ernesto Damiani, David Hutchison, Takeo Kanade, Marco Scotto, Giancarlo Succi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
84.

電子ブック

EB
Ming-Yang Kao, David Hutchison, Takeo Kanade, Xiang-Yang Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
85.

電子ブック

EB
Mario Giacobini, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
EvoCOMNET Contributions
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
Genetic Representations for Evolutionary Minimization of Network Coding Resources / Minkyu Kim ; Varun Aggarwal ; Una-May O'Reilly ; Muriel Medard ; Wonsik Kim
Bacterial Foraging Algorithm with Varying Population for Optimal Power Flow / M.S. Li ; W.J. Tang ; W.H. Tang ; Q.H. Wu ; J.R. Saunders
An Ant Algorithm for the Steiner Tree Problem in Graphs / Luc Luyet ; Sacha Varone ; Nicolas Zufferey
Message Authentication Protocol Based on Cellular Automata / Angel Martin del Rey
An Adaptive Global-Local Memetic Algorithm to Discover Resources in P2P Networks / Ferrante Neri ; Niko Kotilainen ; Mikko Vapa
Evolutionary Computation for Quality of Service Internet Routing Optimization / Miguel Rocha ; Pedro Sousa ; Paulo Cortez ; Miguel Rio
BeeSensor: A Bee-Inspired Power Aware Routing Protocol for Wireless Sensor Networks / Muhammad Saleem ; Muddassar Farooq
Radio Network Design Using Population-Based Incremental Learning and Grid Computing with BOINC / Miguel A. Vega-Rodriguez ; David Vega-Perez ; Juan A. Gomez-Pulido ; Juan M. Sanchez-Perez
Evaluation of Different Metaheuristics Solving the RND Problem / Enrique Alba ; Silvio Priem-Mendes ; Guillermo Molina
A Comparative Investigation on Heuristic Optimization of WCDMA Radio Networks / Mehmet E. Aydin ; Jun Yang ; Jie Zhang
Design of a User Space Software Suite for Probabilistic Routing in Ad-Hoc Networks / Frederick Ducatelle ; Martin Roth ; Luca Maria Gambardella
Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs / Juan Luis Jimenez Laredo ; Pedro Angel Castillo ; Ben Paechter ; Antonio Miguel Mora ; Eva Alfaro-Cid ; Anna I. Esparcia-Alcazar ; Juan Julian Merelo
A Transport-Layer Based Simultaneous Access Scheme in Integrated WLAN/UMTS Mobile Networks / Hyung-Taig Lim ; Seung-Joon Seok ; Chul-Hee Kang
Simplified Transformer Winding Modelling and Parameter Identification Using Particle Swarm Optimiser with Passive Congregation / Almas Shintemirov ; Z. Lu
A Decentralized Hierarchical Aggregation Scheme Using Fermat Points in Wireless Sensor Networks / Jeongho Son ; Jinsuk Pak ; Hyunsook Kim ; Kijun Han
A Gateway Access-Point Selection Problem and Traffic Balancing in Wireless Mesh Networks / Ahmet Cagatay Talay
EvoFIN Contributions
A Genetic Programming Approach for Bankruptcy Prediction Using a Highly Unbalanced Database / Ken Sharman
Multi-objective Optimization Technique Based on Co-evolutionary Interactions in Multi-agent System / Rafal Drezewski ; Leszek Siwik
Quantum-Inspired Evolutionary Algorithms for Calibration of the VG Option Pricing Model / Kai Fan ; Anthony Brabazon ; Conall O'Sullivan ; Michael O'Neill
An Evolutionary Computation Approach to Scenario-Based Risk-Return Portfolio Optimization for General Risk Measures / Ronald Hochreiter
Building Risk-Optimal Portfolio Using Evolutionary Strategies / Piotr Lipinski ; Katarzyna Winczura ; Joanna Wojcik
Comparison of Evolutionary Techniques for Value-at-Risk Calculation / Gonul Uludag ; A. Sima Uyar ; Kerem Senel ; Hasan Dag
Using Kalman-Filtered Radial Basis Function Networks to Forecast Changes in the ISEQ Index / David Edelman
Business Intelligence for Strategic Marketing: Predictive Modelling of Customer Behaviour Using Fuzzy Logic and Evolutionary Algorithms / Andrea G.B. Tettamanzi ; Maria Carlesi ; Lucia Pannese ; Mauro Santalmasi
EvoIASP Contributions
Particle Swarm Optimization for Object Detection and Segmentation / Stefano Cagnoni ; Monica Mordonini ; Jonathan Sartori
Satellite Image Registration by Distributed Differential Evolution / Ivanoe De Falco ; Antonio Della Cioppa ; Domenico Maisto ; Umberto Scafuri ; Ernesto Tarantino
Harmonic Estimation Using a Global Search Optimiser / Y.N. Fei
An Online EHW Pattern Recognition System Applied to Face Image Recognition / Kyrre Glette ; Jim Torresen ; Moritoshi Yasunaga
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming / Wojciech Jaskowski ; Krzysztof Krawiec ; Bartosz Wieloch
Multiclass Object Recognition Based on Texture Linear Genetic Programming / Gustavo Olague ; Eva Romero ; Leonardo Trujillo ; Bir Bhanu
Evolutionary Brain Computer Interfaces / Riccardo Poli ; Caterina Cinel ; Luca Citi ; Francisco Sepulveda
A Genetic Programming Approach to Feature Selection and Classification of Instantaneous Cognitive States / Rafael Ramirez ; Montserrat Puiggros
A Memetic Differential Evolution in Filter Design for Defect Detection in Paper Production / Ville Tirronen ; Tommi Karkkainen ; Kirsi Majava ; Tuomo Rossi
Optimal Triangulation in 3D Computer Vision Using a Multi-objective Evolutionary Algorithm / Israel Vite-Silva ; Nareli Cruz-Cortes ; Gregorio Toscano-Pulido ; Luis Gerardo de la Fraga
Genetic Programming for Image Recognition: An LGP Approach / Mengjie Zhang ; Christopher Graeme Fogelberg
Evolving Texture Features by Genetic Programming / Melanie Aurnhammer
Euclidean Distance Fit of Ellipses with a Genetic Algorithm / Israel Vite Silva
A Particle Swarm Optimizer Applied to Soft Morphological Filters for Periodic Noise Reduction / T. Y. Ji
Fast Genetic Scan Matching Using Corresponding Point Measurements in Mobile Robotics / Kristijan Lenac ; Enzo Mumolo ; Massimiliano Nolich
Overcompressing JPEG Images with Evolution Algorithms / Jacques Levy Vehel ; Franklin Mendivil ; Evelyne Lutton
Towards Dynamic Fitness Based Partitioning for IntraVascular UltraSound Image Analysis / Rui Li ; Jeroen Eggermont ; Michael T.M. Emmerich ; Ernst G.P. Bovenkamp ; Thomas Back ; Jouke Dijkstra ; Johan H.C. Reiber
Comparison Between Genetic Algorithms and the Baum-Welch Algorithm in Learning HMMs for Human Activity Classification / Oscar Perez ; Massimo Piccardi ; Jesus Garcia ; Miguel Angel Patricio ; Jose Manuel Molina
Unsupervised Evolutionary Segmentation Algorithm Based on Texture Analysis / Cynthia Beatriz Perez
Evolutionary Approaches for Automatic 3D Modeling of Skulls in Forensic Identification / Jose Santamaria ; Oscar Cordon ; Sergio Damas
Scale Invariance for Evolved Interest Operators
Application of the Univariate Marginal Distribution Algorithm to Mixed Analogue - Digital Circuit Design and Optimisation / Lyudmila Zinchenko ; Matthias Radecker ; Fabio Bisogno
EvoINTERACTION Contributions
Interactive Texture Design Using IEC Framework / Tsuneo Kagawa ; Yukihide Tamotsu ; Hiroaki Nishino ; Kouichi Utsumiya
Towards an Interactive, Generative Design System: Integrating a 'Build and Evolve' Approach with Machine Learning for Complex Freeform Design / Azahar T. Machwe ; Ian C. Parmee
An Interactive Graphics Rendering Optimizer Based on Immune Algorithm / Takuya Sueyoshi
Human Mosaic Creation Through Agents and Interactive Genetic Algorithms Applied to Videogames Movements / Oscar Sanjuan ; Gloria Garcia ; Yago Saez ; Cristobal Luque
EvoMUSART Contributions
Self-organizing Bio-inspired Sound Transformation / Marcelo Caetano ; Jonatas Manzolli ; Fernando Von Zuben
An Evolutionary Approach to Computer-Aided Orchestration / Gregoire Carpentier ; Damien Tardieu ; Gerard Assayag ; Xavier Rodet ; Emmanuel Saint-James
Evolution of Animated Photomosaics / Vic Ciesielski ; Marsha Berry ; Karen Trist ; Daryl D'Souza
Environments for Sonic Ecologies / Tom Davis ; Pedro Rebelo
Creating Soundscapes Using Evolutionary Spatial Control / Jose Fornari ; Adolfo Maia Jr.
Toward Greater Artistic Control for Interactive Evolution of Images and Animation / David A. Hart
Evolutionary Assistance in Alliteration and Allelic Drivel / Raquel Hervas ; Jason Robinson ; Pablo Gervas
Evolutionary GUIs for Sound Synthesis / James McDermott ; Niall J.L. Griffith
Evolving Music Generation with SOM-Fitness Genetic Programming / Somnuk Phon-Amnuaisuk ; Edwin Hui Hean Law ; Ho Chin Kuan
An Automated Music Improviser Using a Genetic Algorithm Driven Synthesis Engine / Matthew John Yee-King
Interactive GP with Tree Representation of Classical Music Pieces / Daichi Ando ; Palle Dahlsted ; Mats G. Nordahl ; Hitoshi Iba
Evolutionary Methods for Melodic Sequences Generation from Non-linear Dynamic Systems / Eleonora Bilotta ; Pietro Pantano ; Enrico Cupellini ; Costantino Rizzuti
Music Composition Using Harmony Search Algorithm / Zong Woo Geem ; Jeong-Yoon Choi
Curve, Draft, and Style: Three Steps to the Image / Olgierd Unold ; Maciej Troc
GISMO2: An Application for Agent-Based Composition / Yuta Uozumi
EvoSTOC Contributions
Variable-Size Memory Evolutionary Algorithm to Deal with Dynamic Environments / Anabela Simoes ; Ernesto Costa
Genetic Algorithms with Elitism-Based Immigrants for Changing Optimization Problems / Shengxiang Yang
Triggered Memory-Based Swarm Optimization in Dynamic Environments / Hongfeng Wang ; Dingwei Wang
Experimental Comparison of Replacement Strategies in Steady State Genetic Algorithms for the Dynamic MKP
Understanding the Semantics of the Genetic Algorithm in Dynamic Environments / Abir Alharbi ; William Rand ; Rick Riolo
EvoTRANSLOG Contributions
Simultaneous Origin-Destination Matrix Estimation in Dynamic Traffic Networks with Evolutionary Computing / Theodore Tsekeris ; Loukas Dimitriou ; Antony Stathopoulos
Evolutionary Combinatorial Programming for Discrete Road Network Design with Reliability Requirements
Intelligent Traffic Control Decision Support System / Khaled Almejalli ; Keshav Dahal ; M. Alamgir Hossain
An Ant-Based Heuristic for the Railway Traveling Salesman Problem / Petrica C. Pop ; Camelia M. Pintea ; Corina Pop Sitar
Enhancing a MOACO for Solving the Bi-criteria Pathfinding Problem for a Military Unit in a Realistic Battlefield / Cristian Millan ; Juan Torrecillas ; Pedro A. Castillo
GRASP with Path Relinking for the Capacitated Arc Routing Problem with Time Windows / Mohamed Reghioui ; Christian Prins ; Nacima Labadi
Multi-objective Supply Chain Optimization: An Industrial Case Study / Lionel Amodeo ; Haoxun Chen ; Aboubacar El Hadji
Scheduling a Fuzzy Flowshop Problem with Flexible Due Dates Using Ant Colony Optimization / Sezgin Kilic
Author Index
EvoCOMNET Contributions
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
86.

電子ブック

EB
Jonathan Katz, David Hutchison, Takeo Kanade, Moti Yung
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
87.

電子ブック

EB
Jos? Mira, David Hutchison, Takeo Kanade, Jos? R. ?lvarez, Jos? Ram?n ?lvarez
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
88.

電子ブック

EB
Witold Abramowicz, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
Business Process Management
Automatic Merging of Work Items in Business Process Management Systems / Dat C. Ma ; Joe Y.-C. Lin ; Maria E. Orlowska
Complex Events in Business Processes / Alistair Barros ; Gero Decker ; Alexander Grosskopf
Collaborative E-Business Process Modelling: A Holistic Analysis Framework Focused on Small and Medium-Sized Enterprises / Volker Hoyer ; Oliver Christ
A Conceptual Framework for Composition in Business Process Management / Ingo Weber ; Ivan Markovic ; Christian Drumm
Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service Composition Environment / Yang Xiao ; Susan D. Urban
A Survey of Comparative Business Process Modeling Approaches / Ruopeng Lu ; Shazia Sadiq
Web Services
Web Service Discovery Based on Past User Experience / Natallia Kokash ; Aliaksandr Birukou ; Vincenzo D'Andrea
The Service Modeling Process Based on Use Case Refactoring / Yukyong Kim ; Kyung-Goo Doh
Scenarios and Techniques for Choreography Design / Michael von Riegen
Web Service-Based Specification and Implementation of Functional Components in Federated ERP-Systems / Nico Brehm ; Jorge Marx Gomez
SEEMP: Meaningful Service-Based Collaboration Among Labour Market Actors / Emanuele Della Valle ; Dario Cerizza ; Irene Celino ; Jacky Estublier ; German Vega ; Michael Kerrigan ; Jaime Ramirez ; Boris Villazon ; Pascal Guarrera ; Gang Zhao ; Gabriella Monteleone
Towards a Digital Content Services Design Based on Triple Space / David de Francisco ; Noelia Perez ; Doug Foxvog ; Andreas Harth ; Daniel Martin ; Daniel Wutke ; Martin Murth ; Elena Paslaru Bontas Simperl
Evaluating Quality of Web Services: A Risk-Driven Approach
Proposal of an Architecture for a Biometrics Grid / Anlong Ming ; Huadong Ma
Ontologies
An Ontology Slicing Method Based on Ontology Definition Metamodel / Longfei Jin ; Lei Liu
Facilitating Business Interoperability from the Semantic Web / Roberto Garcia ; Rosa Gil
Efficient Automatic Selection of Semantically-Annotated Building Blocks for ERPs Customizing / Eufemia Tinelli ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco di Cugno
Towards Ontology-Driven Information Systems: Redesign and Formalization of the REA Ontology / Frederik Gailly ; Geert Poels
ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties / Martin Hepp
A Context-Based Enterprise Ontology / Mauri Leppanen
Extracting Violent Events From On-Line News for Ontology Population / Jakub Piskorski ; Hristo Tanev ; Pinar Oezden Wennerberg
Improving the Accuracy of Job Search with Semantic Techniques / Malgorzata Mochol ; Holger Wache ; Lyndon Nixon
Ontology-Based User Profiling / Carsten Felden ; Markus Linden
Information Retrieval
Xistree: Bottom-Up Method of XML Indexing / Xinyin Wang ; Chenghong Zhang ; Jingyuan Wang ; Yunfa Hu
Efficient Algorithms for Spatial Configuration Information Retrieval / Haibin Sun ; Xin Chen
String Distance Metrics for Reference Matching and Search Query Correction / Marcin Sydow
Natural Language Technology for Information Integration in Business Intelligence / Diana Maynard ; Horacio Saggion ; Milena Yankova ; Kalina Bontcheva ; Wim Peters
Semantic Similarity Measure of Polish Nouns Based on Linguistic Features / Maciej Piasecki ; Bartosz Broda
Automatic Document Structure Detection for Data Integration / Radek Burget
Bottom-Up Discovery of Clusters of Maximal Ranges in HTML Trees for Search Engines Results Extraction / Dominik Flejter ; Roman Hryniewiecki
Usability of Geo Web Sites: Case Study of Czech Regional Authorities Web Sites / Jitka Komarkova ; Martin Novak ; Renata Bilkova ; Ondrej Visek ; Zdenek Valenta
System Design
Supporting Use-Case Reviews / Alicja Ciemniewska ; Jakub Jurkiewicz ; Lukasz Olek ; Jerzy Nawrocki
Investigation of Application Specific Metrics to Data Quality Assessment / Dariusz Krol ; Tadeusz Lasota ; Maciej Siarkowski ; Bogdan Trawinski
Tool-Supported Method for the Extraction of OCL from ORM Models / Sergejus Sosunovas ; Olegas Vasilecas
Agents And Mobile Applications
Model-Driven Architecture for Mobile Applications / Jurgen Dunkel ; Ralf Bruns
Automated Integration Tests for Mobile Applications in Java 2 Micro Edition / Dawid Weiss ; Marcin Zduniak
Pitfalls of Agent System Development on the Basis of a Travel Support System / Maciej Gawinecki ; Mateusz Kruszyk ; Marcin Paprzycki ; Maria Ganzha
Anticipative Agent Based System Synchronization Example / Andrej Skraba ; Miroljub Kljajic ; Davorin Kofjac ; Blaz Rodic ; Matevz Bren
Ubiquitous Commerce Business Models Based on Ubiquitous Media / Kyoung Jun Lee ; Jeong-In Ju
Context-Awareness in Mobile Service Meets Fine Location Estimate / Tomohisa Yamashita ; Daisuke Takaoka ; Noriaki Izumi ; Akio Sashima ; Koichi Kurumatani ; Koiti Hasida
Decision Support
Adaptive Fuzzy Inventory Control Algorithm for Replenishment Process Optimization in an Uncertain Environment
Post Decision-Making Analysis of the Reengineering Process Supported by Simulation Methods / Mirjana Kljajic Borstnar ; Edvard Kolmanic
Contextual Classifier Ensembles / Janina Anna Jakubczyc
Social Issues
An Algebraic Algorithm for Structural Validation of Social Protocols / Willy Picard
Long Tails and Analysis of Knowledge Worker Intranet Browsing Behavior / Peter Geczy ; Shotaro Akaho
A Trustworthy Email System Based on Instant Messaging / Wenmao Zhang ; Jun Bi ; Miao Zhang ; Zheng Qin
Specific MIS Issues
Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods / Bernd Tilg ; Joanna Chimiak-Opoka ; Chris Lenz ; Ruth Breu
A Modelling Approach for Dynamic and Complex Capacities in Production Control Systems / Wilhelm Dangelmaier ; Benjamin Klopper ; Thorsten Timm ; Daniel Bruggemann
Product Line Architecture for RFID-Enabled Applications / Mikyeong Moon ; Keunhyuk Yeom
Author Index
Keynote
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
Business Process Management
89.

電子ブック

EB
Yong Shi, Geert Dick Albada, Jack Dongarra, David Hutchison, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
90.

電子ブック

EB
Yong Shi, Geert Dick Albada, Jack Dongarra, David Hutchison, Takeo Kanade, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
91.

電子ブック

EB
Weiming Shen, Jean-Paul A. Barth?s, Qi Hao, David Hutchison, Takeo Kanade, Zongkai Lin, Junzhou Luo
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
92.

電子ブック

EB
Gianluca Moro, Sonia Bergamaschi, David Hutchison, Sam Joseph, Takeo Kanade, Jean-Henry Morin, Aris M. Ouksel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
93.

電子ブック

EB
Norbert Streitz, David Hutchison, Achilles Kameas, Takeo Kanade, Irene Mavrommati, Norbert A. Streitz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
94.

電子ブック

EB
James Aspnes, Anish Arora, David Hutchison, Takeo Kanade, Samuel Madden, Christian Scheideler, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
95.

電子ブック

EB
Yann-Hang Lee, David Hutchison, Takeo Kanade, Heung-Nam Kim, Jong Kim, Sung Won Kim, Yongwan Park, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
96.

電子ブック

EB
Victor R. Basili, David Hutchison, Takeo Kanade, Barbara Kitchenham, Dietmar Pfahl, Dieter Rombach, Kurt Schneider, Richard W. Selby
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
The Empirical Paradigm / Session 1:
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
Techniques for Empirical Validation / Marvin V. Zelkowitz
Status of Empirical Research in Software Engineering / Andreas Hofer ; Walter F. Tichy
Position Papers
Aggregation of Empirical Evidence / Marcus Ciolkowski
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations / Lionel C. Briand
New Opportunities for Empirical Research / Markku Oivo
Empirical Paradigm: Position Paper / Carolyn B. Seaman
The Value of Empirical Evidence for Practitioners and Researchers / Austen Rainer
Exploration Versus Confirmation
Empirical Paradigm - The Role of Experiments / Barbara Kitchenham
The Role of Controlled Experiments in Software Engineering Research / Victor R. Basili
Creating Real Value in Software Engineering Experiments / James Miller
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist? / Guilherme H. Travassos
Social and Human Aspects of Software Engineering / Helen Sharp
Longitudinal Studies in Evidence-Based Software Engineering / Tracy Hall
The Use of Grounded Theory in Empirical Software Engineering / Jeffrey Carver
Historical Review
Exploration and Confirmation: An Historical Perspective / Michael S. Mahoney
Working Group Results
Combining Study Designs and Techniques Working Group Results
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results / Lutz Prechelt
The Role of Controlled Experiments Working Group Results / Andreas Jedlitschka
Discussion and Summary
The Empirical Paradigm Discussion and Summary
Measurement and Model Building / Session 2:
Measurement and Model Building Introduction
Data Sharing
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building / Richard W. Selby
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts / Dag I.K. Sjoberg
Effective Data Interpretation
Software Support Tools and Experimental Work / Jurgen Munch ; Audris Mockus
Measurement and Interpretation of Productivity and Functional Correctness / Hakan Erdogmus
Synthesising Research Results
On the Quality of Data / Thomas Ostrand
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results / Nachiappan Nagappan
Data Sharing Enabling Technologies Working Group Results
Documenting Theories Working Group Results
Measurement and Model Building Discussion and Summary / Sira Vegas ; Vic Basili
Technology Transfer and Education / Session 3:
Technology Transfer and Education Introduction / Kurt Schneider
Technology Transfer
Empirical Studies as a Basis for Technology Transfer / Elaine J. Weyuker
Relationships and Responsibilities of Software Experimentation / Giovanni Cantone
The (Practical) Importance of SE Experiments / Tore Dyba
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues / Marek Leszak
Empirical Case Studies in Industry: Some Thoughts
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence / Dietmar Pfahl
Structuring Families of Industrial Case Studies / Laurie Williams
Education
Empirical Software Engineering: Teaching Methods and Conducting Studies / Claes Wohlin
Educational Objectives for Empirical Methods / Natalia Juristo
On "Landscaping" and Influence of Empirical Studies / Frank Houdek
Involving Industry Professionals in Empirical Studies with Students / Letizia Jaccheri ; Sandro Morasca
Industry-Research Collaboration Working Group Results
Teaching Empirical Methods to Undergraduate Students Working Group Results / Matthias M. Muller
Technology Transfer and Education Discussion and Summary
Roadmapping
Empirical Software Engineering Research Roadmap Introduction
Roadmapping Working Group 1 Results / Ross Jeffery
Roadmapping Working Group 2 Results / Lionel Briand
Roadmapping Working Group 3 Results
Roadmapping Working Group 4 Results / Rick Selby
Empirical Software Engineering Research Roadmap Discussion and Summary
Appendix
List of Participants
Author Index
The Empirical Paradigm / Session 1:
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
97.

電子ブック

EB
Camil Demetrescu, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
98.

電子ブック

EB
Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
99.

電子ブック

EB
Marco Bernardo, Jane Hillston, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
Stochastic Process Algebras / Allan Clark ; Stephen Gilmore ; Jane Hillston ; Mirco Tribastone
A Survey of Markovian Behavioral Equivalences / Marco Bernardo
Stochastic Model Checking / Marta Kwiatkowska ; Gethin Norman ; David Parker
Fluid Models in Performance Analysis / Marco Gribaudo ; Miklos Telek
Tackling Large State Spaces in Performance Modelling / William J. Knottenbelt ; Jeremy T. Bradley
Data Representation and Efficient Solution: A Decision Diagram Approach / Gianfranco Ciardo
Introduction to Software Performance Engineering: Origins and Outstanding Problems / Connie U. Smith
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms / Murray Woodside
Author Index
Performance Modelling and Markov Chains / William J. Stewart
Queueing Networks / Simonetta Balsamo ; Andrea Marin
Introduction to Generalized Stochastic Petri Nets / Gianfranco Balbo
100.

電子ブック

EB
Helmut Seidl, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼