Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

and the destination points are in different maps. For instance, bus-stop T3 can be reached from C1 by highway line H2 (or H1) to C3 and then by bus trip R1: S 22 (C1H2) ∧ S 34 (C3H2) ∧ T 22 (C3R1) ∧ T 23 (T3R1). Additional types of connections can be defined to express situations involving routes from a station to another. In procedural terms the previous definitions reduce to a search for inte...

The described Fuzzy Controller was implemented in a test car and performed quite well in various driving situations. The behavior of the active accelerator pedal felt very " human like " and fulfilled the requirements described in section 3. The part of a test drive with the Fuzzy ACC presented in Figure 6 shows that the accuracy of the acceleration control was high enough to meet the intention...

The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [12], provide for various forms of abstraction (modules, abstract data types, higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] pr...

We have introduced fast and eeective k-way partitioning solutions for the two regimes k n and k = (n). Our contributions include a new \partitioning-speciic" net model used in constructing the Laplacian of the netlist, the use of fast Lanczos implementations to compute the d-dimensional geometric embedding eeciently, and a careful choice of geometric clustering objectives and algorithms. We bel...

The construction of R, the process encapsulating the timing information, is not as eecient as it could be. Any method for making timing veriication more eecient, such as partial order reductions, could in principle be incorporated into our current scheme. We believe that our work will be useful in applications such as asynchronous circuits and hardware software co-design, where abstract descrip...

The objective of this study was to develop a stream prioritization tool that evaluates stream reaches in terms of the potential water quality improvements that could be achieved through restoration versus practical constraints to project implementation. This study is inextricably linked to the countywide stream assessment and Reynolds study conducted prior to this project. The first two section...

Purpose This concluding paper aims to summarise the main points and outcomes related theme issue question what are challenges opportunities for sustainable tourism development in Cyprus? Design/methodology/approach draws on findings of articles summarising key how sustainability can be achieved different hospitality industry areas Cyprus. Findings The overall highlight face Cyprus implement mea...