close
1.

電子ブック

EB
Valérie Issarny, Takeo Kanade, Richard Schantz, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
2.

電子ブック

EB
Hang Li, Takeo Kanade, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック

EB
UbiComp 2005, Michael Beigl, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
CarpetLAN: A Novel Indoor Wireless(-like) Networking and PositioningSystem / Masaaki Fukumoto ; Mitsuru Shinagawa
u-Texture: Self-Organizable Universal Panels for Creating SmartSurroundings / Naohiko Kohtake ; Ryo Ohsawa ; Takuro Yonezawa ; Yuki Matsukura ; Masayuki Iwai ; Kazunori Thakashio ; Hideyuki Tokuda
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
Analysis of Chewing Sounds for Dietary Monitoring / Oliver Amft ; Mathias Stäger ; Paul Lukowicz ; Gerhard Tröster
Preventing Camera Recording by Designing a Capture-ResistantEnvironment / Khai N. Truong ; Shwetak N. Patel ; Jay W. Summet ; Gregory D. Abowd
Self-Mapping in 802.11 Location Systems / Anthony LaMarca ; Jeff Hightower ; Ian Smith ; Sunny Consolvo
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping / Anil Madhavapeddy ; Alastair Tse
A New Method for Auto-calibrated Object Tracking / Paul Duff ; Michael McCarthy ; Angus Clark ; Henk Muller ; Cliff Randell ; Shahram Izadi ; Andy Boucher ; Andy Law ; Sarah Pennington ; Richard Swinford
Accurate GSM Indoor Localization / Veljo Otsason ; Alex Varshavsky ; Eyal de Lara
Learning and Recognizing the Places We Go / Jeffrey Hightower ; Jeff Hughes
Visually Interactive Location-Aware Computing / Kasim Rehman ; Frank Stajano ; George Coulouris
DigiDress: A Field Trial of an Expressive Social Proximity Application / Per Persson ; Jan Blom ; Younghee Jung
Control, Deception, and Communication: Evaluating the Deployment of a Location-Enhanced Messaging Service / Giovanni Iachello ; James Howard ; Fred Potter ; James Scott ; Timothy Sohn
Place-Its: A Study of Location-Based Reminders on Mobile Phones / Kevin A. Li ; Gunny Lee ; William G. Griswold
Time, Ownership and Awareness: The Value of Contextual Locations in the Home / Kathryn Elliot ; Carman Neustaedter ; Saul Greenberg
Living for the Global City: Mobile Kits, Urban Interfaces, and Ubicomp / Scott D. Mainwaring ; Ken Anderson ; Michele F. Chang
From Interaction to Participation: Configuring Space Through Embodied Interaction / Amanda Williams ; Eric Kabisch ; Paul Dourish
Scanning Objects in the Wild: Assessing an Object Triggered Information System / A.J. Bernheim Brush ; Tammara Combs Turner ; Marc A. Smith ; Neeti Gupta
Abaris: Evaluating Automated Capture Applied to Structured Autism Interventions / Julie A. Kientz ; Sebastian Boring ; Gillian R. Hayes
To Frame or Not to Frame: The Role and Design of Frameless Displays in Ubiquitous Applications / Claudio Pinhanez ; Mark Podlaseck
Picking Pockets on the Lawn: The Development of Tactics and Strategies in a Mobile Game / Louise Barkhuus ; Matthew Chalmers ; Paul Tennent ; Malcolm Hall ; Marek Bell ; Scott Sherwood ; Barry Brown
Active Theatre - A Collaborative, Event-Based Capture and Access System for the Operating Theatre / Thomas Riisgaard Hansen ; Jakob E. Bardram
Author Index
CarpetLAN: A Novel Indoor Wireless(-like) Networking and PositioningSystem / Masaaki Fukumoto ; Mitsuru Shinagawa
u-Texture: Self-Organizable Universal Panels for Creating SmartSurroundings / Naohiko Kohtake ; Ryo Ohsawa ; Takuro Yonezawa ; Yuki Matsukura ; Masayuki Iwai ; Kazunori Thakashio ; Hideyuki Tokuda
Fast and Robust Interface Generation for Ubiquitous Applications / Krzysztof Gajos ; David Christianson ; Raphael Hoffmann ; Tal Shaked ; Kiera Henning ; Jing Jing Long ; Daniel S. Weld
4.

電子ブック

EB
Gary Geunbae Lee, Akiko Aizawa, Takeo Kanade, Kazuko Kuriyama, Chin-Yew Lin, Tetsuya Sakai, Dawei Song, Masaharu Yoshioka, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック

EB
John Krumm, Gregory D. Abowd, Takeo Kanade, Aruna Seneviratne, Thomas Strang, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Privacy Enhancing Technologies for RFID in Retail- An Empirical Investigation / Sarah Spiekermann
Ninja: Non Identity Based, Privacy Preserving Authentication for Ubiquitous Environments / Adrian Leung ; Chris J. Mitchell
Field Deployment of IMBuddy: A Study of Privacy Control and Feedback Mechanisms for Contextual IM / Gary Hsieh ; Karen P. Tang ; Wai Yong Low ; Jason I. Hong
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments / A.J. Bernheim Brush ; Kori M. Inkpen
How Smart Homes Learn: The Evolution of the Networked Home and Household / Marshini Chetty ; Ja-Young Sung ; Rebecca E. Grinter
"My Roomba Is Rambo": Intimate Home Appliances / Lan Guo ; Henrik I. Christensen
Symbolic Object Localization Through Active Sampling of Acceleration and Sound Signatures / Kai Kunze ; Paul Lukowicz
An Exploration of Location Error Estimation / David Dearman ; Alex Varshavsky ; Eyal de Lara ; Khai N. Truong
Security by Spatial Reference: Using Relative Positioning to Authenticate Devices for Spontaneous Interaction / Rene Mayrhofer ; Hans Gellersen ; Mike Hazas
Users and Batteries: Interactions and Adaptive Energy Management in Mobile Systems / Nilanjan Banerjee ; Ahmad Rahmati ; Mark D. Corner ; Sami Rollins ; Lin Zhong
An Empirical Study of the Potential for Context-Aware Power Management / Colin Harris ; Vinny Cahill
Amigo: Proximity-Based Authentication of Mobile Devices / Adin Scannell ; Anthony LaMarca
At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line / Shwetak N. Patel ; Thomas Robertson ; Julie A. Kientz ; Matthew S. Reynolds ; Gregory D. Abowd
An 'Object-Use Fingerprint': The Use of Electronic Sensors for Human Identification / Mark R. Hodges ; Martha E. Pollack
Key Generation Based on Acceleration Data of Shaking Processes / Daniel Bichler ; Guido Stromberg ; Mario Huemer ; Manuel Low
"Merolyn the Phone": A Study of Bluetooth Naming Practices / Tim Kindberg ; Timothy Jones
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp / Yvonne Rogers ; Kay Connelly ; Lenore Tedesco ; William Hazlewood ; Andrew Kurtz ; Robert E. Hall ; Josh Hursey ; Tammy Toscos
Locating Family Values: A Field Trial of the Whereabouts Clock / Barry Brown ; Alex S. Taylor ; Shahram Izadi ; Abigail Sellen ; Joseph 'Jofish' Kaye ; Rachel Eardley
Safeguarding Location Privacy in Wireless Ad-Hoc Networks / Tanzima Hashem ; Lars Kulik
Haggle: Seamless Networking for Mobile Applications / Jing Su ; James Scott ; Pan Hui ; Jon Crowcroft ; Christophe Diot ; Ashvin Goel ; Meng How Lim ; Eben Upton
Exploiting Social Interactions in Mobile Systems / Andrew G. Miklas ; Kiran K. Gollu ; Kelvin K.W. Chan ; Stefan Saroiu ; Krishna P. Gummadi
Rapidly Exploring Application Design Through Speed Dating / Scott Davidoff ; Min Kyung Lee ; Anind K. Dey ; John Zimmerman
Addressing Mobile Phone Diversity in Ubicomp Experience Development / Chris Greenhalgh ; Steve Benford ; Adam Drozd ; Martin Flintham ; Alastair Hampshire ; Leif Oppermann ; Keir Smith ; Christoph von Tycowicz
Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System / Gerd Kortuem ; David Alford ; Linden Ball ; Jerry Busby ; Nigel Davies ; Christos Efstratiou ; Joe Finney ; Marian Iszatt White ; Katharina Kinder
A Long-Term Evaluation of Sensing Modalities for Activity Recognition / Beth Logan ; Jennifer Healey ; Emmanuel Munguia Tapia ; Stephen Intille
Cooperative Augmentation of Smart Objects with Projector-Camera Systems / David Molyneaux ; Bernt Schiele
Author Index
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
6.

電子ブック

EB
Christopher R. Stephens, Takeo Kanade, Peter F. Stadler, Marc Toussaint, Darrell Whitley, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック

EB
Thomas Kühne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック

EB
Pablo Cesar, Konstantinos Chorianopoulos, Jens F. Jensen, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
Damien Sauveron, Angelos Bilas, Takeo Kanade, Konstantinos Markantonakis, Jean-Jacques Quisquater, Association for Computing Machinery-Digital Library., International Federation for Information Processing.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック

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

電子ブック

