14479325
Bus catcher: a context sensitive prototype system for public transportation users
In this paper we describe the architectural andfunctional characteristics of Bus Catcher, a contextsensitive prototype system for public transportation users.Bus Catcher assists mobile users in planning their busrides by providing timely and accurate information aboutcurrent bus locations and estimated arrival times. Acomplete report on the implementation together with apreliminary evaluation of the system is provided in thispaper.
10352274
The AMPERE Algorithm - Area-Based Masking with the Performance Equation
The18th International Florida Artificial Intelligence Research Symposium (FLAIRS-2005), May 16th-18th, Clearwater Beach, Florida
10076896
Agent Assistance for 3D World Navigation
This paper presents mechanisms and approaches to assist user navigation and exploration within 3-dimensional worlds. Specifically, we advocate the deployment of an agent based approach for dynamic system assistance and intervention. An algorithm has been developed, that produces a performance measure, which is employed by the intelligent agent to activate system interventions. We outline the importance of providing discrete navigational cues to users in order to increase their sense of immersion and their overall satisfaction while working within the 3D world. We present HADES - the Home of the Adaptive Environmental System, which is a 3-dimensional world within which the intelligent agent is immersed. The agent therefore has the ability to transform this 3D world into an intelligent environment. HADES reacts proactively to users' movements and offers navigational help indirectly. Indirect navigational support increases the user's satisfaction with his own performance and therefore endorses the user's sense of immersion.
16348358
Agent Chameleons: Virtual Agents Real Intelligence
Agent Chameleons provides virtual agents powered by real intelligence, delivering next generation autonomic entities that can seamlessly migrate, mutate and evolve on their journey between and within physical and digital information spaces.
6469757
Teaching Formal Methods in Context
The Software Engineering Programme at Oxford teaches formal methods as an integral part of its programme of professional education in software engineering. This paper explains how the methods are taught—in the context of emerging trends in software development, and in the context of existing practice—and how their use is promoted through course design and motivating examples.
7379720
W Reconstructed
An early version of the Z Standard included the deductive systemW for reasoning about Z specifications. Later versions contain a different deductive system. In this paper we sketch a proof that W is relatively sound with respect to this new deductive system. We do this by demonstrating a semantic basis for a correspondence between the two systems, then showing that each of the inference rules ofW can be simulated as derived rules in the new system. These new rules are presented as tactics over the the inference rules of the new deductive system.
5189033
Routing in grid graphs by cutting planes
In this paper we study the following problem, which we call the weighted routing problem. Let be given a graphG = (V, E) with non-negative edge weightswe ∈ ℝ+ and letN,N ≥ 1, be a list of node sets. The weighted routing problem consists in finding mutually disjoint edge setsS1,...,SN such that, for eachk ∈ {1, ...,N}, the subgraph (V(Sk),Sk) contains an [s, t]-path for alls, t ∈ Tk and the sum of the weights of the edge sets is minimal. Our motivation for studying this problem arises from the routing problem in VLSI-design, where given sets of points have to be connected by wires. We consider the weighted routing problem from a polyhedral point of view. We define an appropriate polyhedron and try to (partially) describe this polyhedron by means of inequalities. We describe our separation algorithms for some of the presented classes of inequalities. Based on these separation routines we have implemented a branch and cut algorithm. Our algorithm is applicable to an important subclass of routing problems arising in VLSI-design, namely to switchbox routing problems where the underlying graph is a grid graph and the list of node sets is located on the outer face of the grid. We report on our computational experience with this class of problem instances.
2188414
Agents in bioinformatics, computational and systems biology
The adoption of agent technologies and multi-agent systems constitutes an emerging area in bioinformatics. In this article, we report on the activity of the Working Group on Agents in Bioinformatics (BIOAGENTS) founded during the first AgentLink III Technical Forum meeting on the 2nd of July, 2004, in Rome. The meeting provided an opportunity for seeding collaborations between the agent and bioinformatics communities to develop a different (agent-based) approach of computational frameworks both for data analysis and management in bioinformatics and for systems modelling and simulation in computational and systems biology. The collaborations gave rise to applications and integrated tools that we summarize and discuss in context of the state of the art in this area. We investigate on future challenges and argue that the field should still be explored from many perspectives ranging from bio-conceptual languages for agent-based simulation, to the definition of bio-ontology-based declarative languages to be used by information agents, and to the adoption of agents for computational grids.
18494896
The steiner tree packing problem in VLSI design
In this paper we describe several versions of the routing problem arising in VLSI design and indicate how the Steiner tree packing problem can be used to model these problems mathematically. We focus on switchbox routing problems and provide integer programming formulations for routing in the knock-knee and in the Manhattan model. We give a brief sketch of cutting plane algorithms that we developed and implemented for these two models. We report on computational experiments using standard test instances. Our codes are able to determine optimum solutions in most cases, and in particular, we can show that some of the instances have no feasible solution if Manhattan routing is used instead of knock-knee routing.