 上传我的文档
 下载
 收藏
粉丝量：95
免责声明：本站大部分文章出于提供更多信息与网友共享而转载文章，文章版权属于原创者。本人大部分资料均来自网络，只可学习交流使用。 本人如有侵犯作者权益，请作者联系本人删除。本人不承担任何法律责任。微信：xinxin3698888
 下载此文档
Time Series Analysis by State Space Methods, Second Edition
下载积分：3500
内容提示：Time Series Analysis by State Space Methods, Second Edition
文档格式：PDF|
浏览次数：11|
上传日期： 00:08:50|
文档星级：
全文阅读已结束，如果下载本文需要使用
 3500 积分
下载此文档
该用户还上传了这些文档
Time Series Analysis by State Space Methods, Sec
关注微信公众号Brief product description
Latest release is 1.3.0.2
SpaceSniffer is a freeWare (donations are welcome)
and portable tool application that lets you understand how folders
and files are structured on your disks. By using a
visualization layout, you have immediate perception of where big folders
and files are placed on your devices.
concept was invented by
who kindly permitted the use of his concept into this tool.
Start a scan process and see the overall situation. Bigger are the elements
on the view, bigger are folders and files on your disk. You need more detail
on a big folder? Just single click on it. The selected element will
be detailed with its content.
Need more and more detail? Keep selecting elements and they'll discover
their secrets to you. Need a larger view of a small folder?
Then double click on it, and it'll zoom to the full extent of the view.
If you need to understand why no more free space is left on media,
keep following bigger elements. Maybe you want to focus only on particular
file types... ok. Just type the file type on the filter field
(example: *.jpg) and press enter. The view will react and show you only
JPEG files.
Want to exclude files? Then type a starting pipe before the
filter (example: |*.jpg) and press enter. The view will show everything
but JPEG files.
If you want to keep track of examined files you can tag them.
Four colors are available. Just hover the mouse on a file and press
CTRL+1 to tag it red. There are keys also for yellow,
green and blue tagging. Use them as you wish. You can also filter
on tags (example: :red will show only red tagges files,
:all will show all tagged files and so on). You can also
exclude tagged files (example: |:red will exclude all red
tagged files)
Want to know if you have old files? Type the condition in the filter
field (example: &2years) and the view will react accordingly.
You can also filter on file size, file date and combine
all filters(example: *.&1&3|:yellow)
Once you have your result, you can produce a textual report by using
the embedded Export Module. You can even customize the report
layout to match your needs.
Please have a look at .
Download .
Enjoy everywhere!美食大战老鼠,美食大战老鼠小游戏,4399小游戏 www.4399.com
分类：&&|&&大小：1.00M&&|&&日期：
请记住本站网址 ，点击，方便下次再玩。
收集美食，消灭老鼠，拯救提拉米苏姐姐
请记住本站网址 ，点击，方便下次再玩。 《美食大战老鼠》小游戏由4399用户提供。
相关游戏推荐
精彩专题推荐
12345678910
12345678910
文明办网文明上网举报电话：&|&举报邮箱：&||
Copyright & 2004 -
4399.com All Rights Reserved. 四三九九网络股份有限公司&版权所有Journal of the ACM
Table of contents for issues of Journal of the ACM
Last update:
Sat Jul 29 16:39:26 MDT 2017
&&&&&&&&&&&&&&
Tao Jiang and
Ming Li and
Paul Vit&nyi
complexity of Shellsort
. . . . . . . .
Bulk-Synchronous Parallel Multiplication
of Boolean Matrices
. . . . . . . . . .
Ruth Aylett
. . . . . . .
Franz Baader
Maria Paola Bonacina
Jim Blythe
Uncertainty
. . . . . . . . . . . . . .
Craig Boutilier
Decision Processes . . . . . . . . . . .
Alan Bundy
Paolo Ciancarini and
Robert Tolksdorf and
Fabio Vitali
Clark Elliott and
Jeff Rickel and
James Lester
Affective Computing: An Exploratory
. . . . . . . . . . . . . . .
Rune M. Jensen and
Manuela M. Veloso
Specifying and Solving Planning Problems
for Synchronized Agents in
Non-deterministic Domains
. . . . . . .
Alon Y. Levy
Databases for Data Integration . . . . .
Carlos Martinho and
Isolda's Personalities . . . . . . . . .
Michael Mateas
Drama and Believable Agents
. . . . . .
Simon Parsons and
Ola Pettersson and
Alessandro Saffiotti and
Michael Wooldridge
Charles Petrie and
Sigrid Goldmann and
Andreas Raquet
Henry Prakken and
Giovanni Sartor
with Defeasible Priorities . . . . . . .
Alessandro Saffiotti
Autonomous Robots
. . . . . . . . . . .
Murray Shanahan
. . . . . .
Paul Tarau and
Veronica Dahl
Infrastructure for Internet Programming
Daniel Thalmann and
Hansrudi Noser
Intelligent Virtual Actors . . . . . . .
Yang Xiang
Inference in Dynamic Bayesian Network
. . . . . . . . . . . . . .
Bengt Jonsson and
Probabilistic May Testing
. . . . . . .
Annabelle K. McIver
Performance in Probabilistic Distributed
Algorithms . . . . . . . . . . . . . . .
Christel Baier and
Bettina Engelen
Probabilistic Lossy Channel Systems: An
Algorithmic Approach . . . . . . . . . .
Mari&lle Stoelinga and
Frits Vaandrager
. . . . . .
Marta Kwiatkowska and
Gethin Norman and
Roberto Segala and
Jeremy Sproston
Systems with Discrete Probability
Distributions
. . . . . . . . . . . . .
Vicky Hartonas-Garmhausen and
Sergio Campos and
Checking . . . . . . . . . . . . . . . .
Suzana Andova
Choice . . . . . . . . . . . . . . . . .
Manuel N&&ez
. . . . . . . . . . . . . . . .
Frits Vaandrager
Karl Lermer
Processes with Predicate Transformer
. . . . . . . . . . . . . . .
Lars Jenner and
Walter Vogler
. . . . . . . . . . . . . . . .
Karl Lermer and
Colin Fidge
Compilation
. . . . . . . . . . . . . .
Graham Clark and
Stephen Gilmore and
Jane Hillston
Henrik C. Bohnenkamp and
Boudewijn R. Haverkort
Process Algebra Models . . . . . . . . .
Holger Hermanns and
Markus Siegle
Process Algebras and Their BDD-Based
Implementation . . . . . . . . . . . . .
Moshe Y. Vardi
Checking: An Overview of the
Automata-Theoretic Approach
. . . . . .
Klaus Havelund and
Kim Guldstrand Larsen and
Controller Using the Real-Time Model
Checker UPPAAL . . . . . . . . . . . . .
Stavros Tripakis
Paul Z. Kolano
Using an Interactive Theorem Prover
Howard Bowman
H. Fusen and
A Parallel Implementation of the
Everglades Landscape Fire Model in
Networks of Workstations . . . . . . . .
P. Steenkiste
Adaptation Models for Network-Aware
Distributed Computations . . . . . . . .
L. Yerosheva and
P. M. Kogge
Prototyping Execution Models for HTMT
Petaflop Machine in Java . . . . . . . .
F. Silla and
Is It Worth the Flexibility Provided by
Irregular Topologies in Networks of
Workstations?
. . . . . . . . . . . . .
B. Caminero and
F. J. Quiles and
Y. Duato and
D. S. Love
Performance Evaluation of the Multimedia
Router with MPEG-2 Video Traffic . . . .
R. Canonico and
R. Cristaldi and
G. Iannello
A Scalable Flow Control Algorithm for
the Fast Messages Communication Library
H. V. Shah and
R. S. Madukkarumukumana
High Performance Sockets and RPC over
Virtual Interface (VI) Architecture
I. R. Philp and
Y.-L. Liong
The Scheduled Transfer (ST) Protocol . .
P. Watson and
S. Parastatidis
The NIP Parallel Object-Oriented
Computational Model
. . . . . . . . . .
M. Herlihy
The Aleph Toolkit: Support for Scalable
Distributed Shared Objects . . . . . . .
D. R. Kumar and
W. A. Najjar
Combining Adaptive and Deterministic
Routing: Evaluation of a Hybrid Router
R. Casado and
F. J. Quiles and
J. L. Sanchez and
Deadlock-Free Routing in Irregular
Networks with Dynamic Reconfiguration
D. Brooks and
M. Martonosi
Implementing Application-Specific
Cache-Coherence Protocols in
Configurable Hardware
. . . . . . . . .
W. Karl and
M. Leberecht and
Supporting Shared Memory and Message
Passing on Clusters of PCs with a SMiLE
M. Jacunski and
V. Moorthy and
P. P. Ware and
Low Latency Message-Passing for
Reflective Memory Networks . . . . . . .
V. Swarup and
J. T. Fabrega
Trust: Benefits, Models, and Mechanisms
Protection in Programming-Language
Translations . . . . . . . . . . . . . .
M. Ancona and
W. Cazzola and
E. B. Fernandez
Reflective Authorization Systems:
Possibilities, Benefits, and Drawbacks
L. Cardelli
Abstractions for Mobile Computations . .
M. Hennessey and
Type-Safe Execution of Mobile Agents in
Anonymous Networks . . . . . . . . . . .
R. De Nicola and
G. Ferrari and
R. Pugliese
Types as Specifications of Access
Policies . . . . . . . . . . . . . . . .
X. Leroy and
Security Properties of Typed Applets . .
M. Blaze and
J. Feigenbaum and
J. Ioannidis and
A. D. Keromytis
The Role of Trust Management in
Distributed Systems Security . . . . . .
Distributed Access-Rights Management
with Delegation Certificates . . . . . .
A View-Based Access Control Model for
. . . . . . . . . . . . . . . . .
C. Tschudin
Apoptosis --- the Programmed Death of
Distributed Services . . . . . . . . . .
A Sanctuary for Mobile Agents
Mutual Protection of Co-operating Agents
Access Control in Configurable Systems
R. Grimm and
B. N. Bershad
Providing Policy-Neutral and Transparent
Access Control in Extensible Systems . .
M. B. Jones
Interposition Agents: Transparently
Interposing User Code at the System
. . . . . . . . . . . . . . .
T. Von Eicken and
C.-C. Chang and
G. Czajkowski and
C. Hawblitzel
J-Kernel: A Capability-Based Operating
System for Java
. . . . . . . . . . . .
L. Van Doorn and
M. Abadi and
M. Burrows and
Secure Network Objects . . . . . . . . .
G. Edjlali and
A. Acharya and
V. Chaudhary
History-Based Access Control for Mobile
Code . . . . . . . . . . . . . . . . . .
D. S. Alexander and
W. A. Arbaugh and
A. D. Keromytis and
J. M. Smith
Security in Active Networks
. . . . . .
J. Hulaas and
A. Villazon and
Using Interfaces to Specify Access
Rights . . . . . . . . . . . . . . . . .
U. G. Wilhelm and
S. Staamann and
L. Buttyan
Introducing Trusted Third Parties to the
Mobile Agent Paradigm
. . . . . . . . .
Minoru Asada and
Manuela Veloso and
Milind Tambe and
Itsuki Noda and
Hiroaki Kitano and
Gerhard K. Kraetzschmar
. . . . . . . . .
Kim Binsted and
Hitoshi Matsubara and
Ian Frank and
Kumiko Tanaka-Ishii and
Itsuki Noda and
Hideyuki Nakashima and
K&iti Hasida
Dirk Voelz and
Elisabeth Andr& and
Gerd Herzog and
Thomas Rist
System . . . . . . . . . . . . . . . . .
Peter Stone and
Manuela Veloso and
Patrick Riley
Manuela Veloso and
Michael Bowling and
Sorin Achim and
Kwun Han and
Peter Stone
Team . . . . . . . . . . . . . . . . . .
J.-S. Gulmann and
W. Hatzack and
I. Herrmann and
The CS Freiburg Robotic Soccer Team:
Reliable Self-Localization, Multirobot
Sensor Integration, and Basic Soccer
Skills . . . . . . . . . . . . . . . . .
Jens-Steffen Gutmann and
Wolfgang Hatzack and
Immanuel Herrmann and
Bernhard Nebel and
Frank Rittinger and
Augustinus Topor and
Thilo Weigel and
Bruno Welsch
Reliable Self-localization, Multirobot
Sensor Integration, and Basic Soccer
Skills . . . . . . . . . . . . . . . . .
Igor M. Verner
. . . . . . . . . . . . . . . . . .
Silvia Coradeschi and
Jacek Malec
Enjoyable Using the RoboCup Soccer
Simulation System
. . . . . . . . . . .
Masahiro Fujita and
Stephane Zrehen and
Hiroaki Kitano
Robot Challenge in Paris '98 . . . . . .
Henrik Hautop Lund and
Luigi Pagliarini
Kazuaki Maeda and
Akinori Kohketsu and
Tomoichi Takahashi
Centering in Soccer Simulation Games . .
K. Marda and
A. Kohketsu and
T. Takahashi
Ball-Receiving Skill Dependent on
Centering in Soccer Simulation Games . .
Jan Lubbers and
Rogier R. Spaans
Framework for Soccer Agents
. . . . . .
Paul Scerri and
Silvia Coradeschi and
Anders T&rne
Behavior Based Agents
. . . . . . . . .
Tomoichi Takahashi and
Tadashi Naruse
Detection --- Reviewing RoboCup 97 Teams
from Logfile . . . . . . . . . . . . . .
Kurt Driessens and
Nico Jacobs and
Nathalie Cossement and
Patrick Monsieurs and
Luc De Raedt
the KULRoT RoboCup Team
. . . . . . . .
Christoph G. Jung
the RoboCup Simulation . . . . . . . . .
Nobuhiro Ito and
Kouichi Nakagawa and
Xiaoyong Du and
Naohiro Ishii
Soccer Agents and NIT Stones 98
Stacy Marsella and
Jafar Adibi and
Yaser Al-Onaizan and
Ali Erdem and
Randall Hill and
Gal A. Kaminka and
Zhun Qiu and
Milind Tambe
Learning in RoboCup
. . . . . . . . . .
F. Tortcrolo and
A Hybrid Agent Model, Mixing Short Term
and Long Term Memory Abilities. An
Application to RoboCup Competition . . .
Fausto Torterolo and
Catherine Garbay
and Long Term Memory Abilities . . . . .
Peter Stone and
Manuela Veloso
Reinforcement Learning . . . . . . . . .
Eiji Uchibe and
Masateru Nakamura and
Minoru Asada
Multiple Mobile Robot Environment by
Co-evolution . . . . . . . . . . . . . .
Wei-Min Shen and
Jafar Adibi and
Rogelio Adobbati and
Srini Lanksham and
Hadi Moradi and
Behnam Salemi and
Sheila Tejada
Andrew R. Price and
Trevor Jones
Localization and Orientation Using
Omnidirectional Radial Signature
Analysis . . . . . . . . . . . . . . . .
Sho'ji Suzuki and
Tatsunori Kato and
Hiroshi Ishizuka and
Yasutake Takahashi and
Eiji Uchibe and
Minoru Asada
in RoboCup for a Real Robot with an
Omnidirectional Vision System and the
Team Description of Osaka University
``Trackies'' . . . . . . . . . . . . . .
Takayuki Nakamura and
Kazunori Terada and
Atsushi Shibata and
Hideaki Takeda
Multisensor-Based Mobile Robot with
Visual Learning Capability . . . . . . .
Andhill-98: A RoboCup Team which
Reinforces Positioning with Observation
David Andre and
Astro Teller
. . . . . .
Magnus Boman and
Helena &Aberg and
&Asa &Ahman and
Jens Andreasen and
Mats Danielson and
Carl-Gustaf Jansson and
Johan Kummeneje and
Harko Verhagen and
Johan Walter
in Synthetic Soccer
. . . . . . . . . .
P. Gugenberger and
J. Wendler and
K. Schroeter and
H.-D. Burkhard
. . . . . . .
Harukazu Igarashi and
Shougo Kosue and
Masatoshi Miyahara
Communication between Players --- Team
Descriptions of Team Miya2 . . . . . . .
A. C. P. L. Da Costa and
G. Bittencourt
UFSC-team: A Cognitive Multi-Agent
Approach to the RoboCup'98 Simulator
League . . . . . . . . . . . . . . . . .
Takeshi Matsumura
. . . . . . .
E. Pagello and
F. Montesello and
F. Garelli and
F. Candon and
P. Chioetto and
S. Griggio
Information in PaSo-Team'98
. . . . . .
Daniel Polani and
Stefan Weber and
Thomas Uthmann
Agents: Description for the Team MAINZ
ROLLING BRAINS Simulation League of
RoboCup'98 . . . . . . . . . . . . . . .
Jukka Riekki and
Jussi Pajala and
Antti Tikanm&ki and
Juha R&ning
in Parallel
. . . . . . . . . . . . . .
Y. Zhang and
A. K. Mackworth
A Multi-level Constraint-Based
Controller for the Dynamo98 Robot Soccer
Team . . . . . . . . . . . . . . . . . .
Andreas Birk and
Thomas Walle and
Tony Belpaeme and
Johan Parent and
Tom De Vlaminck and
Holger Kenn
AI-Lab . . . . . . . . . . . . . . . . .
CHPS Glory --- Soccer Robots with Local
Intelligence . . . . . . . . . . . . . .
A. Rowstron and
B. Bradshaw and
D. Crosby and
T. Edmonds and
S. Hodges and
A. Hopper and
S. Lloyd and
J. Wang and
Team Description . . . . . . . . . . . .
Gordon Wyeth and
Brett Browning and
Ashley Tews
Description for RoboCup '98
. . . . . .
Pedro Apar&cio and
Rodrigo Ventura and
Pedro Lima and
Carlos Pinto-Ferreira
. . . . . .
E. Gonz&lez and
H. Loaiza and
A. Su&rez and
. . . . . . . . . . . . . . . .
Michael Klupsch and
Maximilian L&ckenhaus and
Christoph Zierl and
Ivan Laptev and
Thorsten Bandlow and
Marc Grimme and
Ignaz Kellerer and
Fabian Schwarzer
Description
. . . . . . . . . . . . . .
Gerhard K. Kraetzschmar and
Stefan Enderle and
Stefan Sablatn&g and
Thomas Bo& and
Mark Dettinger and
Hans Braxmayer and
Heiko Folkerts and
Markus Klingler and
Dominik Maschke and
Gerd Mayer and
Markus M&ller and
Alexander Neubeck and
Marcus Ritter and
Heiner Seidl and
Robert W&rz and
G&nther Palm
Sensorimotor Integration, Agency,
Learning, and Multiagent Cooperation . .
Daniele Nardi and
Giorgio Clemente and
Enrico Pagello
. . . . . . . . .
Michael Plagge and
Boris Diebold and
Richard G&nther and
J&rn Ihlenburg and
Dirk Jung and
Keyan Zahedi and
Andreas Zell
the University of Tuebingen for
RoboCup'98 . . . . . . . . . . . . . . .
A. Sicgberg and
A. Bredenfeld and
H. Guenther and
H. U. Kobialka
Team Description of the GMD RoboCup-Team
A. Siegberg and
A. Bredenfeld and
H. Guenther and
H. U. Kobialka and
B. Klaassen and
U. Licht and
K. L. Paap and
P. G. Ploeger and
H. Streich and
J. Vollmer and
J. Wilberg and
R. Worst and
T. Christaller
K. Yokota and
K. Ozaki and
N. Watanabe and
A. Matsumoto and
D. Koyama and
T. Ishikawa and
K. Kawabata and
H. Kaetsu and
Based on Communication . . . . . . . . .
Vincent Hugel and
Patrick Bonnin and
Jean Christophe Bouramou& and
Didier Solheid and
Pierre Blazevic and
Dominique Duhaut
Vision System and Supervision Modules
Manuela Veloso and
William Uther
Noriaki Mitsunaga and
Minoru Asada and
Chizuko Mishima
. . . . . . . . . . . . . .
C. Capellmann and
H. Dibold and
Using High-Level Petri Nets in the Field
of Intelligent Networks
. . . . . . . .
C. Lakos and
The Incremental Modelling of the Z39.50
Protocol with Object Petri Nets
G. Wheeler
The Modelling and Analysis of IEEE
802.6's Configuration Control Protocol
with Coloured Petri Nets . . . . . . . .
A. Ben Mnaouer and
T. Sekiguchi and
Y. Fujii and
Coloured Petri Nets Based Modelling and
Simulation of the Static and Dynamic
Allocation Policies of the Asynchronous
Bandwidth in the Fieldbus Protocol . . .
H.-J. Moon and
S. Y. Moon and
W. H. Kwon
Parameter Region for the Proper
Operation of the IEEE 802.2 LLC Type 3
Protocol: A Petri Net Approach . . . . .
M. Reid and
W. M. Zuberek
Timed Petri Net Models of ATM LANs . . .
B. R. Haverkort
Performance Evaluation of Polling-Based
Communication Systems Using SPNs . . . .
B. R. Haverkort and
H. P. Idzenga
Structural Decomposition and Serial
Solution of SPN Models of the ATM GAUSS
Switch . . . . . . . . . . . . . . . . .
H. De Meer and
O.-R. Duesterhoeft and
S. Fischer
COSTPN for Modelling and Control of
Telecommunication Systems
. . . . . . .
G. Franceschinis and
A. Fumagalli and
A. Silinguelli
Stochastic Coloured Petri Net Models for
Rainbow Optical Networks . . . . . . . .
L. Augusteijn
Sorting Morphisms
. . . . . . . . . . .
R. Backhouse and
P. Jansson and
J. Jeuring and
L. Meertens
Generic Programming --- An Introduction
O. De Moor and
G. Sittampalam
Generic Program Transformation . . . . .
S. D. Swierstra and
P. R. A. Alcocer and
J. Saraiva
Designing and Implementing Combinator
. . . . . . . . . . . . . . .
Using MetaML: A Staged Programming
Language . . . . . . . . . . . . . . . .
L. Augustsson
Cayenne --- A Language with Dependent
. . . . . . . . . . . . . . . . .
D. Leijen and
E. Meijer and
Haskell as an Automation Controller
W. Kloesgen
Applications and research problems of
subgroup mining
. . . . . . . . . . . .
Y. Kodratoff
Knowledge discovery in texts: A
definition and applications
. . . . . .
R. A. Meersman
Semantic ontology tools in IS design . .
V. S. Subrahmanian
Heterogeneous agent systems
. . . . . .
G. Wiederhold
Information systems that really support
decision-making
. . . . . . . . . . . .
A class of stratified programs in
autoepistemic logic of knowledge and
belief . . . . . . . . . . . . . . . . .
A. Giordana and
On-line estimation of matching
complexity in first order logic
C.-M. Wu and
Implementing prioritized logic
programming
. . . . . . . . . . . . . .
Extending description logics with
generalized quantification . . . . . . .
F. Esposito and
D. Malerba and
F. A. Lisi
Machine learning for intelligent
document processing: The WISDOM system
A. H. Alsaffar and
J. S. Deogun and
V. V. Raghavan and
Concept based retrieval by minimal term
sets . . . . . . . . . . . . . . . . . .
P. Lambrix and
N. Shahmehri and
S. Jacobsen
Querying document bases by content,
structure and properties . . . . . . . .
F. Sebastiani
Total knowledge and partial knowledge in
logical models of information retrieval
S. M. Deen and
C. A. Johnson
Towards a theoretical foundation for
cooperating knowledge based systems
B. C. Desai and
R. Shinghal and
N. Shayan and
CINDI: A system for cataloguing,
searching, and annotating electronic
documents in digital libraries . . . . .
S. Ohsuga and
Externalization of human idea and
problem description for automatic
programming
. . . . . . . . . . . . . .
B. Predki and
Rough set based data exploration using
ROSE system
. . . . . . . . . . . . . .
D. Pacholczyk
Towards an intelligent system dealing
with nuanced information expressed in
affirmative or negative forms
Logic programs for intelligent Web
search . . . . . . . . . . . . . . . . .
R. Basili and
M. Di Nanni and
M. T. Pazienza
Representing document content via an
object-oriented paradigm . . . . . . . .
G. Semeraro and
M. F. Costabile and
F. Esposito and
N. Fanizzi
A learning server for inducing user
classification rules in the digital
library service
. . . . . . . . . . . .
A better fitness measure of a
text-document for a given set of
keywords . . . . . . . . . . . . . . . .
G. P. Zarri and
E. Bertino and
B. Black and
A. Brasher
CONCERTO, an environment for the
`intelligent' indexing, querying and
retrieval of digital documents . . . . .
H. Wang and
H. S. Nguyen
Text classification using lattice
. . . . . . . . . . . . . . . .
M. Merzbacher
Discovering semantic proximity for Web
. . . . . . . . . . . . . . . . .
A declarative language bias for
levelwise search of first-order
regularities . . . . . . . . . . . . . .
P. Ejdys and
The more we learn the less we know? On
inductive learning from examples . . . .
P. Doherty and
W. Lukaszewicz and
E. Madalinska-Bugaj
Computing MPMA updates using Dijkstra's
. . . . . . . . . . . . . . .
M. Mukaidono
Several extensions of truth values in
fuzzy logic
. . . . . . . . . . . . . .
R. Bejar and
Phase transitions in the regular random
$3$-SAT problem
. . . . . . . . . . . .
L. Brisoux and
E. Gregoire and
Improving backtrack search for SAT by
means of redundancy
. . . . . . . . . .
H. S. Nguyen and
S. H. Nguyen and
A. Skowron
Decomposition of task specification
problems . . . . . . . . . . . . . . . .
N. J. Cercone and
ORTES: The design of a real-time control
expert system
. . . . . . . . . . . . .
B. G. T. Lowden and
J. Robinson
A statistical approach to rule selection
in semantic query optimisation . . . . .
M.-S. Hacid and
C. Rigotti
Representing and reasoning on conceptual
queries over image databases . . . . . .
S. Tsumoto
Knowledge discovery in clinical
databases --- An experiment with rule
induction and statistics . . . . . . . .
M. Michalewicz and
M. A. Klopotek and
S. T. Wierzchon
Reasoning and acquisition of knowledge
in a system for hand wound diagnosis and
. . . . . . . . . . . . . . .
A. Wieczorkowska
Rough Sets as a tool for audio signal
classification . . . . . . . . . . . . .
D. Brindle and
Experiments with rough sets approach to
speech recognition . . . . . . . . . . .
N. Abe and
K. Tanaka and
A system for understanding a mechanical
assembly instruction manual using
virtual space
. . . . . . . . . . . . .
W. Skarbek
Perceptual convergence of discrete
clamped fractal operator . . . . . . . .
W. Skarbek and
A. Pietrowcew and
Modified Oja-RLS algorithm ---
stochastic convergence analysis and
application for image compression
K. A. Kaufman and
R. S. Michalski
Learning from inconsistent and noisy
data: The AQ18 approach
. . . . . . . .
J. J. Zhang and
N. J. Cercone and
H. J. Hamilton
Learning English grapheme segmentation
using the iterated version space
. . . . . . . . . . . . . . .
L. Iwanska and
N. Mata and
Fully automatic acquisition of taxonomic
knowledge from large corpora of texts:
Limited-syntax knowledge representation
system based on natural language . . . .
A fuzzy measure of similarity for
instance-based learning
. . . . . . . .
R. Susmaga
Computation of minimal cost reducts
J. Stepaniuk
Rough set data mining of diabetes data
D. Michaut and
P. Baptiste
Selection of a relevant feature subset
for induction tasks
. . . . . . . . . .
J. Calmer and
P. Kullmann
A data structure for subsumption-based
tabling in top-down resolution engines
for data-intensive logic applications
M. A. Orgun
Modelling and reasoning about
multi-dimensional information
M. A. Klopotek and
S. T. Wierzchon
An interpretation for the conditional
belief function in the theory of
evidence . . . . . . . . . . . . . . . .
L. M. Sztandera and
C. Bock and
M. Trachtman and
Artificial neural networks aid the
design of non-carcinogenic azo dyes
K. De Jong
Evolving in a changing world . . . . . .
C. Anglano and
A. Giordana and
G. Lo Bello
High-performance data mining on networks
of workstations
. . . . . . . . . . . .
J. J. Mulawka and
P. Wasiewicz and
Virus-enhanced genetic algorithms
inspired by DNA computing
. . . . . . .
K. Trojanowski and
Z. Michalewicz
Evolutionary approach to non-stationary
optimization tasks . . . . . . . . . . .
J. Cwik and
J. Koronacki and
J. M. Zytkow
On discovering functional relationships
when observations are noisy: $2$D case
J. F. Peters and
L. Han and
S. Ramanna
Approximate time rough software cost
decision system: Multicriteria
decision-making approach . . . . . . . .
M. A. De Almeida and
Machine learning method for software
quality model building . . . . . . . . .
S. H. Nguyen
Discovery of generalized patterns
M. Kryszkiewicz and
H. Rybinski
Incomplete database issues for
representative association rules . . . .
S. Puuronen and
V. Terziyan and
A. Tsymbal
A dynamic integration algorithm for an
ensemble of classifiers
. . . . . . . .
G. Fiol-Roig
UIB-IK: A computer system for decision
trees induction
. . . . . . . . . . . .
J. W. Grzymala-Busse and
L. K. Goodwin and
Preterm birth risk assessed by a new
method of classification using selective
partial matching . . . . . . . . . . . .
J. Dong and
N. Zhong and
Probabilistic rough induction: The
GDT-RS methodology and algorithms
C. H. M. Van Kemenade and
Cluster evolution strategies for
constrained numerical optimization . . .
F. Mansanne and
F. Carrere and
A. Ehinger and
M. Schoenauer
Evolutionary algorithms as fitness
function debuggers . . . . . . . . . . .
M. Schmidt
Solving real-life time-tabling problems
R. Jonsson
On measures of search features . . . . .
J. Jelonek and
M. Komosinski
Genetic algorithms in constructive
. . . . . . . . . . . . . . .
Karen Aardal and
Robert E. Bixby and
Cor A. J. Hurkens and
Arjen K. Lenstra and
Job W. Smeltink
Towards a Solution of the
Cornuejols-Dawande Instances . . . . . .
Alexander A. Ageev and
Maxim I. Sviridenko
Coverage and Max Cut with Given Sizes of
. . . . . . . . . . . . . . . . .
Ravindra K. Ahuja and
Dorit S. Hochbaum and
James B. Orlin
Network Flow Problem . . . . . . . . . .
Edoardo Amaldi and
Marc E. Pfetsch and
Leslie E. Trotter, Jr.
Properties of the Maximum Feasible
Subsystem Problem
. . . . . . . . . . .
A. Atamtuerk and
G. L. Nemhauser and
M. W. P. Savelsbergh
Valid Inequalities for Problems with
Additive Variable Upper Bounds . . . . .
Alper Atamt&rk and
George L. Nemhauser and
Martin W. P. Savelsbergh
Additive Variable Upper Bounds . . . . .
Mao-cheng Cai and
Xiaotie Deng and
Wenan Zang
Sets . . . . . . . . . . . . . . . . . .
Alberto Caprara and
Matteo Fischetti and
Adam N. Letchford
mod- $k$ Cuts
. . . . . . . . . . . . .
Fabi&n A. Chudak and
David P. Williamson
Capacitated Facility Location Problems
William H. Cunningham and
Lawrence Tang
Programming
. . . . . . . . . . . . . .
Dragos Cvetkovic and
Mirjana Cangalovic and
Vera Kovacevic-Vujcic
Symmetric Traveling Salesman Problem . .
Friedrich Eisenbrand and
Andreas S. Schulz
in the $ 0 / 1 $-Cube
. . . . . . . . .
Lisa Fleischer
Piecewise-Constant Capacities
Jean Fonlupt and
Ali Ridha Mahjoub
Connected Spanning Subgraph Polytope . .
Andr&s Frank and
Tibor Jord&n and
Zolt&n Szigeti
Conditions . . . . . . . . . . . . . . .
Andr&s Frank and
Zolt&n Kir&ly
Orientations . . . . . . . . . . . . . .
Eran Halperin and
and Rounding Procedures for Semidefinite
Programs . . . . . . . . . . . . . . . .
Mark Hartmann and
Maurice Queyranne and
Yaoguang Wang
Inequalities . . . . . . . . . . . . . .
David Hartvigsen
Bipartite Graphs . . . . . . . . . . . .
Christoph Helmberg
. . . . . . . . . . .
Satoru Iwata and
S. Thomas McCormick and
Maiko Shigeno
Algorithm for the Submodular Flow
. . . . . . . . . . . . . . . .
Tibor Jord&n
Kenji Kashiwabara and
Masataka Nakamura and
Takashi Takabatake
Certain Submodular Functions Defined on
$ 012 $-Vectors
. . . . . . . . . . . .
Gunnar W. Klau and
Petra Mutzel
Drawings . . . . . . . . . . . . . . . .
Philip Klein and
Neal Young
Dantzig-Wolfe Optimization and
Packing-Covering Approximation
Algorithms . . . . . . . . . . . . . . .
Stavros G. Kolliopoulos and
Clifford Stein
Algorithms for Single-Source
Unsplittable Flow
. . . . . . . . . . .
Vardges Melkonian and
&Eva Tardos
Network Design Problem . . . . . . . . .
Petra Mutzel and
Ren& Weiskircher
Embeddings of a Planar Graph . . . . . .
Hiroshi Nagamochi and
Toshihide Ibaraki
$3$-Way and $4$-Way Cuts . . . . . . . .
John Noga and
Steve Seiden
. . . . . . . . . . . . . . . . .
Andr&s Seb&
. . . . . . . . . . . . . . .
An Introduction to Empty Lattice
. . . . . . . . . . . . . . .
Zolt&n Szigeti
Chung-Piaw Teo and
Jay Sethuraman and
Wee-Peng Tan
Revisited: Strategic Issues and
Applications . . . . . . . . . . . . . .
Eduardo Uchoa and
Marcus Poggi de Arag&o
Trees: Polyhedra and Branch-and-Cut
F. S. C. Da Silva
Formalisations of Uncertain Reasoning
N. R. Jennings
Agent-Oriented Software Engineering
I. H. Osman
A Unified-Metaheuristic Framework
S.-L. Wang and
A Fuzzy Knowledge Representation and
Acquisition Scheme for Diagnostic
. . . . . . . . . . . . . . . .
G. Y. C. Wong and
H. W. Chun
Modeling Fuzzy Sets Using
Object-Oriented Techniques . . . . . . .
H. Zreak and
M. Alwan and
M. Khaddour
A Fuzzy Approach to Map Building . . . .
D. Pacholczyk
Towards an Affirmative Interpretation of
Linguistically Denied Fuzzy Properties
in Knowledge-Based Systems . . . . . . .
R. Sendelj and
V. Devedzic
Representational Hierarchy of Fuzzy
Logic Concepts in the OBOA Model . . . .
H.-K. Fan and
C. Chen and
C.-M. Hong
Design of Fuzzy Sliding Controller Based
on Cerebellar Learning Model . . . . . .
T.-P. Hong and
T.-T. Wang
A New Fuzzy Flexible Flow-Shop Algorithm
for Continuous Fuzzy Domain
. . . . . .
Y. Dakroury and
A. A. El Al and
Testing the Performance of a Neural
Networks-Based Adaptive Call Admission
Controller with Multimedia Traffic . . .
D. Manrique and
J. Rios and
A. Vilarrasa
A Combined Neural Network and
Mathematical Morphology Method for
Computerized Detection of
Microcalcifications
. . . . . . . . . .
A. Martinez and
J. Castellanos and
C. Hernandez and
F. De Mingo
Study of Weight Importance in Neural
Networks Working With Colineal Variables
in Regression Problems . . . . . . . . .
G. Murray and
T. Hendtlass and
J. Podlena
The Parallel Path Artificial Micronet
A. Ezzat and
N. Inuzuka and
A Generation Method to Produce GA with
GP Capabilities for Signal Modeling
M. Rocha and
Preventing Premature Convergence to
Local Optima in Genetic Algorithms via
Random Offspring Generation
. . . . . .
M. El-Beltagy and
Using Self Organizing Maps and Genetic
Algorithms for Model Selection in
Multilevel Optimization
. . . . . . . .
F. Guillet and
P. Kuntz and
A Genetic Algorithm for Visualizing
Networks of Association Rules
S. Shazely and
H. Baraka and
A. Abdel-Wahab and
Genetic Algorithms in Solving Graph
Partitioning Problem . . . . . . . . . .
A. I. Baaleh and
A. F. Sakr
Application of Genetic Algorithms in
Power System Stabilizer Design . . . . .
E. B. Mansilla and
A. Mekaouche and
J. M. G. Guiu
A Study of a Genetic Classifier System
Based on the Pittsburgh Approach on a
Medical Domain . . . . . . . . . . . . .
C.-M. Chen and
C.-M. Hong and
A New Gradient-Based Search Method:
Grey-Gradient Search Method
. . . . . .
D. A. L. Piriyakumar and
An Improvised $ A* $ Algorithm for
Mobile Robots to Find the Optimal Path
in an Unknown Environment with Minimized
Search Efforts . . . . . . . . . . . . .
A. R. Appas and
A. M. Darwish and
A. El-Dessouki and
S. I. Shaheen
Speeding the Vector Search Algorithm for
Regional Color Channel Features Based
Indexing and Retrieval Systems . . . . .
S. Kato and
S. Oono and
H. Seki and
Cost-Based Abduction Using Binary
Decision Diagrams
. . . . . . . . . . .
New Directions in Debugging Hardware
. . . . . . . . . . . . . . . .
G. Ligozat
Reasoning with Diagrams: The Semantics
. . . . . . . . . . . . . . .
H. Milde and
L. Hotz and
J. Kahl and
B. Neumann
MAD: A Real World Application of
Qualitative Model-Based Decision Tree
Generation for Diagnosis . . . . . . . .
F. Van Harmelen and
J. Van der Meer
WebMaster: Knowledge-Based Verification
of Web-Pages . . . . . . . . . . . . . .
G. Peter and
D. Roesner
Towards Task-Oriented User Support for
Failure Mode and Effects Analysis
P. G. Chander and
R. Shinghal and
T. Radhakrishnan
Incremental and Integrated Evaluation of
Rule-Based Systems . . . . . . . . . . .
M. H. Ibrahim and
F. A. Cummins
A Model of Reflection for Developing AI
Applications . . . . . . . . . . . . . .
C. M. Jonker and
A Compositional Process Control Model
and Its Application to Biochemical
. . . . . . . . . . . . . . .
C. M. Jonker and
R. Kremer and
P. Van Leeuwen and
Visual and Textual Knowledge
Representation in DESIRE . . . . . . . .
J. Santos and
L. Faria and
C. Ramos and
Z. A. Vale
Verification of Knowledge Based-Systems
for Power System Control Centers . . . .
M. K. Kundu and
Self-Crossover and Its Application to
the Traveling Salesman Problem . . . . .
N. Malheiro and
Z. A. Vale and
C. Ramos and
Enabling Client-Server Explanation
Facilities in a Real Time Expert System
P. Froehlich and
W. Nejdl and
M. Schroeder and
C. Damasio
Using Extended Logic Programming for
Alarm-Correlation in Cellular Phone
Networks . . . . . . . . . . . . . . . .
V. Y. Terziyan and
S. Puuronen
Knowledge Acquisition Based on Semantic
Balance of Internal and External
. . . . . . . . . . . . . . .
R. N. Smith and
W. J. Frawley
Alex: A Computer Aid for Treating
Alexithymia
. . . . . . . . . . . . . .
E. Kounalis and
Mechanizing Proofs of Integrity
Constraints in the Situation Calculus
Using Cases for Process Modelling: An
Example from the Water Supply Industry
E. Aiemeur and
K. Boudina
Financial Analysis by Case Based
. . . . . . . . . . . . . . .
S. Belanger and
M. A. Thibodeau and
E. Aiemeur
Training of the Learner in Criminal Law
by Case-Based Reasoning
. . . . . . . .
B. H. Ooi and
A. K. Ghose
Constraint-Based Agent Specification for
a Multi-Agent Stock Brokering System . .
C. Piccardi and
A Communication Language and the Design
of a Diagnosis Agent --- Towards a
Framework for Mobile Diagnosis Agents
C. M. Jonker and
Information Brokering Agents in
Intelligent Websites . . . . . . . . . .
T. Gavrilova and
A. Voinov and
I. Lescheva
Learner-Model Approach to Multi-agent
Intelligent Distance Learning System for
Program Testing
. . . . . . . . . . . .
B. Bauer and
A Multi-agent Solution for Advanced Call
. . . . . . . . . . . . . . . .
J. Cuena and
A Multi-agent System for Emergency
Management in Floods . . . . . . . . . .
K. S. Barber and
A. Goel and
D. Han and
Problem-Solving Frameworks for Sensible
Agents in an Electronic Market . . . . .
C. Bel and
W. Van Stokkum
A Model for Distributed Multi-agent
Traffic Control
. . . . . . . . . . . .
R. Gustavsson
Smart Equipment Creating New Electronic
Business Opportunities . . . . . . . . .
S. Aknine and
Agent Oriented Conceptual Modeling of
Parallel Workflow Systems
. . . . . . .
A Distributed Algorithm as Mobile Agents
F. S. C. Da Silva and
W. Weber Vasconcelos and
J. Agusti and
D. Robertson
Why Ontologies are Not Enough for
Knowledge Sharing
. . . . . . . . . . .
K. Mostafa and
S. I. Shaheen and
A. M. Darwish and
A Novel Approach for Detecting and
Correcting Segmentation and Recognition
Errors in Arabic OCR Systems . . . . . .
M. E. Ragab and
A. M. Darwish and
E. M. Abed and
S. I. Shaheen
Face Recognition Using Principal
Component Analysis Applied to an
Egyptian Face Database . . . . . . . . .
A. Verikas and
A. Gelzinis and
K. Malmqvist
Using Labeled and Unlabeled Data to
Train a Multilayer Perceptron for Color
Classification in Graphic Arts . . . . .
M. A. Rodrigues and
A Novel $3$D-$2$D Computer Vision
Algorithm for Automatic Inspection of
Filter Components
. . . . . . . . . . .
E. Zangrouba and
T. Hedidar and
A Robust and Unified Algorithm for
Indoor and Outdoor Scenes Based on
Region Segmentation
. . . . . . . . . .
F. Ramparany and
SAPIA: A Model Based Satellite Image
Interpretation System
. . . . . . . . .
S. Shah and
J. K. Aggarwal
Hierarchical Multifeature Integration
for Automatic Object Recognition in
Forward Looking Infrared Images
A. C. Kakas and
A. Michael
Air-Crew Scheduling through Abduction
R. Salem and
K. Bsaiees
Unfold/Fold Inductive Proof: An
Extension of a Folding Technique . . . .
B. J. Oommen and
T. D. Roberts
On Solving the Capacity Assignment
Problem Using Continuous Learning
Automata . . . . . . . . . . . . . . . .
M. Link and
M. Ishitobi
Supervised Parameter Optimization of a
Modular Machine Learning System
H. M. Sellami and
Non-supervised Rectangular
Classification of Binary Data
M. S. Hamdi and
Synthesizing Intelligent Behavior: A
Learning Paradigm
. . . . . . . . . . .
Z. J. Viharos and
L. Monostori
Automatic Input-output Configuration and
Generation of ANN-based Process Models
and Their Application in Machining . . .
S. M. Abu-Soud and
M. R. Tolun
DCL: A Disjunctive Learning Algorithm
for Rule Extraction
. . . . . . . . . .
Modeling and Simulating Breakdown
Situation in Telecommunication Networks
S. Puuronen and
H. Kaikova
Handling Context-Sensitive Temporal
Knowledge from Multiple Differently
Ranked Sources . . . . . . . . . . . . .
Introduction to Reasoning About Cyclic
. . . . . . . . . . . . . . .
H. W. Guesgen and
A Multiple-Platform Decentralized Route
Finding System . . . . . . . . . . . . .
H. Hamilton and
D. J. Randall
Heuristic Selection of
Aggregated-Temporal Data for Knowledge
. . . . . . . . . . . . . . .
D. Chitchian and
S. Sariyildiz and
H. Koppelaar
Architectural Knowledge Representation
Using the Galois Lattice Technique . . .
F. Capkovic
Automated Solving of the DEDS Control
Problems . . . . . . . . . . . . . . . .
J. Kahl and
L. Hotz and
H. Milde and
A More Efficient Knowledge
Representation for Allen's Algebra and
Point Algebra
. . . . . . . . . . . . .
H. H. Baraka and
S. Eid and
H. Kamal and
A. H. AbdelWahab
Unified Chromosome Representation for
Large Scale Problems . . . . . . . . . .
H. A. Hefny and
A. Abdel Wahab and
A. A. Bahnasawi and
S. I. Shaheen
A Novel Framework for Hybrid Intelligent
. . . . . . . . . . . . . . . .
H. W. Chun and
S. H. C. Chan
The Design of a Multi-tiered Bus
Timetabling System . . . . . . . . . . .
P. Van Bael and
M. Rijckaert
Scheduling of a Production Unit via
Critical Block Neighborhood Structures
N. Tomii and
L. J. Zhou and
N. Fukumura
An Algorithm for Station Shunting
Scheduling Problems Combining
Probabilistic Local Search and PERT
D. Popovic and
V. Devedzic
Designing an Intelligent Tutoring
Systems in the Domain of Formal
. . . . . . . . . . . . . . .
E. El-Sheikh and
J. Sticklen
Leveraging a Task-Specific Approach for
Intelligent Tutoring System Generation:
Comparing the Generic Tasks and KADS
Frameworks . . . . . . . . . . . . . . .
C. Schaefer and
An Object-Oriented Robot Model and Its
Integration into Flexible Manufacturing
. . . . . . . . . . . . . . . .
E. Gide and
F. Soliman
The Economic Benefits of Internet-Based
Business Operations in Manufacturing . .
A. Elkeran and
M. A. El-Baz
CNC Manufacturing of Complex Surfaces
Based on Solid Modeling
. . . . . . . .
T. El-Fouly and
N. Zerhoini and
M. Ferney and
A. El Moundi
Analysis of Manufacturing Lines Using a
Phase Space Algorithm: Open Line Case
B. Gargouri and
M. Jmaiel and
A. Ben Hamadou
A Formal Approach to Lingware
Development
. . . . . . . . . . . . . .
D. E. Herlea and
C. M. Jonker and
J. Treur and
N. J. E. Wijngaards
A Formal Knowledge Level Process Model
of Requirements Engineering
. . . . . .
J. Cakic and
V. Devedzic
Pieces of Mind: Component-Based Software
Development of Artificial Intelligence
T. T. El-Midany and
A. Elkeran and
H. T. Radwan
CNC Automatic Programming System for
Wire-EDM . . . . . . . . . . . . . . . .
R. Bergmann and
S. Breen and
M. Goeker and
Developing Industrial Case-Based
Reasoning Applications: The INRECA
Methodology
. . . . . . . . . . . . . .
Michael F. Insana and
Larry T. Cook and
Pawan Chaturvedi
Ultrasound Systems . . . . . . . . . . .
John C. Mosher and
Richard M. Leahy and
David W. Shattuck and
Sylvain Baillet
Expansions . . . . . . . . . . . . . . .
Bruno M. Carvalho and
Gabor T. Herman and
Samuel Matej and
Claudia Salzberg and
Eilat Vardi
Cardiography . . . . . . . . . . . . . .
Oskar M. Skrinjar and
James S. Duncan
Bart M. ter Haar Romeny and
Bart Titulaer and
Stiliyan Kalitzin and
Gabri&lle Scheffer and
Frank Broekmans and
Joes Staal and
Egbert te Velde
Analysis for Fertility Prospects with 3D
Ultrasound . . . . . . . . . . . . . . .
B. M. Ter Haar Romeny and
B. Titulaer and
S. Kalitzin and
G. Scheffer
Computer Assisted Human Follicle
Analysis for Fertility Prospects with
$3$D Ultrasound
. . . . . . . . . . . .
Graham Treece and
Richard Prager and
Andrew Gee and
Laurence Berman
Freehand $3$-D Ultrasound
. . . . . . .
George D. Stetten and
Stephen M. Pizer
of Objects via Populations of Medial
Primitives, with Application to Real
Time $3$D Echocardiography . . . . . . .
Thomas E. Nichols and
Jinyi Qi and
Richard M. Leahy
Using List Mode Data . . . . . . . . . .
Yanlin Guo and
Baba C. Vemuri
Recovery in Medical Images . . . . . . .
Liana M. Lorigo and
Olivier Faugeras and
W. E. L. Grimson and
Renaud Keriven and
Ron Kikinis and
Carl-Fredrik Westin
for MRA Segmentation . . . . . . . . . .
Dzung L. Pham and
Jerry L. Prince
for Three-Dimensional Magnetic Resonance
Images . . . . . . . . . . . . . . . . .
David Rey and
G&rard Subsol and
Herv& Delingette and
Nicholas Ayache
Evolving Processes in $3$D Medical
Images: Application to Multiple
. . . . . . . . . . . . . . .
Haili Chui and
James Rambo and
James Duncan and
Robert Schultz and
Anand Rangarajan
Structures via Robust $3$D Point
Matching . . . . . . . . . . . . . . . .
Marc Vaillant and
Christos Davatzikos
Features for Deformable Brain Image
Registration . . . . . . . . . . . . . .
A. Caunce and
C. J. Taylor
Sulcal Models
. . . . . . . . . . . . .
D. Louis Collins and
Alex P. Zijdenbos and
Wim F. C. Baar& and
Alan C. Evans
Structure Segmentation . . . . . . . . .
Gary E. Christensen
Transformations for Image Matching . . .
Hava Lester and
Simon R. Arridge and
Kalvis M. Jansons and
Louis Lemieux and
Joseph V. Hajnal and
Anjela Oatridge
Variable Viscosity Fluid Algorithm . . .
Karl Rohr and
Mike Fornefett and
H. Siegfried Stiehl
Elastic Registration: Integration of
Landmark Errors and Orientation
Attributes . . . . . . . . . . . . . . .
Jacob K. Laading and
Colin McCulloch and
Valen E. Johnson and
David R. Gilland and
Ronald J. Jaszczak
Model Applied to $4$D Cardiac SPECT Data
Nico Karssemeijer
Function of Spatial Scale for Detection
of Masses in Mammograms
. . . . . . . .
Frithjof Kruggel and
D. Yves von Cramon
Hemodynamic Response in Functional MRI
Elizabeth Bullitt and
Stephen Aylward and
Alan Liu and
Jeffrey Stone and
Suresh K. Mukherji and
Chris Coffey and
Guido Gerig and
Stephen M. Pizer
Intracerebral Vasculature from Segmented
MRA and Tests of Accuracy by Comparison
with X-ray Angiograms
. . . . . . . . .
T. F. Cootes and
C. Beeston and
G. J. Edwards and
C. J. Taylor
Using Active Appearance Models . . . . .
Michael L. Goris and
Robert L. Van Uitert, Jr.
Wall Motion in Gated Myocardial SPECT
. . . . . . . . . . . . . . . .
Wiro Niessen and
Alexander Montauban van Swijndregt and
Bernard Elsman and
Onno Wink and
Max Viergever and
Willem Mali
Pool MRA: Results in the Peripheral
Vasculature
. . . . . . . . . . . . . .
Jiantao Huang and
Amir A. Amini
Tagged MRI with a $4$D B-Spline Model
Xenophon Papademetris and
Pengcheng Shi and
Donald P. Dione and
Albert J. Sinusas and
R. Todd Constable and
James S. Duncan
Deformation from $3$D Image Sequences
Using Biomechanical Models . . . . . . .
Gregory J. Klein
Non-uniform Elastic Material Constraints
Martin Styner and
Thomas Coradi and
Guido Gerig
Measurement in a Non-Euclidean,
Curvilinear Space
. . . . . . . . . . .
Nicolae Duta and
Milan Sonka and
Anil K. Jain
Using Automatic Shape Clustering and
Procrustes Analysis
. . . . . . . . . .
A. D. Brett and
C. J. Taylor
Generation for Automated $3$D
Statistical Model Construction . . . . .
Polina Golland and
W. Eric L. Grimson and
Ron Kikinis
Topology Skeletons: Corpus Callosum
. . . . . . . . . . . . . . . . .
Michael E. Leventon and
Sarah F. F. Gibson
Using Constrained Elastic SurfaceNets
S. D. Olabarriaga and
A. W. M. Smeulders and
A. C. A. Marijnissen and
K. L. Vincken
Method for the Joint Space in
Osteoarthritic Ankles
. . . . . . . . .
Boudewijn P. F. Lelieveldt and
Milan Sonka and
Lizann Bolinger and
Thomas D. Scholz and
Hein W. M. Kayser and
Rob J. van der Geest and
Johan H. C. Reiber
Surfaces: Application to Automated
Localization of the Heart and Lungs in
Thoracic MR Images . . . . . . . . . . .
Reyer Zwiggelaar and
Christopher J. Taylor and
Caroline M. E. Rubin
Spiculated Lesions --- Signature
Normalisation and Model Data Aspects . .
M&rton Csapodi and
&Agota Petr&nyi and
Gy&rgy Liszka and
&Akos Zar&ndy and
Tam&s Roska
Detection of Clustered
Microcalcifications
. . . . . . . . . .
M. E. D&az and
Corneal Endotheliums by Means of a
Randomization Test . . . . . . . . . . .
M.-H. Horng and
Y.-N. Sun and
by Sonography
. . . . . . . . . . . . .
S. L. Hartmann and
M. H. Parks and
H. Schlack and
W. Riddle and
R. R. Price and
P. R. Martin and
B. M. Dawant
Cerebellum Volumes in Normal Subjects
and Chronic Alcoholics . . . . . . . . .
Arkadiusz Sitek and
Edward V. R. Di Bella and
Grant T. Gullberg
Dynamic SPECT Using a Factor Model . . .
I. Buvat and
S. Hapdey and
H. Benali and
A. Todd-Pokropek and
R. Di Paola
Multi-isotope Imaging in Nuclear
Medicine . . . . . . . . . . . . . . . .
Olivier Coulon and
Jean-Francois Mangin and
Jean-Baptiste Poline and
Vincent Frouin and
Isabelle Bloch
Maps . . . . . . . . . . . . . . . . . .
Colin Studholme and
R. Todd Constable and
James S. Duncan
in Non-rigid Alignment of EPI with
Conventional MRI . . . . . . . . . . . .
Jay B. West and
J. Michael Fitzpatrick
Error in Rigid-Body, Point-Based
Registration . . . . . . . . . . . . . .
Xu Meihe and
Rajagopalan Srinivasan and
Wieslaw L. Nowinski
Multi-modal Registration . . . . . . . .
R. Srinivasan and
W. L. Nowinski
A Fast Mutual Information Method for
Multi-modal Registration . . . . . . . .
Mark Holden and
Derek L. G. Hill and
Erika R. E. Denton and
Jo M. Jarosz and
Tim C. S. Cox and
David J. Hawkes
Serial MR Brain Image Registration . . .
Robert Rohling and
Andrew Gee and
Laurence Berman and
Graham Treece
Freehand $3$D Ultrasound . . . . . . . .
Geoffrey J. M. Parker and
Julia A. Schnabel and
Gareth J. Barker
Approximate Entropy --- A Local Measure
of Signal Intensity Irregularity . . . .
L&szl& G. Ny&l and
Jayaram K. Udupa
Normalization
. . . . . . . . . . . . .
Alexei M. C. Machado and
Mario F. M. Campos and
James C. Gee
Mapping between MRI Images . . . . . . .
M. Leissler and
M. Hemmje and
E. J. Neuhold
Supporting Image-Retrieval by Database
Driven Interactive $3$D
Information-Visualization
. . . . . . .
R. M. Bolle and
A. Hampapur
Video Libraries: From Ingest to
Distribution . . . . . . . . . . . . . .
S.-K. Chang and
G. Costagliola and
E. Jungert
Querying Multimedia Data Sources and
. . . . . . . . . . . . . . .
P. L. Stanchev
General Image Database Model . . . . . .
R. Chbeir and
Y. Amghar and
System for Medical Image Retrieval: The
MIMS Model . . . . . . . . . . . . . . .
J. Meddes and
E. McKenzie
An Agent-Based Visualisation
Architecture . . . . . . . . . . . . . .
A. Ferro and
G. Gallo and
Error-Tolerant Database for Structured
Images . . . . . . . . . . . . . . . . .
A. Soffer and
Query Processing and Optimization for
Pictorial Query Trees
. . . . . . . . .
K. Porkaew and
S. Mehrotra and
M. Ortega and
K. Chakrabarti
Similarity Search Using Multiple
Examples in MARS . . . . . . . . . . . .
D. Androutsos and
K. N. Plataniotis and
A. N. Venetsanopoulos
Excluding Specified Colors from Image
Queries Using a Multidimensional Query
. . . . . . . . . . . . . . . . .
C. A. Lindley and
A.-M. Vercoustre
Generic Viewer Interaction Semantics for
Dynamic Virtual Video Synthesis
H. Shiohara and
Y. Iizuka and
T. Maruyama and
Category Oriented Analysis for Visual
Data Mining
. . . . . . . . . . . . . .
N. Ikonomakis and
K. N. Plataniotis and
A. N. Venetsanopoulos
User Interaction in Region-Based Color
Image Segmentation . . . . . . . . . . .
G. Ciocca and
R. Schettini
Using a Relevance Feedback Mechanism to
Improve Content-Based Image Retrieval
J. Malki and
N. Boujemaa and
C. Nastar and
Region Queries without Segmentation for
Image Retrieval by Content . . . . . . .
E. Di Sciascio and
G. Mingolla and
M. Mongiello
Content-Based Image Retrieval over the
Web Using Query by Sketch and Relevance
Feedback . . . . . . . . . . . . . . . .
J. M. Buijs and
Visual Learning of Simple Semantics in
ImageScape . . . . . . . . . . . . . . .
S. L. Hibino
Task Analysis for Information
Visualization
. . . . . . . . . . . . .
J. Vendrig and
M. Worring and
A. W. M. Smeulders
Filter Image Browsing: Exploiting
Interaction in Image Retrieval . . . . .
A. Hiroike and
Y. Musha and
A. Sugimoto and
Visualization of Information Spaces to
Retrieve and Browse Image Data . . . . .
J. I. Helfman
Mandala: An Architecture for Using
Images to Access and Organize Web
Information
. . . . . . . . . . . . . .
C. Baldi and
C. Colombo and
A. Del Bimbo
A Compact and Retrieval-Oriented Video
Representation Using Mosaics . . . . . .
E. Paquet and
Crawling, Indexing and Retrieval of
Three-Dimensional Data on the Web in the
Framework of MPEG-7
. . . . . . . . . .
J.-R. Ohm and
F. Bunjamin and
W. Liebsch and
A Visual Search Engine for Distributed
Image and Video Database Retrieval
Applications . . . . . . . . . . . . . .
B. Eberman and
B. Fidler and
R. Iannucci and
Indexing Multimedia for the Internet . .
J. Cho and
S. Mukherjea
Crawling for Images on the WWW . . . . .
V. Konstantinou and
A. Psarrou
A Dynamic JAVA-Based Intelligent
Interface for Online Image Database
Searches . . . . . . . . . . . . . . . .
R. Fablet and
P. Bouthemy
Motion-Based Feature Extraction and
Ascendant Hierarchical Classification
for Video Indexing and Retrieval . . . .
A. Hanjalic and
R. L. Lagendijk and
J. Biemond
Automatically Segmenting Movies into
Logical Story Units
. . . . . . . . . .
J. M. Sanchez and
X. Binefa and
J. Vitria and
Local Color Analysis for Scene Break
Detection Applied to TV Commercials
Recognition
. . . . . . . . . . . . . .
P. Bouthemy and
C. Garcia and
R. Ronfard and
G. Tziritas
Scene Segmentation and Image Feature
Extraction for Video Indexing and
. . . . . . . . . . . . . . .
S. Fischer and
I. Rimac and
R. Steinmetz
Automatic Recognition of Camera Zooms
M. Gelgon and
P. Bouthemy and
A Region Tracking Method with Failure
Detection for an Interactive Video
Indexing Environment . . . . . . . . . .
S. M. Bhandarkar and
Y. S. Warke and
A. A. Khombhadia
Integrated Parsing of Compressed Video
W. Kong and
X. Ding and
Improvement of Shot Detection Using
Illumination Invariant Metric and
Dynamic Threshold Selection
. . . . . .
E. Ardizzone and
C. Lodato and
Temporal Segmentation of MPEG Video
. . . . . . . . . . . . . . .
H. B. Lu and
Y. J. Zhang
Detecting Abrupt Scene Change Using
Neural Network . . . . . . . . . . . . .
U. Srinivasan and
C. Lindley
Multi-Modal Feature-Map: An Approach to
Represent Digital Video Sequences
M. Liao and
Robust Tracking of Video Objects through
Topological Constraint on Homogeneous
Motion . . . . . . . . . . . . . . . . .
G. S. Iwerks and
The Spatial Spreadsheet
. . . . . . . .
M.-A. Aufure-Portier and
C. Bonhomme
A High Level Visual Language for Spatial
Data Management
. . . . . . . . . . . .
S. G. Nikolov and
D. R. Bull and
C. N. Canagarajah
A Global Graph Model of Image
Registration . . . . . . . . . . . . . .
S. Aksoy and
R. M. Haralick
A Graph-Theoretic Approach to Image
Database Retrieval . . . . . . . . . . .
C. Pan and
Motion Capture of Arm from a Monocular
Image Sequence . . . . . . . . . . . . .
I. Gagliardi and
Comparing Dictionaries for the Automatic
Generation of Hypertextual Links: A Case
. . . . . . . . . . . . . . . . .
Categorizing Visual Contents by Matching
Visual ``Keywords''
. . . . . . . . . .
M. Katsumoto and
S.-I. Iisaku
Design of the Presentation Language for
Distributed Hypermedia System
H. Rehatschek and
H. Mueller
A Generic Annotation Model for Video
. . . . . . . . . . . . . . .
H. Yang and
H. Kim and
Design and Implementation of COIRS (a
COncept-Based Image Retrieval System)
D. Sutanto and
C. H. C. Leung
Automatic Index Expansion for
Concept-Based Image Query
. . . . . . .
A. M. Tam and
C. H. C. Leung
Structured High-Level Indexing of Visual
Data Content . . . . . . . . . . . . . .
M. Palhang and
Feature Extraction: Issues, New
Features, and Symbolic Representation
S. Bres and
J.-M Jolion
Detection of Interest Points for Image
Indexation . . . . . . . . . . . . . . .
R. Alferez and
Y.-F. Wang
Highly Discriminative Invariant Features
for Image Matching . . . . . . . . . . .
X. Ding and
W. Kong and
Image Retrieval Using Schwarz
Representation of One-Dimensional
. . . . . . . . . . . . . . . .
S. Ayer and
M. Vetterli
Invariant Image Retrieval Using Wavelet
Maxima Moment
. . . . . . . . . . . . .
D. Chetverikov
Detecting Regular Structures for
Invariant Retrieval
. . . . . . . . . .
N. Nes and
M. C. D'Ornellas
Color Image Texture Indexing . . . . . .
S. M. Rahman and
G. C. Karmaker and
R. J. Bignall
Improving Image Classification Using
Extended Run Length Features . . . . . .
B. A. M. Schouten and
P. M. De Zeeuw
Feature Extraction Using Fractal Codes
T. Tuytelaars and
L. Van Gool
Content-Based Image Retrieval Based on
Local Affinely Invariant Regions . . . .
L. Jia and
L. Kitchen
A Framework for Object-Based Image
Retrieval at the Semantic Level
C. Carson and
M. Thomas and
S. Belongie and
J. M. Hellerstein
Blobworld: A System for Region-Based
Image Indexing and Retrieval . . . . . .
B. A. Maxwell
A Physics-Based Approach to Interactive
Segmentation . . . . . . . . . . . . . .
Assessment of Effectiveness of Content
Based Image Retrieval Systems
R. Egas and
D. P. Huijsmans and
M. Lew and
Adapting $k$-$d$ Trees to Visual
. . . . . . . . . . . . . . .
J. Laaksonen and
M. Koskela and
Content-Based Image Retrieval Using
Self-Organizing Maps . . . . . . . . . .
D. Squire and
W. Mueller and
H. Mueller
Relevance Feedback and Term Weighting
Schemes for Content-Based Image
. . . . . . . . . . . . . . .
D. Y.-M. Chan and
Genetic Algorithm for Weights Assignment
in Dissimilarity Function for Trademark
. . . . . . . . . . . . . . .
F. Mokhtarian and
Retrieval of Similar Shapes under Affine
. . . . . . . . . . . . . . .
J. Vleugels and
R. Veltkamp
Efficient Image Retrieval through
Vantage Objects
. . . . . . . . . . . .
L. Schomaker and
E. De Leau and
L. Vuurpijl
Using Pen-Based Outlines for
Object-Based Annotation and Image-Based
. . . . . . . . . . . . . . . .
T. Gevers and
A. W. M. Smeulders
Interactive Query Formulation for Object
Search . . . . . . . . . . . . . . . . .
L. Liu and
S. Sclaroff
Automatic Deformable Shape Segmentation
for Image Database Search Applications
G. Iannizzotto and
A Multiscale Turning Angle
Representation of Object Shapes for
Image Retrieval
. . . . . . . . . . . .
L. J. Latecki and
R. Lakaemper
Contour-Based Shape Similarity . . . . .
F. Banfi and
Computing Dissimilarity Between Hand
Drawn-Sketches and Digitized Images
K. Van Deemter
Document Generation and Picture
. . . . . . . . . . . . . . .
G. Van der Heijden and
G. Polder and
J. W. Van Eck
FLORES: A JAVA Based Image Database for
Ornamentals
. . . . . . . . . . . . . .
C. Saraceno and
M. Reiter and
P. Kammerer and
Pictorial Portrait Indexing Using
View-Based Eigen-Eyes
. . . . . . . . .
S. H. Jeong and
J. D. Yang and
H. J. Yang and
J. H. Choi
Image Retrieval Using Fuzzy Triples
S. Sahni and
B. C. Vemuri and
F. Chen and
Variable-Bit-Length Coding: An Effective
Coding Method
. . . . . . . . . . . . .
Z. Wang and
Z. Chi and
D. Deng and
Block-Constrained Fractal Coding Scheme
for Image Retrieval
. . . . . . . . . .
F. Chen and
S. Sahni and
B. C. Vemuri
Efficient Algorithms for Lossless
Compression of $2$D/$3$D Images
C. S. Pingali and
Y. Jean and
I. Carlbom
Lucent Vision: A System for Enhanced
Sports Viewing . . . . . . . . . . . . .
R. Fraile and
S. J. Maybank
Building $3$D Models of Vehicles for
Computer Vision
. . . . . . . . . . . .
A. Biancardi and
Integrating Applications into
Interactive Virtual Environments . . . .
B. Huet and
E. R. Hancock
Structural Sensitivity for Large-Scale
Line-Pattern Recognition . . . . . . . .
S. Bhonsle and
A. Gupta and
S. Santini and
M. Worring
Complex Visual Activity Recognition
Using a Temporally Ordered Database
S. Santini and
M. Worring and
E. Hunter and
V. Kouznetsova
Image Database Assisted Classification
Visual Processing System for Facial
Prediction . . . . . . . . . . . . . . .
P. Androutsos and
H. E. Ruda and
A. N. Venetsanopoulos
Semi-interactive Structure and Fault
Analysis of $ (111)7 x7 $ Silicon
Micrographs
. . . . . . . . . . . . . .
R. Huele and
J. N. Ciano
Using Wavelet Transforms to Match
Photographs of Individual Sperm Whales
Identified by Contour of the Trailing
Edge of the Fluke
. . . . . . . . . . .
R. Stiefelhagen and
M. Finke and
J. Yang and
From Gaze to Focus of Attention
G. Frederix and
E. J. Pauwels
Automatic Interpretation Based on Robust
Segmentation and Shape-Extraction
S. C. Y. Chan and
P. H. Lewis
A Pre-filter Enabling Fast Frontal Face
. . . . . . . . . . . . . . .
C. Demetrescu and
I. Finocchi
A Technique for Generating Graphical
Abstractions of Program Data Structures
R. Moreno and
R. E. Mayer
Visual Presentations in Multimedia
Learning: Conditions that Overload
Visual Working Memory
. . . . . . . . .
C. Shahabi and
A. E. Dashti and
C. Burns and
S. Ghandeharizadeh
Visualization of Spatial Neuroanatomical
Data . . . . . . . . . . . . . . . . . .
M. C. Erie and
C. H. Chu and
R. D. Sidman
Visualization of the Cortical Potential
Field by Medical Imaging Data Fusion . .
P. Janecek
Applying Visualization Research Towards
Design . . . . . . . . . . . . . . . . .
Supercomputing !D Looking Ahead
G. Lonsdale
An Introduction to DRAMA Project . . . .
H. A. G. Wijshoff
An Introduction to OCEANS Project
J. Labarta
An Introduction to NANOS Project . . . .
H. P. Zima
An Introduction to HPF+ Project
P. F. Fluekiger and
S. Portmann and
H. P. Luethi
Synchronous Communication of Molecular
and Electronic Structure Information in
a Distributed Computing Environment
Profile-Based Selection of Load Value
and Address Predictors . . . . . . . . .
K. W. Cameron and
Y. Luo and
J. Scharzmeier
Instruction-Level Microprocessor
Modeling of Scientific Applications
O. Hammami
Neural Network Classifiers Execution on
Superscalar Microprocessors
. . . . . .
Y. Kanoh and
M. Nakamura and
T. Hirose and
Message Passing Communication in a
Parallel Computer Cenju-4
. . . . . . .
S. Ryan and
J. N. Amaral and
G. Gao and
Coping with very High Latencies in
Petaflop Computer Systems
. . . . . . .
Parallelization via Constrained Storage
Mapping Optimization . . . . . . . . . .
K. Kusano and
A Comparison of Automatic Parallelizing
Compiler and Improvements by Compiler
Directives . . . . . . . . . . . . . . .
M. Voss and
R. Eigenmann
Dynamically Adaptive Parallel Programs
T. Kisuki and
P. M. W. Knijnenburg and
M. F. P. O'Boyle and
A Feasibility Study in Iterative
Compilation
. . . . . . . . . . . . . .
H. Saito and
N. Stavrakos and
C. Polychronopoulos
Multithreading Runtime Support for Loop
and Functional Parallelism . . . . . . .
A. Imparato and
M. Giordano and
M. M. Furnari
Parallelization and Vectorization
Effects on a Code Simulating a Vitreous
Lattice Model with Constrained Dynamics
F. Xiao and
T. Ebisuzaki
Multi-phase Hydrodynamic Simulations on
Parallel Computer
. . . . . . . . . . .
F. Munz and
T. Ludwig and
S. Ziegler and
P. Bartenstein
Kinetic Analysis of Functional Images:
The Case for a Practical Approach to
Performance Prediction . . . . . . . . .
A. Uejima and
K. Yamazaki
Parallel Radiosity: Evaluation of
Parallel Form Factor Calculations and a
Static Load Balancing Algorithm
M. Miki and
T. Hiroyasu and
Parallel Distributed Optimization by
Resource Addition and Reduction
O. Schenk and
K. Gaertner and
W. Fichtner
Application of Parallel Sparse Direct
Methods in Semiconductor Device and
Process Simulation . . . . . . . . . . .
Y. Akiyama and
K. Onizuka and
T. Noguchi and
Biological- and Chemical-Parallel
Applications on a PC Cluster . . . . . .
A. Chowdhury and
O. Frieder
Unnoticeable Jitter in ATM Workstation
Configurations . . . . . . . . . . . . .
H. Gobioff and
D. Nagle and
Integrity and Performance in Network
Attached Storage . . . . . . . . . . . .
C. Kyriacou and
S. Evripidou
Network Interface for a Data Driven
Network of Workstations (D02NOW) . . . .
M. Yokokawa and
S. Habata and
S. Kawai and
Basic Design of the Earth Simulator
Y. Tanaka and
N. Goto and
M. Kakei and
Parallel Computational Design of NJR
Global Climate Models
. . . . . . . . .
M. Iizuka and
H. Nakamura and
K. Garatani and
K. Nkajima
GeoFEM: High-Performance Parallel FEM
for Geophysical Applications . . . . . .
A. Harwood and
Generalized Networks . . . . . . . . . .
M. Giordano and
M. M. Furnari
HTGviz: A Graphics Tool for the
Synthesis of Automatic and User-Driven
Program Parallelization in the
Compilation Process
. . . . . . . . . .
Z. Nemeth and
H. Tomiyasu and
P. Kacsuk and
M. Amamiya
Multithreaded LOGFLOW on KUMP\slash D
H. Jin and
Q. Chen and
Grouped RAID Accesses to Reduce False
Sharing Effect in Cluster with Single
. . . . . . . . . . . . . . .
T. Oshitani and
T. Watanabe
Parallel Map Recognition by Pipeline
. . . . . . . . . . . . . . . .
K. Moriya and
Parallelization of ILU Decomposition for
Elliptic Boundary Value Problem of the
PDE on AP3000
. . . . . . . . . . . . .
T.-S. Chen
Task Migration in $2$D Wormhole-Routed
Mesh Multicomputers
. . . . . . . . . .
S. Furuyama and
T. Matsuzawa
A Suitable Domain Decomposition for the
Adaptive Mesh Refinement Method
N. Ranganathan
Utilization of Cache Area in On-Chip
Multiprocessor . . . . . . . . . . . . .
N. Stankovic and
A Parallel Programming Environment for
Networks . . . . . . . . . . . . . . . .
T. Urata and
H. Nishikawa
Emulation Facility for Data-Driven
Real-Time Multi-processing . . . . . . .
C. Y. Park and
J.-M. Gil and
Y.-H. Han and
C.-S. Hwang
Failure Restoration for Location Server
with User Movement Learning and
Prediction . . . . . . . . . . . . . . .
John A. Stankovic
Ian Welch and
Robert Stroud
a Reflective Java Extension
. . . . . .
Michael Golm and
J&rgen Klein&der
Reflection Can Be Fast and Flexible
H. Moessenboek and
C. Steindl
The Oberon-2 Reflection Model and Its
Applications . . . . . . . . . . . . . .
Hanspeter M&ssenb&ck and
Christoph Steindl
Applications . . . . . . . . . . . . . .
St&phane Demphlous and
Franck Lebastard
Reflective Models with Intercession
Property for a Client-Server Environment
Bert Robben and
Bart Vanhaute and
Wouter Joosen and
Pierre Verbaeten
. . . . . . . .
Jean-Bernard Stefani
Information Networks . . . . . . . . . .
Wayne Robbins and
Nicolas D. Georganas
RASCAL . . . . . . . . . . . . . . . . .
Gordon S. Blair and
F&bio Costa and
Geoff Coulson and
Fabien Delpiano and
Hector Duran and
Bruno Dumant and
Fran&ois Horn and
Nikos Parlavantzas and
Jean-Bernard Stefani
Reflective Middleware Architecture . . .
Inge M. C. Lemmens and
Peter J. Braspenning
Computational Reflection . . . . . . . .
Noriki Amano and
Takuo Watanabe
Linguistic Approach Using LEAD++ . . . .
Frank Matthijs and
Peter Kenens and
Wouter Joosen and
Pierre Verbaeten
Combination
. . . . . . . . . . . . . .
Petr Tuma and
Valerie Issarny and
Apostolos Zarras
Reflective Middleware
. . . . . . . . .
Renaud Pawlak and
Laurence Duchien and
G&rard Florin
Reflective Programming Language
Marc-Olivier Killijian and
Juan-Carlos Ruiz-Garcia and
Jean-Charles Fabre
Objects'State Capture
. . . . . . . . .
Yasuhiko Yokote
Kenneth R. Anderson and
Timothy J. Hickey
. . . . . .
Murat Karaorman and
Urs H&lzle and
John Bruno
to Support Design by Contract
Thomas Ledoux
Yukihiko Sohda and
Hirotaka Ogawa and
Satoshi Matsuoka
Implementation of DSM using OpenC++
Reflection . . . . . . . . . . . . . . .
Tristan Cazenave
Metaprograms . . . . . . . . . . . . . .
K. De Volder and
T. D'Hondt
Aspect-Oriented Logic Meta Programming
Kris De Volder and
Theo D'Hondt
. . . . . . . . . . . . . .
R. E. Bryant
Microprocessor Verification Using
Efficient Decision Procedures for a
Logic of Equality with Uninterpreted
. . . . . . . . . . . . . . .
F. Massacci
Design and Results of the Tableaux-99
Non-classical (Modal) Systems Comparison
P. F. Patel-Schneider and
I. Horrocks
DLP and FaCT . . . . . . . . . . . . . .
V. Haarslev and
R. Moeller
Applying an ALC ABox Consistency Tester
to Modal Logic SAT Problems
. . . . . .
V. Boyapati and
KtSeqC: System Description . . . . . . .
F. Massacci
Automated Reasoning and the Verification
of Security Protocols
. . . . . . . . .
R. Haehnle and
B. Beckert
Proof Confluent Tableau Calculi
M. Baaz and
C. G. Femueller
Analytic Calculi for Projective Logics
P. Baumgartner and
J. D. Horton and
B. Spencer
Merge Path Improvements for Minimal
Model Hyper Tableaux . . . . . . . . . .
K. Broda and
CLDS