EB
Nabil Abdennahder, Nabil Abdennadher, Takeo Kanade, Fabrice Kordon, Ada-Europe (Organization), Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
12.

電子ブック

EB
Renato Cerqueira, Roy H. Campbell, Roy Harold Campbell, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java / Jie Hu ; Shruti Gorappa ; Juan A. Colmenares ; Raymond Klefstad
Mobile and Ubiquitous Computing
SIPHoc: Efficient SIP Middleware for Ad Hoc Networks / Patrick Stuedi ; Marcel Bihr ; Alain Remund
Vector-Field Consistency for Ad-Hoc Gaming / Nuno Santos ; Luis Veiga ; Paulo Ferreira
Correlation-Based Content Adaptation for Mobile Web Browsing / Iqbal Mohomed ; Adin Scannell ; Nilton Bila ; Jin Zhang ; Eyal de Lara
Grid and Cluster Computing
New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications / Steven Y. Ko ; Ramses Morales ; Indranil Gupta
Interactive Resource-Intensive Applications Made Easy / H. Andres Lagar-Cavilla ; Niraj Tolia ; M. Satyanarayanan ; David O'Hallaron
Garbage Collecting the Grid: A Complete DGC for Activities / Denis Caromel ; Guillaume Chazarain ; Ludovic Henrio
Enhancing Communication
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines / Xiaolan Zhang ; Suzanne McIntosh ; Pankaj Rohatgi ; John Linwood Griffin
Creating Private Network Overlays for High Performance Scientific Computing / Edward Walker
A Cost-Effective Distributed File Service with QoS Guarantees / Kien Le ; Ricardo Bianchini ; Thu D. Nguyen
Resource Management
R-Capriccio: A Capacity Planning and Anomaly Detection Tool for Enterprise Services with Live Workloads / Qi Zhang ; Ludmila Cherkasova ; Guy Mathews ; Wayne Greene ; Evgenia Smirni
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems / Brian Cho
iManage: Policy-Driven Self-management for Enterprise-Scale Systems / Vibhore Kumar ; Brian F. Cooper ; Greg Eisenhauer ; Karsten Schwan
Reliability and Fault Tolerance
Middleware Support for Adaptive Dependability / Lorenz Froihofer ; Karl M. Goeschka ; Johannes Osrael
Consistent and Scalable Cache Replication for Multi-tier J2EE Applications / Francisco Perez-Sorrosal ; Marta Patino-Martinez ; Ricardo Jimenez-Peris ; Bettina Kemme
CLASP: Collaborating, Autonomous Stream Processing Systems / Michael Branson ; Fred Douglis ; Brad Fawcett ; Zhen Liu ; Anton Riabov ; Fan Ye
Asynchronous Communication
A Policy Management Framework for Content-Based Publish/Subscribe Middleware / Alex Wun ; Hans-Arno Jacobsen
Hybrid Dissemination: Adding Determinism to Probabilistic Multicasting in Large-Scale P2P Systems / Spyros Voulgaris ; Maarten van Steen
A Utility-Aware Middleware Architecture for Decentralized Group Communication Applications / Jianjun Zhang ; Ling Liu ; Lakshmish Ramaswamy ; Gong Zhang ; Calton Pu
Programming Wireless Sensor Networks with the TeenyLime Middleware / Paolo Costa ; Luca Mottola ; Amy L. Murphy ; Gian Pietro Picco
Author Index
Component-Based Middleware
R-OSGi: Distributed Applications Through Software Modularization / Jan S. Rellermeyer ; Gustavo Alonso ; Timothy Roscoe
Argos, an Extensible Personal Application Server / Arne Munch-Ellingsen ; Dan Peder Eriksen ; Anders Andersen
13.

電子ブック

EB
Maarten Steen, Michi Henning, Takeo Kanade, Maarten van Steen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
14.

電子ブック

EB
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2:
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
15.

電子ブック

EB
Luís Miguel Pinho, Michael Gonzaalez Harbour, Michael González Harbour, Takeo Kanade, Luais Miguel Pinho, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
16.

電子ブック

EB
Alexander Keller, Takeo Kanade, Jean-Philippe Martin-Flatin, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
17.

電子ブック

EB
Ada-Europe International Conference on Reliable Software Technologies, Takeo Kanade, Tullio Vardanega, Andrew J. Wellings, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
18.

電子ブック

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

電子ブック

EB
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations / Lars Grunske ; Bernhard Kaiser ; Yiannis Papadopoulos
Optimizing Resource Usage in Component-Based Real-Time Systems / Johan Fredriksson ; Kristian Sandström ; Mikael Åkerholm
Evaluating Performance Attributes of Layered Software Architecture / Vibhu Saujanya Sharma ; Pankaj Jalote ; Kishor S. Trivedi
Component-Level Dataflow Analysis / Atanas Rountev
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition / Bert Lagaisse ; Wouter Joosen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Components at Work
A CCA-compliant Nuclear Power Plant Simulator Kernel / Manuel Díaz ; Daniel Garrido ; Sergio Romero ; Bartolomé Rubio ; Enrique Soler ; José M. Troya
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
20.

電子ブック

EB
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
21.

電子ブック

EB
GPCE 2005, Robert Glück, Takeo Kanade, Michael Randolph Lowry, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
22.

電子ブック

EB
Paul Dourish, Adrian Friday, Adrian John Friday, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック

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

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
25.

電子ブック

EB
Gregor Engels, G. Engels, Takeo Kanade, Bill Opdyke, Douglas C. Schmidt, Frank Weil, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
26.

電子ブック

EB
Erik Ernst, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
27.

電子ブック

EB
Pekka Abrahamsson, Nathan Baddoo, Takeo Kanade, Tiziana Margaria, Richard Messnarz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
28.

電子ブック

EB
Stephan Winter, Matt Duckham, Takeo Kanade, Ben Kuipers, Lars Kulik
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Cultural Studies
Progress on Yindjibarndi Ethnophysiography / David M. Mark ; Andrew G. Turk ; David Stea
Study of Cultural Impacts on Location Judgments in Eastern China / Danqing Xiao ; Yu Liu
Cross-Cultural Similarities in Topological Reasoning / Marco Ragni ; Bolormaa Tseden ; Markus Knauff
Thalassographein: Representing Maritime Spaces in Ancient Greece / Jean-Marie Kowalski ; Christophe Claramunt ; Arnaud Zucker
Semantics
From Top-Level to Domain Ontologies: Ecosystem Classifications as a Case Study / Thomas Bittner
Semantic Categories Underlying the Meaning of 'Place' / Brandon Bennett ; Pragya Agarwal
Spatial Semantics in Difference Spaces / Vlad Tanasescu
Similarity
Evaluation of a Semantic Similarity Measure for Natural Language Spatial Relations / Angela Schwering
Affordance-Based Similarity Measurement for Entity Types / Krzysztof Janowicz ; Martin Raubal
An Image-Schematic Account of Spatial Categories / Werner Kuhn
Mapping and Representation
Specifying Essential Features of Street Networks / Simon Scheider ; Daniel Schulz
Spatial Information Extraction for Cognitive Mapping with a Mobile Robot / Jochen Schmidt ; Chee K. Wong ; Wai K. Yeap
Spatial Mapping and Map Exploitation: A Bio-inspired Engineering Perspective / Michael Milford ; Gordon Wyeth
Scale-Dependent Simplification of 3D Building Models Based on Cell Decomposition and Primitive Instancing / Martin Kada
Perception and Cognition
Degradation in Spatial Knowledge Acquisition When Using Automatic Navigation Systems / Avi Parush ; Shir Ahuvia-Pick ; Ido Erev
Stories as Route Descriptions / Volker Paelke ; Birgit Elias
Three Sampling Methods for Visibility Measures of Landscape Perception / Gerd Weitkamp ; Arnold Bregt ; Ron van Lammeren ; Agnes van den Berg
Reasoning and Algorithms
Reasoning on Spatial Semantic Integrity Constraints / Stephan Mas
Spatial Reasoning with a Hole / Max J. Egenhofer ; Maria Vasardani
Geospatial Cluster Tessellation Through the Complete Order-k Voronoi Diagrams / Ickjai Lee ; Reece Pershouse ; Kyungmi Lee
Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation / Shou Kumokawa ; Kazuko Takahashi
Navigation and Landmarks
Linguistic and Nonlinguistic Turn Direction Concepts / Alexander Klippel ; Daniel R. Montello
A Uniform Handling of Different Landmark Types in Route Directions / Kai-Florian Richter
Effects of Geometry, Landmarks and Orientation Strategies in the 'Drop-Off' Orientation Task / David Peebles ; Clare Davies ; Rodrigo Mora
Uncertainty and Imperfection
Data Quality Ontology: An Ontology for Imperfect Knowledge / Andrew U. Frank
Triangulation of Gradient Polygons: A Spatial Data Model for Categorical Fields / Barry J. Kronenfeld
Relations in Mathematical Morphology with Applications to Graphs and Rough Sets / John G. Stell
Author Index
Cultural Studies
Progress on Yindjibarndi Ethnophysiography / David M. Mark ; Andrew G. Turk ; David Stea
Study of Cultural Impacts on Location Judgments in Eastern China / Danqing Xiao ; Yu Liu
29.

電子ブック

EB
Hanne Riis Nielson, Gilberto Filé, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
30.

電子ブック

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

電子ブック

EB
Nivio Ziviani, Ricardo Baeza-Yates, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Chaining Algorithm for Mapping cDNA Sequences to Multiple Genomic Sequences / Mohamed Abouelhoda
Edge-Guided Natural Language Text Compression / Joaquin Adiego ; Miguel A. Martinez-Prieto ; Pablo de la Fuente
Local Transpositions in Alignment of Polyphonic Musical Sequences / Julien Allali ; Pascal Ferraro ; Pierre Hanna ; Costas Iliopoulos
Efficient Computations of l[subscript 1] and l[subscript [infinity]] Rearrangement Distances / Amihood Amir ; Yonatan Aumann ; Piotr Indyk ; Avivit Levy ; Ely Porat
Generalized LCS / Tzvika Hartman ; Oren Kapah ; B. Riva Shalom ; Dekel Tsur
Exploiting Genre in Focused Crawling / Guilherme T. de Assis ; Alberto H.F. Laender ; Marcos Andre Goncalves ; Altigran S. da Silva
Admission Policies for Caches of Search Engine Results / Ricardo Baeza-Yates ; Flavio Junqueira ; Vassilis Plachouras ; Hans Friedrich Witschel
A Pocket Guide to Web History / Klaus Berberich ; Srikanta Bedathur ; Gerhard Weikum
Jump-Matching with Errors / Ayelet Butman ; Noa Lewenstein ; Benny Porat
Estimating Number of Citations Using Author Reputation / Carlos Castillo ; Debora Donato ; Aristides Gionis
A Fast and Compact Web Graph Representation / Francisco Claude ; Gonzalo Navarro
A Filtering Algorithm for k-Mismatch with Don't Cares / Raphael Clifford
Compact Set Representation for Information Retrieval / J. Shane Culpepper ; Alistair Moffat
Approximate Swap and Mismatch Edit Distance / Yair Dombb ; Ohad Lipsky ; Asaf Tsur
Approximating Constrained LCS / Zvi Gotthilf ; Moshe Lewenstein
Tuning Approximate Boyer-Moore for Gene Sequences / Petri Kalsi ; Leena Salmela ; Jorma Tarhio
Optimal Self-adjusting Trees for Dynamic String Data in Secondary Storage / Pang Ko ; Srinivas Aluru
Indexing a Dictionary for Subset Matching Queries / Gad M. Landau ; Oren Weimann
Extending Weighting Models with a Term Quality Measure / Christina Lioma ; Iadh Ounis
Highly Frequent Terms and Sentence Retrieval / David E. Losada ; Ronald T. Fernandez
Implicit Compression Boosting with Applications to Self-indexing / Veli Makinen
A Web-Page Usage Prediction Scheme Using Weighted Suffix Trees / Christos Makris ; Yannis Panagis ; Evangelos Theodoridis ; Athanasios Tsakalidis
Enhancing Educational-Material Retrieval Using Authored-Lesson Metadata / Olivier Motelet ; Benjamin Piwowarski ; Georges Dupret ; Jose A. Pino ; Nelson Baloian
Approximate String Matching with Lempel-Ziv Compressed Indexes / Luis M.S. Russo ; Arlindo L. Oliveira
Algorithms for Weighted Matching
Efficient Text Proximity Search / Ralf Schenkel ; Andreas Broschart ; Seungwon Hwang ; Martin Theobald
Prefix-Shuffled Geometric Suffix Tree / Tetsuo Shibuya
Author Index
A Chaining Algorithm for Mapping cDNA Sequences to Multiple Genomic Sequences / Mohamed Abouelhoda
Edge-Guided Natural Language Text Compression / Joaquin Adiego ; Miguel A. Martinez-Prieto ; Pablo de la Fuente
Local Transpositions in Alignment of Polyphonic Musical Sequences / Julien Allali ; Pascal Ferraro ; Pierre Hanna ; Costas Iliopoulos
32.

電子ブック

EB
Giuseppe Prencipe, Takeo Kanade, Shmuel Zaks
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
33.

電子ブック

EB
Serge Fdida, Takeo Kanade, Kazunori Sugiura
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
Wireless Networks / Session 1:
Mobility Versus Density Metric for OLSR Enhancement / Cholatip Yawut ; Beatrice Paillassa ; Riadh Dhaou
DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation / Saadi Boudjit ; Cedric Adjih ; Paul Muhlethaler
A Prototyping Environment for Wireless Multihop Networks / Fehmi Ben Abdesslem ; Luigi Iannone ; Marcelo Dias de Amorim ; Katia Obraczka ; Ignacio Solis ; Serge Fdida
Efficient Selection of Multipoint Relays in Wireless Ad Hoc Networks with Realistic Physical Layer / Dhavy Gantsou ; Patrick Sondi
Invited Talk 2
Mobile Hotspots / Aruna Seneviratne ; Eranga Perera ; Henrik Petander
Mobility Management / Session 2:
Extending Home Agent Migration to Mobile IPv6 Based Protocols / Guillaume Valadon ; Ryuji Wakikawa
Experimental Evaluation of EAP Performance in Roaming Scenarios / Saber Zrelli ; Yoichi Shinoda
Packet Transmission / Session 3:
Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S / Chee-Hong Teh ; Tat-Chee Wan ; Rahmat Budiarto ; Way-Chuang Ang
Analysis of FEC Function for Real-Time DV Streaming / Kazuhisa Matsuzono ; Hitoshi Asaeda ; Kazunori Sugiura ; Osamu Nakamura ; Jun Murai
Invited Talk 3
Ubiquitous Devices, Mobility and Context Awareness / Jean-Marie Hullot
Applications and Services / Session 4:
Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments / Xing Zhou ; Thomas Dreibholz ; Erwin P. Rathgeb
WOD - Proxy-Based Web Object Delivery Service / Kai-Hsiang Yang ; Jan-Ming Ho
Invited Talk 4
Implementation Issues of Early Application Identification / Laurent Bernaille ; Renata Teixeira
Invited Talk 5
Securing Internet Coordinate Systems / Dali Kaafar ; Laurent Mathy ; Kave Salamatian ; Chadi Barakat ; Thierry Turletti ; Walid Dabbous
Network Monitoring / Session 5:
A Real-Time Performance-Monitoring Tool for Emergency Networks / Shuprabha Shakya ; Mohamad Abdul Awal ; Dwijendra K. Das ; Yasuo Tsuchimoto ; Kanchana Kanchanasut
A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms / Kenji Masui ; Youki Kadobayashi
Invited Talk 6
Gap Analysis in IP Multicast Dissemination / Bill Manning
Routing
Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing? / Simon Balon ; Guy Leduc
Quality-of-Service Multicast Overlay Spanning Tree Algorithms for Wireless Ad Hoc Networks / Georgios Rodolakis ; Anis Laouiti
Invited Talk 7
Architecture of Satellite Internet for Asia-Wide Digital Communications / Kotaro Kataoka ; Achmad Husni Thamrin ; Kenjiro Cho ; Jun Takei
Author Index
Invited Talk 1
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
Wireless Networks / Session 1:
34.

電子ブック

EB
Erol Şahin, Takeo Kanade, William M. Spears, Alan F. T. Winfield
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
35.

電子ブック

EB
Kin-chuen Hui, Ronald Chi-kit Chung, Stefan Göbel, David Hutchison, Xiaogang Jin, Takeo Kanade, Eric C.-L Li, Zhigeng Pan, Charlie C. L. Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
36.

電子ブック

EB
Franz Baader, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
37.

電子ブック

EB
Alexandre Petrenko, Wolfgang Grieskamp, Takeo Kanade, Jan Tretmans, Margus Veanes, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
38.

電子ブック

EB
Yuri Gurevich, Takeo Kanade, Bertrand Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
39.

電子ブック

EB
Klaus Schneider, Jens Brandt, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
40.

電子ブック

EB
Cliff B. Jones, Takeo Kanade, Zhiming Liu, Jim Woodcock
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
41.

電子ブック

EB
Jin-Yi Cai, S. Barry Cooper, David Hutchison, Takeo Kanade, Hong Zhu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
42.

電子ブック

EB
João Marques-Silva, David Hutchison, Takeo Kanade, Karem A. Sakallah
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
43.

電子ブック

EB
Awais Rashid, Mehmet Akesit, Mehmet Aksit, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Guest Editors' Introduction: Early Aspects-Analysis, Visualization, Conflicts and Composition / Joao Araujo ; Elisa Baniassad
EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering / Americo Sampaio ; Awais Rashid ; Ruzanna Chitchyan ; Paul Rayson
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach / Nan Niu ; Steve Easterbrook
Analysis of Crosscutting in Early Software Development Phases Based on Traceability / Klaas van den Berg ; Jose Maria Conejero ; Juan Hernandez
Visualizing Early Aspects with Use Case Maps / Gunter Mussbacher ; Daniel Amyot ; Michael Weiss
Handling Conflicts in Aspectual Requirements Compositions / Isabel Sofia Brito ; Filipe Vieira ; Ana Moreira ; Rita A. Ribeiro
Weaving Multiple Aspects in Sequence Diagrams / Jacques Klein ; Franck Fleurey ; Jean-Marc Jezequel
Author Index
Guest Editors' Introduction: Early Aspects-Analysis, Visualization, Conflicts and Composition / Joao Araujo ; Elisa Baniassad
EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering / Americo Sampaio ; Awais Rashid ; Ruzanna Chitchyan ; Paul Rayson
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach / Nan Niu ; Steve Easterbrook
44.

電子ブック

EB
Yun Q. Shi, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fingercasting-Joint Fingerprinting and Decryption of Broadcast Messages / Andre Adelsbach ; Ulrich Huber ; Ahmad-Reza Sadeghi
An Estimation Attack on Content-Based Video Fingerprinting / Shan He ; Darko Kirovski
Statistics- and Spatiality-Based Feature Distance Measure for Error Resilient Image Authentication / Shuiming Ye ; Qibin Sun ; Ee-Chien Chang
LTSB Steganalysis Based on Quartic Equation / Xiangyang Luo ; Chunfang Yang ; Daoshun Wang ; Fenlin Liu
From 3D Mesh Data Hiding to 3D Shape Blind and Robust "Watermarking: A Survey / Patrice Rondao Alface ; Benoit Macq
Author Index
Fingercasting-Joint Fingerprinting and Decryption of Broadcast Messages / Andre Adelsbach ; Ulrich Huber ; Ahmad-Reza Sadeghi
An Estimation Attack on Content-Based Video Fingerprinting / Shan He ; Darko Kirovski
Statistics- and Spatiality-Based Feature Distance Measure for Error Resilient Image Authentication / Shuiming Ye ; Qibin Sun ; Ee-Chien Chang
45.

電子ブック

EB
Per Stenström, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
46.

電子ブック

EB
James F. Peters, David Hutchison, Takeo Kanade, Victor W. Marek, Andrzej Skowron
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
47.

電子ブック

EB
Costas Lambrinoudakis, Takeo Kanade, Günther Pernul, A Min Tjoa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
48.

電子ブック

EB
Ugo Montanari, Roberto Bruni, Takeo Kanade, Donald Sannella
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
FP6 Project Overviews
Project AEOLUS: An Overview / Christos Kaklamanis
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
Sensoria Process Calculi for Service-Oriented Computing / Martin Wirsing ; Rocco De Nicola ; Stephen Gilmore ; Matthias Holzl ; Roberto Lucchi ; Mirco Tribastone ; Gianlugi Zavattaro
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks / Torsten Eymann ; Werner Streitberger ; Sebastian Hudert
Keynote Speakers
Software of the Future Is the Future of Software? / Paola Inverardi
An Algorithmic Theory of Mobile Agents / Evangelos Kranakis ; Danny Krizanc
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources / Luis Caires
Integration of a Security Type System into a Program Logic / Reiner Hahnle ; Jing Pan ; Philipp Rummer ; Dennis Walter
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization / Roberto Bruni ; Ivan Lanese
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines / Damien Pous
A Typed Calculus for Querying Distributed XML Documents / Lucia Acciai ; Michele Boreale ; Silvano Dal Zilio
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL / Luciano Baresi ; Karsten Ehrig ; Reiko Heckel
A Fuzzy Approach for Negotiating Quality of Services / Davide Bacciu ; Alessio Botta ; Hernan Melgratti
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation / Ioannis Caragiannis ; Panagiotis Kanellopoulos ; Evi Papaioannou
On the Limits of Cache-Oblivious Matrix Transposition / Francesco Silvestri
The KOA Remote Voting System: A Summary of Work to Date / Joseph R. Kiniry ; Alan E. Morkan ; Dermot Cochran ; Fintan Fairmichael ; Patrice Chalin ; Martijn Oostdijk ; Engelbert Hubbers
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data / Mariangiola Dezani-Ciancaglini ; Silvia Ghilezan ; Jovanka Pantovic
Anonymity Protocols as Noisy Channels / Konstantinos Chatzikokolakis ; Catuscia Palamidessi ; Prakash Panangaden
A Framework for Automatically Checking Anonymity with [mu]CRL / Tom Chothia ; Simona Orzan ; Jun Pang ; Mohammad Torabi Dashti
A Framework for Type Safe Exchange of Mobile Code / Sonia Fagorzi ; Elena Zucca
Author Index
FP6 Project Overviews
Project AEOLUS: An Overview / Christos Kaklamanis
MOBIUS: Mobility, Ubiquity, Security / Gilles Barthe ; Lennart Beringer ; Pierre Cregut ; Benjamin Gregoire ; Martin Hofmann ; Peter Muller ; Erik Poll ; German Puebla ; Ian Stark ; Eric Vetillard
49.

電子ブック

EB
Simona Ronchi Rocca, David Hutchison, Takeo Kanade, Simona Ronchi Della Rocca
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
50.

電子ブック

EB
Thorsten Altenkirch, Takeo Kanade, Conor McBride
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory / Robin Adams ; Zhaohui Luo
Crafting a Proof Assistant / Andrea Asperti ; Claudio Sacerdoti Coen ; Enrico Tassi ; Stefano Zacchiroli
On Constructive Cut Admissibility in Deduction Modulo / Richard Bonichon ; Olivier Hermant
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond / Frederic Besson
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq / Venanzio Capretta ; Amy P. Felty
Deciding Equality in the Constructor Theory / Pierre Corbineau
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family / Nils Anders Danielsson
Truth Values Algebras and Proof Normalization / Gilles Dowek
Curry-Style Types for Nominal Terms / Maribel Fernandez ; Murdoch J. Gabbay
(In)consistency of Extensions of Higher Order Logic and Type Theory / Herman Geuvers
Constructive Type Classes in Isabelle / Florian Haftmann ; Makarius Wenzel
Zermelo's Well-Ordering Theorem in Type Theory / Danko Ilik
A Finite First-Order Theory of Classes / Florent Kirchner
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers / Milad Niqui
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs / Hugo R. Simoes ; Kevin Hammond ; Mario Florido ; Pedro Vasconcelos
Subset Coercions in CoQ / Matthieu Sozeau
A Certified Distributed Security Logic for Authorizing Code / Nathan Whitehead
Author Index
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory / Robin Adams ; Zhaohui Luo
Crafting a Proof Assistant / Andrea Asperti ; Claudio Sacerdoti Coen ; Enrico Tassi ; Stefano Zacchiroli
On Constructive Cut Admissibility in Deduction Modulo / Richard Bonichon ; Olivier Hermant
51.

電子ブック

EB
John Krumm, Gregory D. Abowd, Takeo Kanade, Aruna Seneviratne, Thomas Strang, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
Privacy Enhancing Technologies for RFID in Retail- An Empirical Investigation / Sarah Spiekermann
Ninja: Non Identity Based, Privacy Preserving Authentication for Ubiquitous Environments / Adrian Leung ; Chris J. Mitchell
Field Deployment of IMBuddy: A Study of Privacy Control and Feedback Mechanisms for Contextual IM / Gary Hsieh ; Karen P. Tang ; Wai Yong Low ; Jason I. Hong
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments / A.J. Bernheim Brush ; Kori M. Inkpen
How Smart Homes Learn: The Evolution of the Networked Home and Household / Marshini Chetty ; Ja-Young Sung ; Rebecca E. Grinter
"My Roomba Is Rambo": Intimate Home Appliances / Lan Guo ; Henrik I. Christensen
Symbolic Object Localization Through Active Sampling of Acceleration and Sound Signatures / Kai Kunze ; Paul Lukowicz
An Exploration of Location Error Estimation / David Dearman ; Alex Varshavsky ; Eyal de Lara ; Khai N. Truong
Security by Spatial Reference: Using Relative Positioning to Authenticate Devices for Spontaneous Interaction / Rene Mayrhofer ; Hans Gellersen ; Mike Hazas
Users and Batteries: Interactions and Adaptive Energy Management in Mobile Systems / Nilanjan Banerjee ; Ahmad Rahmati ; Mark D. Corner ; Sami Rollins ; Lin Zhong
An Empirical Study of the Potential for Context-Aware Power Management / Colin Harris ; Vinny Cahill
Amigo: Proximity-Based Authentication of Mobile Devices / Adin Scannell ; Anthony LaMarca
At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line / Shwetak N. Patel ; Thomas Robertson ; Julie A. Kientz ; Matthew S. Reynolds ; Gregory D. Abowd
An 'Object-Use Fingerprint': The Use of Electronic Sensors for Human Identification / Mark R. Hodges ; Martha E. Pollack
Key Generation Based on Acceleration Data of Shaking Processes / Daniel Bichler ; Guido Stromberg ; Mario Huemer ; Manuel Low
"Merolyn the Phone": A Study of Bluetooth Naming Practices / Tim Kindberg ; Timothy Jones
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp / Yvonne Rogers ; Kay Connelly ; Lenore Tedesco ; William Hazlewood ; Andrew Kurtz ; Robert E. Hall ; Josh Hursey ; Tammy Toscos
Locating Family Values: A Field Trial of the Whereabouts Clock / Barry Brown ; Alex S. Taylor ; Shahram Izadi ; Abigail Sellen ; Joseph 'Jofish' Kaye ; Rachel Eardley
Safeguarding Location Privacy in Wireless Ad-Hoc Networks / Tanzima Hashem ; Lars Kulik
Haggle: Seamless Networking for Mobile Applications / Jing Su ; James Scott ; Pan Hui ; Jon Crowcroft ; Christophe Diot ; Ashvin Goel ; Meng How Lim ; Eben Upton
Exploiting Social Interactions in Mobile Systems / Andrew G. Miklas ; Kiran K. Gollu ; Kelvin K.W. Chan ; Stefan Saroiu ; Krishna P. Gummadi
Rapidly Exploring Application Design Through Speed Dating / Scott Davidoff ; Min Kyung Lee ; Anind K. Dey ; John Zimmerman
Addressing Mobile Phone Diversity in Ubicomp Experience Development / Chris Greenhalgh ; Steve Benford ; Adam Drozd ; Martin Flintham ; Alastair Hampshire ; Leif Oppermann ; Keir Smith ; Christoph von Tycowicz
Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System / Gerd Kortuem ; David Alford ; Linden Ball ; Jerry Busby ; Nigel Davies ; Christos Efstratiou ; Joe Finney ; Marian Iszatt White ; Katharina Kinder
A Long-Term Evaluation of Sensing Modalities for Activity Recognition / Beth Logan ; Jennifer Healey ; Emmanuel Munguia Tapia ; Stephen Intille
Cooperative Augmentation of Smart Objects with Projector-Camera Systems / David Molyneaux ; Bernt Schiele
Author Index
A Statistical Reasoning System for Medication Prompting / Sengul Vurgun ; Matthai Philipose ; Misha Pavel
Tracking Free-Weight Exercises / Keng-hao Chang ; Mike Y. Chen ; John Canny
Playful Tray: Adopting Ubicomp and Persuasive Techniques into Play-Based Occupational Therapy for Reducing Poor Eating Behavior in Young Children / Jin-Ling Lo ; Tung-yun Lin ; Hao-hua Chu ; Hsi-Chin Chou ; Jen-hao Chen ; Jane Yung-jen Hsu ; Polly Huang
52.

電子ブック

EB
Frank Stajano, Jong-Suk Chae, David Hutchison, Takeo Kanade, Hyoung Joong Kim, Seong-Dong Kim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
53.

電子ブック

EB
Jadwiga Indulska, Jiannong Cao, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
54.

電子ブック

EB
Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Takeo Kanade, Grzegorz Rozenberg, H. Todd Wareham
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Nanocomputing by Self-assembly / Lila Kari
Organic User Interfaces (Oui!): Designing Computers in Any Way Shape or Form / Roel Vertegaal
Regular Papers
Unconventional Models of Computation Through Non-standard Logic Circuits / Juan C. Agudelo ; Walter Carnielli
Amoeba-Based Nonequilibrium Neurocomputer Utilizing Fluctuations and Instability / Masashi Aono ; Masahiko Hara
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
55.

電子ブック

EB
Constantine Stephanidis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
56.

電子ブック

EB
Constantine Stephanidis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
57.

電子ブック

EB
Nuray Aykin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
58.

電子ブック

EB
Byron Cook, Takeo Kanade, Andreas Podelski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
59.

電子ブック

EB
Randall Shumaker, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
60.

電子ブック

EB
Shin-ichi Nakano, Takeo Kanade, Md. Saidur Rahman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
61.

電子ブック

EB
Luciano Baresi, Piero Fraternali, Geert-Jan Houben, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
62.

電子ブック

EB
Massimo Marchiori, David Hutchison, Takeo Kanade, Christian de Sainte Marie, Jeff Z. Pan, Christian de Sainte Marie
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Full Papers / I:
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
On the Semantics of Service Compositions / Harald Meyer
Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou
Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde
Web Services Discovery and Constraints Composition / Debmalya Biswas
Ontological Reasoning to Configure Emotional Voice Synthesis / Virginia Francisco ; Pablo Gervas ; Federico Peinado
A Semantic Framework for Language Layering in WSML / Stijn Heymans
Merging Model Driven Architecture and Semantic Web for Business Rules Generation / Mouhamed Diouf ; Sofian Maabout ; Kaninda Musumbu
A Framework for Combining Rules and Geo-ontologies / Philip D. Smart ; Alia I. Abdelmoty ; Baher A. El-Geresy ; Christopher B. Jones
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer / Xi Bai ; Jigui Sun ; Zehai Li ; Xianrui Lu
[Characters not reproducible]: An Integration of Description Logic and General Rules / Jing Mei ; Zuoquan Lin ; Harold Boley
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems / Yimin Wang ; Jie Bao ; Peter Haase ; Guilin Qi
Consistent Query Answering over Description Logic Ontologies / Domenico Lembo ; Marco Ruzzi
Short Papers / II:
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results / Heiko Stoermer ; Paolo Bouquet ; Ignazio Palmisano ; Domenico Redavid
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images / Ammar Mechouche ; Christine Golbreich ; Bernard Gibaud
A Framework for Ontology Based Rule Acquisition from Web Documents / Sangun Park ; Juyoung Kang ; Wooju Kim
A Fast Algebraic Web Verification Service / Maria Alpuente ; Demis Ballis ; Moreno Falaschi ; Pedro Ojeda ; Daniel Romero
Proof Explanation in the DR-DEVICE System / Nick Bassiliades ; Grigoris Antoniou ; Guido Governatori
Rule-Based Active Domain Brokering for the Semantic Web / Erik Behrends ; Oliver Fritzen ; Tobias Knabke ; Wolfgang May ; Franz Schenk
Decidability Under the Well-Founded Semantics / Natalia Cherchago ; Pascal Httzler ; Steffen Holldobler
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services / Marco Alberti ; Federico Chesani ; Marco Gavanelli ; Evelina Lamma ; Paola Mello ; Marco Montali ; Paolo Torroni
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web / Thomas Lukasiewicz ; Umberio Straccia
AceRules: Executing Rules in Controlled Natural Language / Tobias Kuhn
Bridging Concrete and Abstract Syntax of Web Rule Languages / Milan Milanovic ; Dragan Gasevic ; Adrian Giurca ; Gerd Wagner ; Sergey Lukichev ; Vladan Devedzic
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints / Sacha Berger ; Tim Furche ; Andreas J. Hausler
Attaining Higher Quality for Density Based Algorithms / Morteza Haghir Chehreghani ; Hassan Abolhassani ; Mostafa Haghir Chehreghani
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image / Hyung Moo Kim ; Jae Soo Yoo
Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics / Jakob Henriksson
Selected Posters / III:
Extending SWRL to Enhance Mathematical Support / Alfonso Sanchez-Macian ; Encarna Pastor ; Jorge E. Lopez de Vergara ; David Lopez
Efficiently Querying Relational Databases Using OWL and SWRL / Martin O'Connor ; Ravi Shankar ; Samson Tu ; Csongor Nyulas ; Amar Das ; Mark Musen
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs / Alexandros Chortaras ; Andreas Stafylopatis
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data / Efstratios Kontopoulos
Efficient OWL Reasoning with Logic Programs - Evaluations / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler ; Michael Sintek ; Denny Vrandecic
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies / Tadeusz Pankowski ; Jolanta Cybulka ; Adam Meissner
Context in Rules Used in P2P Semantic Data Integration System / Grazyna Brzykcy ; Jerzy Bartoszek
Author Index
Full Papers / I:
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
63.

電子ブック

EB
Fernando Boavida, David Hutchison, Takeo Kanade, Yevgeni Koucheryavy, Saverio Mascolo, Edmundo Monteiro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
64.

電子ブック

EB
Roberto Verdone, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
65.

電子ブック

EB
Orna Grumberg, Takeo Kanade, Helmut Veith
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
66.

電子ブック

EB
Egon Börger, Paul Boca, Jonathan P. Bowen, Michael Butler, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
67.

電子ブック

EB
Carol Peters, Fredric C. Gey, Julio Gonzalo, Gareth J. F. Jones, Takeo Kanade, Michael Kluck, Bernardo Magnini, Henning Müller, Maarten Rijke
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
68.

電子ブック

EB
David Coudert, Takeo Kanade, David Simplot-Ryl, Ivan Stojmenovic
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
69.

電子ブック

EB
Thomas Kunz, Takeo Kanade, Thomas Hans Kunz, S. S. Ravi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
70.

電子ブック

EB
John Barnes, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
71.

電子ブック

EB
S. Tucker Taft, Randall L. Brukardt, Robert A. Duff, Takeo Kanade, Pascal Leroy, Erhard Ploedereder
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
72.

電子ブック

EB
Wolfgang Nejdl, Eelco Herder, Takeo Kanade, Judy Kay, Pearl Pu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
73.

電子ブック

EB
Vincent P. Wade, Helen Ashman, Helen L. Ashman, Takeo Kanade, Barry Smyth
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック

EB
Marcin Detyniecki, Joemon M. Jose, Takeo Kanade, Andreas Nürnberger, C. J. Rijsbergen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
75.

電子ブック

EB
Nozha Boujemaa, Marcin Detyniecki, Takeo Kanade, Andreas Nürnberger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
76.

電子ブック

EB
Jacques Blanc-Talon, Salah Bourennane, Takeo Kanade, Wilfried Philips, Dan Popescu, Paul Scheunders
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
77.

電子ブック

EB
Jacques Blanc-Talon, Takeo Kanade, Wilfried Philips, Dan Popescu, Paul Scheunders
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック

EB
Xue Li, Takeo Kanade, Zhan-huai Li, Zhanhuai Li, Osmar R. Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
Finding Time Series Discords Based on Haar Transform / Ada Wai-chee Fu ; Oscar Tat-Wing Leung ; Eamonn Keogh ; Jessica Lin
Learning with Local Drift Detection / Joao Gama ; Gladys Castillo
Association Rules
A Fast Algorithm for Maintenance of Association Rules in Incremental Databases / Xin Li ; Zhi-Hong Deng ; Shiwei Tang
Extending OLAP with Fuzziness for Effective Mining of Fuzzy Multidimensional Weighted Association Rules / Mehmet Kaya ; Reda Alhajj
Incremental Maintenance of Association Rules Based on Multiple Previously Mined Results / Zhuohua Duan ; Zixing Cai ; Yan Lv
Mining and Validation of Localized Frequent Web Access Patterns with Dynamic Tolerance / Olfa Nasraoui ; Suchandra Goswami
S A-IFIM: Incrementally Mining Frequent Itemsets in Update Distorted Databases / Jinlong Wang ; Congfu Xu ; Hongwei Dan ; Yunhe Pan
Study of Positive and Negative Association Rules Based on Multi-confidence and Chi-Squared Test / Xiangjun Dong ; Fengrong Sun ; Xiqing Han ; Ruilian Hou
Efficiently Mining Maximal Frequent Mutually Associated Patterns / Zhongmei Zhou ; Zhaohui Wu ; Chunshan Wang ; Yi Feng
Efficiently Mining Mutually and Positively Correlated Patterns
Classification
ComEn V prs: A Novel Approach for Inducing Decision Tree Classifiers / Shuqin Wang ; Jinmao Wei ; Junping You ; Dayou Liu
Towards a Rough Classification of Business Travelers / Rob Law ; Thomas Bauer ; Karin Weber ; Tony Tse
Feature Extraction Based on Optimal Discrimination Plane in ECG Signal Classification / Dingfei Ge ; Xiao Qu
Music Style Classification with a Novel Bayesian Model / Yatong Zhou ; Taiyi Zhang ; Jiancheng Sun
Classification of Polarimetric SAR Data Based on Multidimensional Watershed Clustering / Wen Yang ; Hao Wang ; Yongfeng Cao ; Haijian Zhang
An Effective Combination Based on Class-Wise Expertise of Diverse Classifiers for Predictive Toxicology Data Mining / Daniel Neagu ; Gongde Guo ; Shanshan Wang
Robust Collective Classification with Contextual Dependency Network Models / Yonghong Tian ; Tiejun Huang ; Wen Gao
User-Centered Image Semantics Classification / Hongli Xu ; De Xu ; Fangshi Wang
A Performance Study of Gaussian Kernel Classifiers for Data Mining Applications / Miyoung Shin
TTLSC - Transductive Total Least Square Model for Classification and Its Application in Medicine / Qun Song ; Tian Min Ma ; Nikola Kasabov
Forecasting Electricity Market Price Spikes Based on Bayesian Expert with Support Vector Machines / Wei Wu ; Jianzhong Zhou ; Li Mo ; Chengjun Zhu
Integrating Local One-Class Classifiers for Image Retrieval / Yiqing Tu ; Gang Li ; Honghua Dai
Incremental Discretization for Naive-Bayes Classifier / Jingli Lu ; Ying Yang ; Geoffrey I. Webb
Distance Guided Classification with Gene Expression Programming / Lei Duan ; Changjie Tang ; Tianqing Zhang ; Dagang Wei ; Huan Zhang
Research on Multi-valued and Multi-labeled Decision Trees / Hong Li ; Rui Zhao ; Jianer Chen ; Yao Xiang
Clustering
A Spatial Clustering Algorithm Based on SOFM / Zhong Qu ; Lian Wang
Mining Spatial-temporal Clusters from Geo-databases / Min Wang ; Aiping Wang ; Anbo Li
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data / Guojun Gan ; Jianhong Wu ; Zijiang Yang
Robust Music Information Retrieval on Mobile Network Based on Multi-Feature Clustering / Won-Jung Yoon ; Sanghun Oh ; Kyu-Sik Park
Joint Cluster Based Co-clustering for Clustering Ensembles / Tianming Hu ; Liping Liu ; Chao Qu ; Sam Yuan Sung
Mining Gait Pattern for Clinical Locomotion Diagnosis Based on Clustering Techniques / Guandong Xu ; Yanchun Zhang ; Rezaul Begg
Combining Multiple Clusterings Via k-Modes Algorithm / Huilan Luo ; Fansheng Kong ; Yixiao Li
HOV[superscript 3]: An Approach to Visual Cluster Analysis / Ke-Bing Zhang ; Mehmet A. Orgun ; Kang Zhang
A New Fuzzy Co-clustering Algorithm for Categorization of Datasets with Overlapping Clusters / William-Chandra Tjhi ; Lihui Chen
Quantum-Behaved Particle Swarm Optimization Clustering Algorithm / Jun Sun ; Wenbo Xu ; Bin Ye
Clustering Mixed Data Based on Evidence Accumulation
Mining Maximal Local Conserved Gene Clusters from Microarray Data / Yuhai Zhao ; Guoren Wang ; Ying Yin ; Guangyu Xu
Novel Algorithms
A Novel P2P Information Clustering and Retrieval Mechanism / Huaxiang Zhang ; Peide Liu
Keeping Track of Customer Life Cycle to Build Customer Relationship / Sung Ho Ha ; Sung Min Bae
Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets / Hesuan Hu ; Zhiwu Li ; Anrong Wang
Improved Genetic Algorithm for Multiple Sequence Alignment Using Segment Profiles (GASP) / Yanping Lv ; Shaozi Li ; Changle Zhou ; Wenzhong Guo ; Zhengming Xu
A Novel Visual Clustering Algorithm for Finding Community in Complex Network / Shuzhong Yang ; Siwei Luo ; Jianyu Li
Self-Organizing Network Evolving Model for Mining Network Community Structure / Bo Yang
An Interactive Visualization Environment for Data Exploration Using Points of Interest / David Da Costa ; Gilles Venturini
Forecasting the Volatility of Stock Price Index / Tae Hyup Roh
ExMiner: An Efficient Algorithm for Mining Top-K Frequent Patterns / Tran Minh Quang ; Shigeru Oyanagi ; Katsuhiro Yamazaki
Learning Bayesian Networks Structure with Continuous Variables / Shuang-Cheng Wang ; Xiao-Lin Li ; Hai-Yan Tang
A Unified Strategy of Feature Selection / Peng Liu ; Naijun Wu ; Jiaxian Zhu ; Junjie Yin ; Wei Zhang
Experimental Comparison of Feature Subset Selection Using GA and ACO Algorithm / Keunjoon Lee ; Jinu Joo ; Jihoon Yang ; Vasant Honavar
OMVD: An Optimization of MVD / Zhi He ; Shengfeng Tian ; Houkuan Huang
ZED: Explaining Temporal Variations in Query Volume / Maojin Jiang ; Shlomo Argamon ; Abdur Chowdhury ; Kush Sidhu
An Effective Multi-level Algorithm for Bisecting Graph / Ming Leng ; Songnian Yu
A New Polynomial Time Algorithm for Bayesian Network Structure Learning / Sanghack Lee ; Sungyong Park
Personalized Recommendation Based on Partial Similarity of Interests / Ming-Hua Yang ; Zhi-Min Gu
A Fast Implementation of the EM Algorithm for Mixture of Multinomials / Jan Peter Patist
A Novel Approach to Pattern Recognition Based on PCA-ANN in Spectroscopy / Xiaoli Li ; Yong He
Semi-supervised Dynamic Counter Propagation Network / Yao Chen ; Yuntao Qian
The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique / Guanghui Yan ; Zhanhuai Li ; Liu Yuan
Feature Selection for Complex Patterns / Peter Schenkel ; Wanqing Li ; Wanquan Liu
Naive Bayesian Tree Pruning by Local Accuracy Estimation / Zhipeng Xie
A New Visualization Method for Patent Map: Application to Ubiquitous Computing Technology / Jong Hwan Suh ; Sang Chan Park
Local Linear Logistic Discriminant Analysis with Partial Least Square Components / Jangsun Baek ; Young Sook Son
Activity Mining: Challenges and Prospects / Longbing Cao
Finding the Optimal Cardinality Value for Information Bottleneck Method / Dong Liu ; Yangdong Ye
A New Algorithm for Enumerating All Maximal Cliques in Complex Network / Li Wan ; Bin Wu ; Nan Du ; Qi Ye ; Ping Chen
Modeling and Mining the Rule Evolution / Ding Pan
Knowledge Reduction in Inconsistent Decision Tables / Qihe Liu ; Leiting Chen ; Jianzhong Zhang ; Fan Min
Text Mining
Semantic Scoring Based on Small-World Phenomenon for Feature Selection in Text Mining / Chong Huang
A Comparative Study on Text Clustering Methods / Yan Zheng ; Xiaochun Cheng ; Ronghuai Huang ; Yi Man
Concept Based Text Classification Using Labeled and Unlabeled Data / Ping Gu ; Qingsheng Zhu ; Xiping He
Learning Semantic User Profiles from Text / M. Degemmis ; P. Lops ; G. Semeraro
Multimedia Mining
Audiovisual Integration for Racquet Sports Video Retrieval / Yaqin Zhao ; Xianzhong Zhou ; Guizhong Tang
A Correlation Approach for Automatic Image Annotation / David R. Hardoon ; Craig Saunders ; Sandor Szedmak ; John Shawe-Taylor
Sequential Data Mining and Time Series Mining
Fast Discovery of Time-Constrained Sequential Patterns Using Time-Indexes / Ming-Yen Lin ; Sue-Chen Hsueh ; Chia-Wen Chang
Multi-dimensional Sequential Pattern Mining Based on Concept Lattice / Yang Jin ; Wanli Zuo
Mining Time-Delayed Coherent Patterns in Time Series Gene Expression Data / Linjun Yin ; Keming Mao
Mining Delay in Streaming Time Series of Industrial Process / Haijie Gu ; Gang Rong
Segmental Semi-Markov Model Based Online Series Pattern Detection Under Arbitrary Time Scaling / Guangjie Ling ; Sen Jia
Diagnosis of Inverter Faults in PMSM DTC Drive Using Time-Series Data Mining Technique / Dan Sun ; Jun Meng ; Zongyuan He
Applications of Data Mining Time Series to Power Systems Disturbance Analysis / Zhiyong Li
Mining Compressed Sequential Patterns / Lei Chang ; Dongqing Yang ; Tengjiao Wang
Effective Feature Preprocessing for Time Series Forecasting / Jun Hua Zhao ; Zhao Yang Dong ; Zhao Xu
On Similarity of Financial Data Series Based on Fractal Dimension / Jian-rong Hou ; Hui Zhao ; Pei Huang
Web Mining
A Hierarchical Model of Web Graph / Jie Han ; Yong Yu ; Chenxi Lin ; Dingyi Han ; Gui-Rong Xue
Web Scale Competitor Discovery Using Mutual Information / Rui Li ; Shenghua Bao ; Jin Wang ; Yuanjie Liu
Biomedical Mining
Co-expression Gene Discovery from Microarray for Integrative Systems Biology / Yutao Ma ; Yonghong Peng
Cardiovascular Disease Diagnosis Method by Emerging Patterns / Heon Gyu Lee ; Kiyong Noh ; Bum Ju Lee ; Ho-Sun Shon ; Keun Ho Ryu
DNA Microarray Data Clustering by Hidden Markov Models and Bayesian Information Criterion / Phasit Charoenkwan ; Aompilai Manorat ; Jeerayut Chaijaruwanich ; Sukon Prasitwattanaseree ; Sakarindr Bhumiratana
Application of Factor Analysis on Mycobacterium Tuberculosis Transcriptional Responses for Drug Clustering, Drug Target, and Pathway Detections / Jamlong Khamphachua ; Saradee Warit ; Prasit Palittapongarnpim
First Steps to an Audio Ontology-Based Classifier for Telemedicine / Cong Phuong Nguyen ; Ngoc Yen Pham ; Eric Castelli
Obstacles and Misunderstandings Facing Medical Data Mining / Ashkan Sami
SVM-Based Tumor Classification with Gene Expression Data / Shulin Wang ; Ji Wang ; Huowang Chen ; Boyun Zhang
GEPCLASS: A Classification Rule Discovery Tool Using Gene Expression Programming / Wagner R. Weinert ; Heitor S. Lopes
Advanced Applications
CBR-Based Knowledge Discovery on Results of Evolutionary Design of Logic Circuits / Shuguang Zhao ; Mingying Zhao ; Jin Li ; Change Wang
Data Summarization Approach to Relational Domain Learning Based on Frequent Pattern to Support the Development of Decision Making / Rayner Alfred ; Dimitar Kazakov
Extreme Value Dependence in Problems with a Changing Causation Structure / Marlon Nunez ; Rafael Morales
A Study on Object Recognition Technology Using PCA in the Variable Illumination / Jong-Min Kim ; Hwan-Seok Yang
Pattern Recurring in Three-Dimensional Graph Based on Data Mining / Yanbing Liu ; Menghao Wang
Mining the Useful Skyline Set Based on the Acceptable Difference / Zhenhua Huang ; Wei Wang
Modeling Information-Sharing Behaviors in BitTorrent System Based on Real Measurement / Jinkang Jia ; Changjia Chen
Financial Distress Prediction Based on Similarity Weighted Voting CBR / Jie Sun ; Xiao-Feng Hui
Customer Churn Prediction by Hybrid Model / Jae Sik Lee ; Jin Chun Lee
Base Vector Selection for Kernel Matching Pursuit / Qing Li ; Licheng Jiao
WaveSim Transform for Multi-channel Signal Data Mining Through Linear Regression PCA / R. Pradeep Kumar ; P. Nagabhushan
Research on Query-by-Committee Method of Active Learning and Application / Yue Zhao ; Ciwen Xu ; Yongcun Cao
Traffic Management Genetic Algorithm Supporting Data Mining and QoS in Sensor Networks / Yantao Pan ; Wei Peng ; Xicheng Lu
Comparison of Data Pre-processing in Pattern Recognition of Milk Powder Vis/NIR Spectra / Haiyan Cen ; Yidan Bao ; Min Huang
Semi-automatic Hot Event Detection / Tingling He ; Guozhong Qu ; Siwei Li ; Xinhui Tu ; Yong Zhang ; Han Ren
Security and Privacy Issues
Profile-Based Security Against Malicious Mobile Agents / Hua Li ; Glena Greene ; Rafael Alonso
A Comprehensive Categorization of DDoS Attack and DDoS Defense Techniques / Usman Tariq ; ManPyo Hong ; Kyung-suk Lhee
Structural Analysis and Mathematical Methods for Destabilizing Terrorist Networks Using Investigative Data Mining / Nasrullah Memon ; Henrik Legind Larsen
Alert Correlation Analysis in Intrusion Detection / Moon Sun Shin ; Kyeong Ja Jeong
Spatial Data Mining
OSDM: Optimized Shape Distribution Method / Ryoichi Nagatomi ; Makoto Takahashi ; Takeshi Tokuyama
View-Angle of Spatial Data Mining / Shuliang Wang ; Haning Yuan
Streaming Data Mining
Maintaining Moving Sums over Data Streams / Tzu-Chiang Wu ; Arbee L.P. Chen
MFIS-Mining Frequent Itemsets on Data Streams / Zhi-jun Xie ; Hong Chen ; Cuiping Li
Improving the Performance of Data Stream Classifiers by Mining Recurring Contexts / Yong Wang ; Yang Zhang ; Longbo Zhang ; Yun Jiang
Author Index
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
79.

電子ブック

EB
Eric Dubois, Takeo Kanade, Klaus Pohl
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
80.

電子ブック

EB
Zohra Bellahsène, Takeo Kanade, Michel Léonard
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
81.

電子ブック

EB
De-Shuang Huang, Kang-Hyun Jo, Takeo Kanade, Daniel S. Levine, Donald C. Wunsch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
82.

電子ブック

EB
Yoshiharu Ishikawa, Jing He, Guangyan Huang, Takeo Kanade, Chaoyi Pang, Yong Shi, Guoren Wang, Guandong Xu, Qing Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
83.

電子ブック

EB
Moonis Ali, Richard Dapoigny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
84.

電子ブック

EB
Luc Lamontagne, Takeo Kanade, Luc D. Lamontagne, Mario Marchand
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
85.

電子ブック

EB
Grigoris Antoniou, Takeo Kanade, Dimitris Plexousakis, George Potamias, Costas Spyropoulos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
86.

電子ブック

EB
Zhigeng Pan, Adrian Cheok, Michael Haller, Takeo Kanade, Rynson W. H. Lau, Ronghua Liang, Hideo Saito
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
87.

電子ブック

EB
Elvis Wai Chung Leung, Jifeng He, Takeo Kanade, Langfang Miao, Fu Lee Wang, Jianmin Zhao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
88.

電子ブック

EB
Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir, Halil Altay Güvenir, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
Is Consideration of Background Knowledge in Data Driven Solutions Possible at All? / Gholamreza Nakhaeizadeh
Reality Meets Research / Stefan Wess
Research Papers
Multi-agent Case-Based Reasoning for Cooperative Reinforcement Learners / Thomas Gabel ; Martin Riedmiller
Retrieving and Reusing Game Plays for Robot Soccer / Raquel Ros ; Manuela Veloso ; Ramon Lopez de Mantaras ; Carles Sierra ; Josep Lluis Arcos
Self-organising Hierarchical Retrieval in a Case-Agent System / Ian Watson ; Jens Trotzky
Cobras: Cooperative CBR System for Bibliographical Reference Recommendation / Hager Karoui ; Rushed Kanawati ; Laure Petrucci
A Knowledge-Light Approach to Regression Using Case-Based Reasoning / Neil McDonnell ; Padraig Cunningham
Case-Base Maintenance for CCBR-Based Process Evolution / Barbara Weber ; Manfred Reichert ; Werner Wild
Evaluating CBR Systems Using Different Data Sources: A Case Study / Mingyang Gu ; Agnar Aamodt
Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation / Ross Nicholson ; Derek Bridge ; Nic Wilson
Case-Based Reasoning for Knowledge-Intensive Template Selection During Text Generation / Raquel Hervas ; Pablo Gervas
Rough Set Feature Selection Algorithms for Textual Case-Based Classification / Kalyan Moy Gupta ; David W. Aha ; Philip G. Moore
Experience Management with Case-Based Assistant Systems / Mirjam Minor
The Needs of the Many: A Case-Based Group Recommender System / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth ; Maria Salamo
Contextualised Ambient Intelligence Through Case-Based Reasoning / Anders Kofod-Petersen
Improving Annotation in the Semantic Web and Case Authoring in Textual CBR / Juan A. Recio-Garcia ; Marco Antonio Gomez-Martin ; Belen Diaz-Agudo ; Pedro A. Gonzalez-Calero
Unsupervised Case Memory Organization: Analysing Computational Time and Soft Computing Capabilities / Albert Fornells ; Herrera Elisabet ; Golobardes i Ribe ; David Vernet Bellet ; Guiomar Corral Torruella
Further Experiments in Case-Based Collaborative Web Search / Jill Freyne
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge / Ralph Bergmann ; Babak Mougouie
Case-Based Sequential Ordering of Songs for Playlist Recommendation / Claudio Baccigalupo ; Enric Plaza
A Comparative Study of Catalogue-Based Classification / Petra Perner
Ontology-Driven Development of Conversational CBR Systems / Hector Gomez-Gauchia ; Pedro Gonzalez-Calero
Complexity Profiling for Informed Case-Base Editing / Stewart Massie ; Susan Craw ; Nirmalie Wiratunga
Unsupervised Feature Selection for Text Data / Robert Lothian
Combining Case-Based and Similarity-Based Product Recommendation / Armin Stahl
On the Use of Selective Ensembles for Relevance Classification in Case-Based Web Search / Maurice Coyle
What Evaluation Criteria Are Right for CCBR? Considering Rank Quality / Steven Bogaerts ; David B. Leake
Fast Case Retrieval Nets for Textual Data / Sutanu Chakraborti ; Amandine Orecchioni ; Stuart Watt
Combining Multiple Similarity Metrics Using a Multicriteria Approach / Luc Lamontagne ; Irene Abi-Zeid
Case Factory - Maintaining Experience to Learn / Klaus-Dieter Althoff ; Alexandre Hanft ; Martin Schaaf
Retrieval over Conceptual Structures / Pablo Beltran-Ferruz ; Oscar Lagerquist
An Analysis on Transformational Analogy: General Framework and Complexity / Vithal Kuchibatla ; Hector Munoz-Avila
Discovering Knowledge About Key Sequences for Indexing Time Series Cases in Medical Applications / Peter Funk ; Xiong Ning
Application Papers
Case-Based Reasoning for Autonomous Service Failure Diagnosis and Remediation in Software Systems / Stefania Montani ; Cosimo Anglano
Tracking Concept Drift at Feature Selection Stage in SpamHunting: An Anti-spam Instance-Based Reasoning System / Jose Ramon ; Mendez Reboredo ; Florentino Fernandez-Riverola ; Eva Lorenzo Iglesias ; Fernando Diaz Gomez ; Juan Manuel Corchado
Case-Based Support for Collaborative Business / Andrea Fressmann ; Kerstin Maximini ; Rainer Maximini ; Thomas Sauer
A CBR-Based Approach for Supporting Consulting Agencies in Successfully Accompanying a Customer's Introduction of Knowledge Management / Mark Hefke ; Andreas Abecker
The PwC Connection Machine: An Adaptive Expertise Provider / Mehmet H. Goker ; Cynthia Thompson ; Simo Arajarvi ; Kevin Hua
Author Index
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
89.

電子ブック

EB
Lishan Kang, Zhihua Cai, Takeo Kanade, Yong Liu, Xuesong Yan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
90.

電子ブック

EB
H. Jaap Herik, H. H. L. M. (Jeroen) Donkers, Jaap van den Herik, Shun-Chin Hsu, Tsan-sheng Hsu, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
91.

電子ブック

EB
Tomoyuki Nishita, Takeo Kanade, Qunsheng Peng, Hans-Peter Seidel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
92.

電子ブック

EB
Chris Jesshope, Colin Egan, C. R. Jesshope, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
93.

電子ブック

EB
John F. Roddick, V. Richard Benjamins, Roger Chiang, Christophe Claramunt, Ramez A. Elmasri, Fabio Grandi, Hyoil Han, Martin Hepp, Takeo Kanade, Miltiadis D. Lytras, Samira Si-said Cherfi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
94.

電子ブック

EB
Il-Yeol Song, Maria Chiara Caschera, Christophe Claramunt, Flavius Frasincar, Patrizia Grifoni, Geert-Jan Houben, Takeo Kanade, Colette Rolland, Camille Salinesi, Carson Woo, Esteban Zimányi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
95.

電子ブック

EB
Josef Pieprzyk, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
96.

電子ブック

EB
Cynthia Dwork, Takeo Kanade, International Association for Cryptologic Research.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs / Elad Barkan ; Eli Biham ; Adi Shamir
On the Power of the Randomized Iterate / Iftach Haitner ; Danny Harnik ; Omer Reingold
Strengthening Digital Signatures Via Randomized Hashing / Shai Halevi ; Hugo Krawczyk
Round-Optimal Composable Blind Signatures in the Common Reference String Model / Marc Fischlin
On Signatures of Knowledge / Melissa Chase ; Anna Lysyanskaya
Non-interactive Zaps and New Techniques for NIZK / Jens Groth ; Rafail Ostrovsky ; Amit Sahai
Rankin's Constant and Blockwise Lattice Reduction / Nicolas Gama ; Nick Howgrave-Graham ; Henrik Koy ; Phong Q. Nguyen
Lattice-Based Cryptography / Oded Regev
A Method for Making Password-Based Key Exchange Resilient to Server Compromise / Craig Gentry ; Philip MacKenzie ; Zulfikar Ramzan
Mitigating Dictionary Attacks on Password-Protected Local Storage / Ran Canetti ; Michael Steiner
Rationality and Adversarial Behavior in Multi-party Computation / Nikos Triandopoulos
When Random Sampling Preserves Privacy / Kamalika Chaudhuri ; Nina Mishra
Tight Bounds for Unconditional Authentication Protocols in the Manual Channel and Shared Key Models / Moni Naor ; Gil Segev ; Adam Smith
Robust Fuzzy Extractors and Authenticated Key Agreement from Close Secrets / Yevgeniy Dodis ; Jonathan Katz ; Leonid Reyzin
On Forward-Secure Storage / Stefan Dziembowski
Construction of a Non-malleable Encryption Scheme from Any Semantically Secure One / Rafael Pass ; Abhi Shelat ; Vinod Vaikuntanathan
Anonymous Hierarchical Identity-Based Encryption (Without Random Oracles) / Xavier Boyen ; Brent Waters
Fast Algorithms for the Free Riders Problem in Broadcast Encryption / David P. Woodruff
The Number Field Sieve in the Medium Prime Case / Antoine Joux ; Reynald Lercier ; Nigel Smart ; Frederik Vercauteren
Inverting HFE Is Quasipolynomial / Louis Granboulan ; Jacques Stern
Cryptanalysis of 2R[superscript -] Schemes / Jean-Charles Faugere ; Ludovic Perret
Receipt-Free Universally-Verifiable Voting with Everlasting Privacy / Tal Moran
Cryptographic Protocols for Electronic Voting / David Wagner
Asymptotically Optimal Two-Round Perfectly Secure Message Transmission / Saurabh Agarwal ; Ronald Cramer ; Robbert de Haan
Random Selection with an Adversarial Majority / Ronen Gradwohl ; Salil Vadhan ; David Zuckerman
Oblivious Transfer and Linear Functions / Ivan B. Damgard ; Serge Fehr ; Louis Salvail ; Christian Schaffner
On Expected Constant-Round Protocols for Byzantine Agreement / Chiu-Yuen Koo
Robust Multiparty Computation with Linear Communication Complexity / Martin Hirt ; Jesper Buus Nielsen
On Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation / Yuval Ishai ; Eyal Kushilevitz ; Yehuda Lindell ; Erez Petrank
Scalable Secure Multiparty Computation / Ivan Damgard
Computations over Small Fields / Hao Chen
Automated Security Proofs with Sequences of Games / Bruno Blanchet ; David Pointcheval
On Robust Combiners for Private Information Retrieval and Other Primitives / Remo Meier ; Bartosz Przydatek
On the Impossibility of Efficiently Combining Collision Resistant Hash Functions / Dan Boneh
On the Higher Order Nonlinearities of Algebraic Immune Functions / Claude Carlet
New Proofs for NMAC and HMAC: Security without Collision-Resistance / Mihir Bellare
Author Index
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs / Elad Barkan ; Eli Biham ; Adi Shamir
On the Power of the Randomized Iterate / Iftach Haitner ; Danny Harnik ; Omer Reingold
Strengthening Digital Signatures Via Randomized Hashing / Shai Halevi ; Hugo Krawczyk
97.

電子ブック

EB
Serge Vaudenay, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
98.

電子ブック

EB
David Wagner, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
99.

電子ブック

EB
Petra Perner, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
100.

電子ブック

EB
Yannis Ioannidis, Christian Boehm, Klemens Boehm, Torsten Grust, Mike Hatzopoulos, Takeo Kanade, Alfons Kemper, Florian Matthes, Joachim W. Schmidt, Marc H. Scholl
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