ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (56,273)
  • 1995-1999  (56,273)
  • Computer Science  (56,273)
Collection
Years
Year
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 88-105 
    ISSN: 1432-010X
    Keywords: Viewpoint development ; Requirements acquisition ; Requirements modelling
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Requirements definition is a critical activity within information systems development. It involves many stakeholder groups: managers, various end-users and different systems development professionals. Each group is likely to have its own ‘viewpoint’ representing a particular perspective or set of perceptions of the problem domain. To ensure as far as possible that the system to be implemented meets the needs and expectations of all involved stakeholders, it is necessary to understand their various viewpoints and manage any inconsistencies and conflicts. Viewpoint development during requirements definition is the process of identifying, understanding and representing different viewpoints. This paper proposes a conceptual framework for understanding and investigating viewpoint development approaches. Results of the use of the framework for a comparison of viewpoint development approaches are discussed and some important issues and directions for future research are identified.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 190-194 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 170-189 
    ISSN: 1432-010X
    Keywords: Requirements Engineering ; Process models ; Products ; Review ; Framework
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A framework for assessing research and practice in requirements engineering is proposed. The framework is used to survey state of the art research contributions and practice. The framework considers a task activity view of requirements, and elaborates different views of requirements engineering (RE) depending on the starting point of a system development. Another perspective is to analyse RE from different conceptions of products and their properties. RE research is examined within this framework and then placed in the context of how it extends current system development methods and systems analysis techniques.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 261-263 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 155-173 
    ISSN: 1432-010X
    Keywords: Key words:Requirements engineering – Scenarios – Use cases
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Scenario management (SM) means different things to different people, even though everyone seems to admit its current importance and its further potential. In this paper, we seek to provide an interdisciplinary framework for SM from three major disciplines that use scenarios – strategic management, human–computer interaction, and software and systems engineering – to deal with description of current and future realities. In particular, we attempt to answer the following questions: How are scenarios developed and used in each of the three disciplines? Why are they becoming important? What are current research contributions in scenario management? What are the research and practical issues related to the creation and use of scenarios, in particular in the area of requirements engineering? Based on brainstorming techniques, this paper proposes an interdisciplinary definition of scenarios, frameworks for scenario development, use and evaluation, and directions for future research.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 174-181 
    ISSN: 1432-010X
    Keywords: Key words:Decision practice – Requirements analysis – Risk control – Scenario development
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: In this paper, we address the question of how flesh and blood decision makers manage the combinatorial explosion in scenario development for decision making under uncertainty. The first assumption is that the decision makers try to undertake ‘robust’ actions. For the decision maker a robust action is an action that has sufficiently good results whatever the events are. We examine the psychological as well as the theoretical problems raised by the notion of robustness. Finally, we address the false feeling of decision makers who talk of ‘risk control’. We argue that ‘risk control’ results from the thinking that one can postpone action after nature moves. This ‘action postponement’ amounts to changing look-ahead reasoning into diagnosis. We illustrate these ideas in the framework of software development and examine some possible implications for requirements analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 219-241 
    ISSN: 1432-010X
    Keywords: Key words:Design representations – Requirements engineering – Scenarios
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Scenarios are becoming widely used in three areas of system development: software engineering, human–computer interaction (HCI), and organisational process design. There are many reasons to use scenarios during system design. The one usually advanced in support of the practice is to aid the processes of validating the developers’ understanding of the customers’ or users’ work practices, organisational goals and structures, and system requirements. All three areas identified above deal with these processes, and not surprisingly this has given rise to a profusion of scenario-based practices and representations. Yet there has been little analysis of why scenarios should be useful, let alone whether they are. Only by having such a framework for understanding what scenarios are, and what they are for, can we begin to evaluate different scenario approaches in specific development contexts. This paper is a contribution toward such a framework. We lay out a space of representational possibilities for scenarios and enumerate a set of values or criteria that are important for different uses of scenarios. We then summarise several salient representations drawn from the software engineering, HCI, and organisational process design communities to clarify how these representational choices contribute to or detract from the goals of the respective practices. Finally, we discuss how scenario representations from one area of design may be useful in others, and we discuss the relationship between these representations and other significant early-design and requirements engineering practices.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 92-102 
    ISSN: 1432-010X
    Keywords: Key words:Fixed-point theorem – Grounded theory – Grounded systems engineering methodology – GSEM – Information systems requirements – Qualitative methodology – Qualitative scenarios – Requirements engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: In this paper, we argue that information systems requirements are inherently dynamic, and that a methodology that caters for such dynamicity must enable the evaluation of requirements, as they evolve, against dynamic contexts. Moreover, information systems contexts are soft, ambiguous, and are thus mainly characterised by qualitative data. We present an analytical technique, based on the grounded theory method for developing qualitative scenarios against which statements of requirements can be evaluated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 165-168 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 134-151 
    ISSN: 1432-010X
    Keywords: Key words:Empirical study – Legacy systems – Medical information systems – Non-functional requirements – Process history – RE practice – Requirements validation – Usability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: A case study of requirements engineering practice is reported. The application, a decision support system for the Greek Ministry of Health, was investigated by studying the process of requirements analysis through to design and implementation. A usability analysis was then conducted on the designed system with the users. Several usability problems were discovered, and interviews uncovered further problems with the system that could be attributed to failure in requirements engineering (RE). Even though requirements were explicitly stated and the system was an evolution from an existing legacy system, functionality was defective and usability was poor. The client’s prime concern for redeveloping the system was to improve usability; unfortunately communications problems in the RE process meant that the developers did not appreciate this. The implications for RE methods and understanding the RE process are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 188-197 
    ISSN: 1432-010X
    Keywords: Key words:Memory systems – Parallel applications – Predicate calculus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Shared memory provides a convenient programming model for parallel applications. However, such a model is provided on physically distributed memory systems at the expense of efficiency of execution of the applications. For this reason, applications can give minimum consistency requirements on the memory system, thus allowing alternatives to the shared memory model to be used which exploit the underlying machine more efficiently. To be effective, these requirements need to be specified in a precise way and to be amenable to formal analysis. Most approaches to formally specifying consistency conditions on memory systems have been from the viewpoint of the machine rather than from the application domain.  In this paper we show how requirements on memory systems can be given from the viewpoint of the application domain formally in a first-order theory MemReq, to improve the requirements engineering process for such systems. We show the general use of MemReq in expressing major classes of requirements for memory systems and conduct a case study of the use of MemReq in a real-life parallel system out of which the formalism arose.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 132-134 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 106-131 
    ISSN: 1432-010X
    Keywords: Requirements specification ; Object-oriented analysis ; Formal specification ; Dynamic logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper, we define a number of tools that we think belong to the core of any toolkit for requirements engineers. The tools are conceptual and hence, they need precise definitions that lay down as exactly as possible what their meaning and possible use is. We argue that this definition can best be achieved by a formal specification of the tool. This means that for each semi-formal requirements engineering tool we should provide a formal specification that precisely specifies its meaning. We argue that this mutually enhances the formal and semi-formal technique: it makes formal techniques more usable and, as we will argue, at the same time simplifies the diagram-based notations. At the same time, we believe that the tools of the requirements engineer should, where possible, resemble the familiar semi-formal specification techniques used in practice today. In order to achieve this, we should search existing requirements specification techniques to look for a common kernel of familiar semi-formal techniques and try to provide a formalisation for these. In this paper we illustrate this approach by a formal analysis of the Shlaer-Mellor method for object-oriented requirements specification. The formal specification language used in this analysis is LCM, a language based on dynamic logic, but similar results would have been achieved by means of another language. We analyse the techniques used in the information model, state model, process model and communication model of the Shlaer-Mellor method, identify ambiguities and redundancies, indicate how these can be eliminated and propose a formalisation of the result. We conclude with a listing of the tools extracted from the Shlaer-Mellor method that we can add to a toolkit that in addition contains LCM as formal specification technique.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 153-154 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 19-37 
    ISSN: 1432-010X
    Keywords: Key words: Formal methods; Specification languages; Statecharts; Visual languagesRID=""ID="" 〈E5〉Correspondence and offprint requests to〈/E5〉: D.A. Lamb, Computing and Information Science, Queen’s University, Kingston, Ontario, Canada K7L 3N6. Email: dalamb@qucis.queensu.ca
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: paper introduces the idea of a software behavioural view: intuitively, this is a complete description of the behaviour of the system observable from a specific point of view. We believe that a fully developed methodology based on views would significantly reduce the complexity of creating and understanding software requirements. In this paper we take the first steps towards such a methodology. We define a formal notation, Viewcharts, with a well-defined semantics based on Statecharts. Viewcharts gives a means for precisely describing views and their compositions. We show that Viewcharts reasonably capture the informal idea of a view by giving an example: a manufacturing control system. We show that Viewcharts have some advantages over Statecharts; in particular, Viewcharts add name space control to limit the scope of broadcast communication, solving a problem with Statecharts presented by Harel.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 65-76 
    ISSN: 1432-010X
    Keywords: Key words:Global organisations – Object technology – Requirements – Use cases
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The increasingly global nature of financial markets and institutions means that the collection and management of information on which decisions might be based are increasingly complex. There is a growing requirement for the integration of information flows at individual and departmental levels, and across processes and organisational boundaries. Effective information management is an important contributory factor in the efficiency of such institutions, though there are many associated problems that do not have obvious or simple answers. This paper discusses the problem of information gathering in complex business environments and considers how use cases can help to alleviate the problem using an example of a multinational organisation. Such organisations often require information systems that can support regional differences. However, management requires consistent and uniform representation of information. The example shows that use cases can be a helpful mechanism for capturing user requirements that accommodate both regional properties as well as their organisational commonalties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 103-114 
    ISSN: 1432-010X
    Keywords: Key words:Industrial democracy – Participatory design – Systems development – Work organisation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper is predicated on requirements analysis as the Achilles heel of information systems development, and accepts that information systems often disappoint. Most design paradigms can be located within a rationalistic framework polarised by requirements analysis and system delivery. Such traditional design paradigms are seen as palliatives that prevent us moving toward more satisfying information systems. It is argued that this rationalistic framework forces us to identify, and attempt to solve, problems that are symptomatic of the approach adopted. A pluralistic framework for information system development is presented which rejects the notions of requirements analysis and system optimality. Participatory design, derived from the field of human computer interaction, is located within this framework and identified as a possible paradigm for information system development. A case study is conducted to assess the benefits of participatory design techniques and to evaluate the extent to which participatory design can overcome the failings of traditional methodologies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 198-209 
    ISSN: 1432-010X
    Keywords: Key words:Animation of specifications – Inheritance – Object-oriented methods – Requirements engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Dynamic logic (DL) provides a suitable formal framework to model actions and reasoning about them. 〈$〉\cal OASIS〈$〉 is a language for the specification of object-oriented conceptual models. In our model, specialisation is a relation between classes that defines an inheritance mechanism through static and dynamic partitions. A variant of DL (including the deontic operators for permission, prohibition and obligation) is the formalism used in 〈$〉\cal OASIS〈$〉 to deal with changes of state, triggers, preconditions, protocols and operations. The animation of conceptual models in order to validate the specification is an interesting topic. We have worked on translating 〈$〉\cal OASIS〈$〉 specifications automatically to concurrent environments in order to obtain a prototype useful to validate specifications by animation. The aim of this paper is to show that it is feasible to translate static and dynamic partitions automatically into dynamic logic formulae. Thus, using the same developed schema of animation it is possible to execute 〈$〉\cal OASIS〈$〉 specifications including inheritance.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 135-135 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 157-169 
    ISSN: 1432-010X
    Keywords: Analogic reasoning ; Computational mechanisms ; Negotiation ; Viewpoints
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper argues that existing definitions of viewpoints in software engineering are inadequate for requirements engineering (RE). The ESPRIT 6353 ‘NATURE’ basic research action proposes an alternative definition which recognises that viewpoints are social artefacts within the RE process. It also proposes novel computational mechanisms for analysing different viewpoints as a basis for more informed negotiation between viewpoint owners. This paper reports important aspects of this research and outlines an agenda for future research in multiperspective RE.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 70-71 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 195-196 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 210-237 
    ISSN: 1432-010X
    Keywords: Requirements specification ; Rule modeling ; Goal modeling ; Deontic operators
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract One major task in requirements specification is to capture the rules relevant to the problem at hand. Declarative, rule-based approaches have been suggested by many researchers in the field. However, when it comes to modeling large systems of rules, not only for the behavior of the computer system but also for the organizational environment surrounding it, current approaches have problems with limited expressiveness, flexibility, and poor comprehensibility. Hence, rule-based approaches may benefit from improvements in two directions: (1) improvement of the rule languages themselves and (2) better integration with other, complementary modeling approaches. In this article, both issues are addressed in an integrated manner. The proposal is presented in the context of the Tempora project on rule-based information systems development, but has also been integrated with PPP. Tempora has provided a rule language based on an executable temporal logic working on top of a temporal database. The rule language is integrated with static (ER-like) and dynamic (SA/RT-like) modeling approaches. In the current proposal, the integration with complementary modeling approaches is extended by including organization modeling (actors, roles), and the expressiveness of the rule language is increased by introducing deontic operators and rule hierarchies. The main contribution of the article is not seen as any one of the above-mentioned extensions, but as the resulting comprehensive modeling support. The approach is illustrated by examples taken from an industrial case study done in connection with Tempora.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 264-264 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 1-18 
    ISSN: 1432-010X
    Keywords: Key words: Multimedia; Rapid prototyping; Requirements; specification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: requirements specifications are developed for large-scale systems, the final specification is usually an abstraction of the original requirements data into a text-based form that is often foreign to end-users. A method was developed for representing requirements through use of electronic multimedia. The resulting specification is capable of representing requirements and requirements data in a manner that is more representative of the real-world problem space than traditional specifications. This paper presents a method for incorporating multimedia exhibits, notably the results of rapid prototyping activities and animated simulation, into a requirements specification for large-scale C2I systems. To examine the effectiveness of the method, a multimedia requirements specification was developed based on an existing text specification for a real-world system. An experiment was also performed that showed the product of the methodology to be effective in increasing the understandability of the specification over that obtained from the text specification alone.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 60-61 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Requirements Engineering for airing readers’ views on requirements engineering research and practice. Contributions that describe results, experiences, biases and research agendas in requirements engineering are particularly welcome. ‘Viewpoints’ is an opportunity for presenting technical correspondence or subjective arguments. So, whether you are a student, teacher, researcher or practitioner, get on your soapbox today and let us know what’s on your mind . . . Please submit contributions electronically to Viewpoints Editor, Bashar Nuseibeh (ban@doc.ic.ac.uk). Contributions less than 2000 words in length are preferred.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 38-59 
    ISSN: 1432-010X
    Keywords: Key words: CSCW; Distributed teamwork; Facilitation; Facilitator; Groupware; Requirements capture
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: There is an increasing understanding of requirements engineering as a group activity. Those who have participated in requirements workshops and meetings will recognise that success often depends on the mediation skills of the workshop facilitator. The role of the facilitator in requirements engineering was the subject of a lively debate at the International Conference on Requirements Engineering (ICRE’98) where a panel of professional facilitators 1 shared their experiences with participants. The aim of this paper is to present a full discussion of the role of the facilitator in requirements engineering. The paper is important for the following reasons: 1. The role of the facilitator in the success of requirements workshops is often grossly underestimated (if a workshop was successful, the role of the facilitator is often forgotten). 2. The requirements engineering community should develop a better understanding of the role of the facilitator in addressing the twin concerns of successfully involving people in the requirements process and of producing good-quality requirements specifications within the resources available. 3. Electronic meeting systems are increasingly being used not only in face-to-face meetings but also in meetings where participants are geographically dispersed. Detailed descriptions of the role of the facilitator will provide a blueprint for developing appropriate computer support for facilitation which may well be vital to the success of distributed requirements engineering teams. The paper discusses the importance of conflict in requirements teams and the role of the facilitator in dealing with conflict. A number of facilitated requirements methods are reviewed and a number of models of facilitation described. The paper then presents summaries of six case studies of situations where the author has acted as a professional facilitator of commercial requirements engineering teams. The lessons learned from these experiences are brought together with existing facilitation models to produce a new model. The main outcome of the research presented in this paper is a seven-layer model of the role of the facilitator.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 85-91 
    ISSN: 1432-010X
    Keywords: Key words:Critical theory – Empowerment – Methodology – Soft systems methodology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: The fidelity and practicality of using soft systems methodology (SSM) to empower the workforce such that its members can make a fuller contribution to the requirements engineering process is critically analysed. The detailed analysis is carried out by using a (critical) philosophical approach to develop an interpretation of (some key aspects of) requirements engineering practice in actual information systems development situations, utilising a number of practical requirements engineering studies. This analysis is built upon to explain the relationship between requirements engineering, SSM and workforce empowerment. It is concluded that, by maintaining critically focused attention on the economic context, it is theoretically possible to engineer requirements for information systems that would actually empower the workforce. However, the likelihood of using SSM successfully for this purpose is low, as the economic context in which requirements engineering takes place is largely ignored by the SSM advocates.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 152-164 
    ISSN: 1432-010X
    Keywords: Key words:Design explanation – Design rationale – Information analysis – Requirements engineering process
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: This paper reports the results of an action research project which studied the benefits of documenting the evolution, and the rationale for the evolution, of a requirements specification. The benefits which design explanation offers designers (as documented in the literature) suggested an investigation with a view to understanding the potential contribution of the IBIS (Issue-Based Information System) approach. The paper reports an investigation into the use of ad hoc design explanation, in which design decisions were documented as they were made using the IBIS notation. This study finds both strengths and weaknesses in the approach. It reveals ways in which IBIS might be used more effectively and leads us to suggest a further study into the complementary use of ad hoc and post hoc design explanation approaches.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 4 (1999), S. 210-220 
    ISSN: 1432-010X
    Keywords: Key words:Classification – Curriculum – Information systems – Method engineering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Method engineering (ME) deals with the selection and assembly of situation-specific methods for information systems development. In this paper we use ME with a somewhat unusual perspective, that is, an educational one. We introduce a procedure for the evaluation of information systems curricula within an ME framework. Using this approach it is possible to quantitatively characterise and compare information systems curricula, showing their relative strengths and weaknesses. As an example we evaluate three model curricula (IS’90, IS’97 and ISCC’99) and analyse their differences and similarities.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 27-46 
    ISSN: 1432-010X
    Keywords: Causal logic ; Causation ; Requirements specification ; Requirements analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The language of causation is natural for the specification of requirements for complex systems. The paper provides a vocabulary of causal specification expressions, suitable for describing and analysing such systems. The notation is given a syntax and partial semantics. It covers many of the commonly used modes of causal language including necessary and sufficient cause, prevention and enabling conditions. The concept of condition splitting is introduced, enabling a specification at an abstract level to treat two conditions as identical, while a concrete refinement of it may view them as separate. A number of other issues are examined, including: repetitive, probabilistic and hidden causes; causal agents; the validation of causal descriptions; and concurrency. Possible approaches to development of causal specifications are discussed. The work is placed in the context of related work in artificial intelligence and philosophy. The detailed framework of the paper is supported by a realistic example.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 72-74 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 1-3 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 63-69 
    ISSN: 1432-010X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper gives a short description of RENOIR (Requirements Engineering Network of International Cooperating Research Groups), a ‘network of excellence’ established within the Framework programme of the European Union. RENOIR will be a major vehicle for coordination and the provision of an infrastructure for requirements engineering research and technology development for organisations within the European Union (or in countries with cooperation agreements with the European Union). RENOIR can also act as a resource and an expertise broker for the wider international requirements engineering community.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 47-62 
    ISSN: 1432-010X
    Keywords: Conceptual schema analysis ; Information system re-engineering ; Reference components ; Similarity measures ; Schema clustering
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The paper deals with the problem of building an inventory of information systems for the public administration, with reference to an ongoing project in Italy. We describe the investigation techniques defined for collecting information and the techniques developed for a systematic analysis of the large set of conceptual schemas resulting from the investigation. These schemas describe the data used by the public administration work processes. In particular, we describe the conceptual schema of the inventory, which is the basis for discussing the methodology of investigation, the choice of units of investigation, the data collection and merging, and the access to information. Then, we present the schema analysis techniques developed to analyse semi-automatically the large set of conceptual schemas resulting from the investigation. In particular, we illustrate indexing techniques for identifying representative descriptors of schemas and similarity techniques to compare schemas for their classification into families. Finally, the tool developed to support the storage, analysis and classification of schemas is described and experimentation results are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 75-87 
    ISSN: 1432-010X
    Keywords: Requirements ; Survey ; Current practice ; Project size ; Systems development economics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents the findings of a detailed survey of 107 projects in which the iterative nature of requirements analysis was explored in economic terms. The survey was conducted from the point of view of the project manager. The results indicate that half of the projects take three or more interations to complete the requirements, that the use of methodologies and project characteristics affect the number of iterations, and that in half of the projects the number of iterations planned was different from the number actually carried out. The paper concludes by attempting to explain the relationship between the economics of the requirements process and the number of iterations through a spiral model of requirements capture and analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 1 (1996), S. 137-156 
    ISSN: 1432-010X
    Keywords: Requirements engineering ; Architecture modelling ; Software development environments ; Intelligent tool support ; Integration ; Incrementality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper describes the outside functionality of an RE environment within an integrated software development environment. Furthermore, an integrator tool for the transition to software system architecture modelling is presented. The tools discussed are editors, analysers, executors, monitors, and integration tools of different characteristics for horizontal integration (within RE) and vertical integration (to architecture modelling). All tools are tightly integrated and work incrementally, therefore allowing different forms of construction and modification processes and giving substantial support.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Requirements engineering 3 (1998), S. 182-201 
    ISSN: 1432-010X
    Keywords: Key words:COTS acquisition – Enterprise-level impacts – Scenarios – System procurement
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: When an enterprise considers the acquisition of a COTS (commercial off-the-shelf) system, the procurement process typically includes consideration of technical criteria such as feature sets and ease of integration with other systems. However, any selected COTS system will also have an impact on how the enterprise runs – how the work of the enterprise gets done and ultimately how the services of the enterprise are delivered to its customers. This paper presents a method for determining these enterprise-level impacts. A notion of enterprise-level impacts is delineated, and a scenario-based technique is presented for uncovering and assessing these impacts. The method is informal and lightweight – it does not require extensive modelling, formal rigour, or management of artefacts. Some insights, experience and lessons are reported. Some comparisons are made with past experience using a more formal, heavyweight method and tool.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 319-337 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The exchange of radiant energy (e.g., visible light, infrared radiation) in simple macroscopic physical models is sometimes approximated by the solution of a system of linear equations (energy transport equations). A variable in such a system represents the total energy emitted by a discrete surface element. The coefficients of these equations depend on the form factors between pairs of surface elements. A form factor is the fraction of energy leaving a surface element which directly reaches another surface element. Form factors depend only on the geometry of the physical model. Determining good approximations of form factors is the most time-consuming step in these methods, when the geometry of the model is complex due to occlusions. In this paper, we introduce a new characterization of form factors based on concepts from integral geometry. Using this characterization, we develop a new and asymptotically efficient Monte Carlo method for the simultaneous approximation of all form factors in an occluded polyhedral environment. The approximation error is bounded without recourse to special hypothesis. This algorithm is, for typical scenes, one order of magnitude faster than methods based on the hemisphere paradigm or on Monte Carlo ray-shooting. Let A be any set of convex nonintersecting polygons in R 3 with a total of n edges and vertices. Let ε be the error parameter and let δ be the confidence parameter. We compute an approximation of each nonzero form factor such that with probability at least 1-δ the absolute approximation error is less than ε. The expected running time of the algorithm is $O((\epsilon^{-2} \log \delta^{-1})(n\log^2 n + K\log n))$ , where K is the expected number of regular intersections for a random projection of A. The number of regular intersections can range from 0 to quadratic in n, but for typical applications it is much smaller than quadratic. The expectation is with respect to the random choices of the algorithm and the result holds for any input.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 365-375 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the following generalization of the inradius: For a convex body K in the d-dimensional Euclidean space and a linear k-plane L we define the inradius of K with respect to L by $r_L(K)=\max\{r(K; x+L): x\in E^d\}$ , where r(K;x+L) denotes the ordinary inradius of $K\cap(x+L)$ with respect to the affine plane x+L. We show how to determine $r_L(P)$ for polytopes and use the result to estimate $\min\{ r_L(T_r^d): L \ \mbox{ is a } k\mbox{-plane}\}$ for the regular d-simplex T_r d . These estimates are optimal for all k in infinitely many dimensions and for certain k in the remaining dimensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 111-120 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The problem of maximizing the radius of n equal circles that can be packed into a given square is a well-known geometrical problem. An equivalent problem is to find the largest distance d, such that n points can be placed into the square with all mutual distances at least d. Recently, all optimal packings of at most 20 circles in a square were exactly determined. In this paper, computational methods to find good packings of more than 20 circles are discussed. The best packings found with up to 50 circles are displayed. A new packing of 49 circles settles the proof that when n is a square number, the best packing is the square lattice exactly when n≤ 36.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 125-134 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an $O(n\log^{9}n)$ -time algorithm for computing the 2-center of a set S of n points in the plane (that is, a pair of congruent disks of smallest radius whose union covers S), improving the previous $O(n^2\log n)$ -time algorithm of [10].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 135-149 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. An earlier paper describes a program to prove the Kepler conjecture on sphere packings. This paper carries out the second step of that program. A sphere packing leads to a decomposition of R 3 into polyhedra. The polyhedra are divided into two classes. The first class of polyhedra, called quasi-regular tetrahedra, have density at most that of a regular tetrahedron. The polyhedra in the remaining class have density at most that of a regular octahedron (about 0.7209).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 151-177 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper studies a geometric probing problem. Suppose that an unknown convex set in R 2 can be probed by an oracle which, when given a unit vector, will return the position of the supporting hyperplane of the convex set that has the given vector as an outward normal. We present an on-line algorithm for choosing probing directions so that, after n probes, an inner and an outer estimate of the convex set are obtained that are within $O(n^{-2})$ of each other in Hausdorff distance. This is optimal since there exist convex sets that, even if visible, cannot be approximated better than $O(n^{-2})$ with n-sided polygons, for example, a circle.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 195-203 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a method which reduces a family of problems in combinatorial geometry (concerning multiple intervals) to purely combinatorial questions about hypergraphs. The main tool is the Borsuk—Ulam theorem together with one of its extensions. For a positive integer d, a homogeneous d-interval is a union of at most d closed intervals on a fixed line ℓ. Let ${\cal H}$ be a system of homogeneous d-intervals such that no k + 1 of its members are pairwise disjoint. It has been known that its transversal number $\tau ({\cal H})$ can then be bounded in terms of k and d. Tardos [9] proved that for d = 2, one has $\tau ({\cal H}) \leq 8k$ . In particular, the bound is linear in k. We show that the latter holds for any d, and prove the tight bound $\tau ({\cal H}) \leq 3k$ for d = 2. We obtain similar results in the case of nonhomogeneous d-intervals whose definition appears below.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 179-194 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For each k ≥ 1 and corresponding hexagonal number h(k) = 3k(k+1)+1, we introduce $m(k) = \max \{{(k-1)!}/{2}, 1\}$ packings of h(k) equal disks inside a circle which we call the curved hexagonal packings. The curved hexagonal packing of 7 disks (k = 1, m(1)=1) is well known and one of the 19 disks (k = 2, m(2)=1) has been previously conjectured to be optimal. New curved hexagonal packings of 37, 61, and 91 disks (k = 3, 4, and 5, m(3)=1, m(4)=3, and m(5)=12) were the densest we obtained on a computer using a so-called ``billiards'' simulation algorithm. A curved hexagonal packing pattern is invariant under a $60^{\circ}$ rotation. For $k \rightarrow \infty$ , the density (covering fraction) of curved hexagonal packings tends to ${\pi^2}/{12}$ . The limit is smaller than the density of the known optimum disk packing in the infinite plane. We found disk configurations that are denser than curved hexagonal packings for 127, 169, and 217 disks (k = 6, 7, and 8). In addition to new packings for h(k) disks, we present the new packings we found for h(k)+1 and h(k)-1 disks for k up to 5, i.e., for 36, 38, 60, 62, 90, and 92 disks. The additional packings show the ``tightness'' of the curved hexagonal pattern for k ≤ 5: deleting a disk does not change the optimum packing and its quality significantly, but adding a disk causes a substantial rearrangement in the optimum packing and substantially decreases the quality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 205-237 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We construct a probabilistic polynomial time algorithm that computes the mixed discriminant of given n positive definite $n \times n$ matrices within a 2 O(n) factor. As a corollary, we show that the permanent of an $n \times n$ nonnegative matrix and the mixed volume of n ellipsoids in R n can be computed within a 2 O(n) factor by probabilistic polynomial time algorithms. Since every convex body can be approximated by an ellipsoid, the last algorithm can be used for approximating in polynomial time the mixed volume of n convex bodies in R n within a factor n O(n) .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 247-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. For any 2-coloring of the ${n \choose 2}$ segments determined by n points in general position in the plane, at least one of the color classes contains a non-self-intersecting spanning tree. Under the same assumptions, we also prove that there exist $\lfloor (n+1)/3 \rfloor$ pairwise disjoint segments of the same color, and this bound is tight. The above theorems were conjectured by Bialostocki and Dierker. Furthermore, improving an earlier result of Larman et al., we construct a family of m segments in the plane, which has no more than $m^{\log 4/\log 27}$ members that are either pairwise disjoint or pairwise crossing. Finally, we discuss some related problems and generalizations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 257-267 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Given a simple arrangement of n pseudolines in the Euclidean plane, associate with line i the list σ i of the lines crossing i in the order of the crossings on line i. $\sigma_i=(\sigma^i_1,\sigma^i_2,\ldots,\sigma^i_{n-1})$ is a permutation of $\{1,\ldots,n\} - \{i\}$ . The vector (σ 1 ,σ 2 , ...,σ_n) is an encoding for the arrangement. Define $\tau^i_j = 1$ if $\sigma^i_j 〉 i$ and $\tau^i_j = 0$ , otherwise. Let $\tau_i=(\tau^i_1,\tau^i_2,\ldots,\tau^i_{n-1})$ , we show that the vector (τ 1 , τ 2 , ... , τ_n) is already an encoding. We use this encoding to improve the upper bound on the number of arrangements of n pseudolines to $2^{0.6974\cdot n^2}$ . Moreover, we have enumerated arrangements with 10 pseudolines. As a byproduct we determine their exact number and we can show that the maximal number of halving lines of 10 point in the plane is 13.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 269-288 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let Σ be a collection of n algebraic surface patches in ${\Bbb R}^3$ of constant maximum degree b, such that the boundary of each surface consists of a constant number of algebraic arcs, each of degree at most b as well. We show that the combinatorial complexity of the vertical decomposition of a single cell in the arrangement ${\cal A}(\Sigma)$ is O(n^{2+ɛ}), for any ɛ 〉 0, where the constant of proportionality depends on ɛ and on the maximum degree of the surfaces and of their boundaries. As an application, we obtain a near-quadratic motion-planning algorithm for general systems with three degrees of freedom.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 289-304 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an O(n 4 )-time and O(n 2 )-space algorithm that computes a subgraph of the minimum weight triangulation (MWT) of a general point set. The algorithm works by finding a collection of edges guaranteed to be in any locally minimal triangulation. We call this subgraph the LMT-skeleton. We also give a variant called the modified LMT-skeleton that is both a more complete subgraph of the MWT and is faster to compute requiring only O(n 2 ) time and O(n) space in the expected case for uniform distributions. Several experimental implementations of both approaches have shown that for moderate-sized point sets (up to 350 points^1) the skeletons are connected, enabling an efficient completion of the exact MWT. We are thus able to compute the MWT of substantially larger random point sets than have previously been computed. ^1Though in this paper we summarize some empirical findings for input sets of up to 350 points, a variant of the algorithm has been implemented and tested on up to 40,000 points producing connected subgraphs [2].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 377-383 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give an algorithm to compute a (Euclidean) shortest path in a polygon with h holes and a total of n vertices. The algorithm uses O(n) space and requires $O(n+h^2\log n)$ time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 369-376 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A thrackle is a graph drawn in the plane so that its edges are represented by Jordan arcs and any two distinct arcs either meet at exactly one common vertex or cross at exactly one point interior to both arcs. About 40 years ago, J. H. Conway conjectured that the number of edges of a thrackle cannot exceed the number of its vertices. We show that a thrackle has at most twice as many edges as vertices. Some related problems and generalizations are also considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 305-363 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Exact computer arithmetic has a variety of uses, including the robust implementation of geometric algorithms. This article has three purposes. The first is to offer fast software-level algorithms for exact addition and multiplication of arbitrary precision floating-point values. The second is to propose a technique for adaptive precision arithmetic that can often speed these algorithms when they are used to perform multiprecision calculations that do not always require exact arithmetic, but must satisfy some error bound. The third is to use these techniques to develop implementations of several common geometric calculations whose required degree of accuracy depends on their inputs. These robust geometric predicates are adaptive; their running time depends on the degree of uncertainty of the result, and is usually small. These algorithms work on computers whose floating-point arithmetic uses radix two and exact rounding, including machines complying with the IEEE 754 standard. The inputs to the predicates may be arbitrary single or double precision floating-point numbers. C code is publicly available for the two-dimensional and three-dimensional orientation and incircle tests, and robust Delaunay triangulation using these tests. Timings of the implementations demonstrate their effectiveness.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 385-395 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. When C is a ball in ${\Bbb R}^d$ and S is the sphere $\partial C$ , we say that S supports a convex body B if S intersects B and either $B\subseteq C$ (then S is a far support) or the interior of C is disjoint from B (then S is a near support). The focus here is on common supports for a system $\cal B$ of d+1 bodies in ${\Bbb R}^d$ such that for each way of selecting a point from each member of ${\cal B}$ , the selected points are affinely independent and hence form the vertex-set of a d-simplex. The main result asserts that if $({\cal B}',{\cal B}'')$ is an arbitrary partition of ${\cal B}$ , then there exists a unique Euclidean sphere that is simultaneously a near support for each member of ${\cal B}'$ and a far support for each member of ${\cal B}''$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 421-431 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper we describe the convex hulls of the sets of f- and β-vectors of different classes of simplicial complexes on n vertices. These include flag complexes, order complexes of posets, matroid complexes, and general abstract simplicial complexes. As a result of this investigation, standard linear programming problems on these sets can be solved, including maximization of the Euler characteristics or of the sum of the Betti numbers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 397-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give fast and efficient methods for constructing ε-nets and ε-approximations for range spaces with bounded VC-exponent. These combinatorial structures have wide applicability to geometric partitioning problems, which are often used in divide-and-conquer constructions in computational geometry algorithms. In addition, we introduce a new deterministic set approximation for range spaces with bounded VC-exponent, which we call the δ-relative ε-approximation, and we show how such approximations can be efficiently constructed in parallel. To demonstrate the utility of these constructions we show how they can be used to solve the linear programming problem in ${\Bbb R}^d$ deterministically in $O((\log\log n)^d)$ time using linear work in the PRAM model of computation, for any fixed constant d. Our method is developed for the CRCW variant of the PRAM parallel computation model, and can be easily implemented to run in $O(\log n(\log\log n)^{d-1})$ time using linear work on an EREW PRAM.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 455-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show that every simplicial d-polytope with d+4 vertices is a quotient of a neighborly (2d+4)-polytope with 2d+8 vertices, using the technique of affine Gale diagrams. The result is extended to matroid polytopes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In this paper, we give an algorithm for output-sensitive construction of an f-face convex hull of a set of n points in general position in E 4 . Our algorithm runs in $O((n+f)\log^2 f)$ time and uses O(n+f) space. This is the first algorithm within a polylogarithmic factor of optimal $O(n \log f + f)$ time over the whole range of f. By a standard lifting map, we obtain output-sensitive algorithms for the Voronoi diagram or Delaunay triangulation in E 3 and for the portion of a Voronoi diagram that is clipped to a convex polytope. Our approach simplifies the ``ultimate convex hull algorithm'' of Kirkpatrick and Seidel in E 2 and also leads to improved output-sensitive results on constructing convex hulls in E d for any even constant d 〉 4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 18 (1997), S. 463-472 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let X be a finite set of cardinality m in general position in R ^n. For n=3 we show that if X is in convex position, the number of k-sets in X is given by Γ k =2k(m-k)-m+2. In general odd dimension we obtain $\sum(-1)^k\Gamma_k=0$ ; here convexity is not required.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 131-145 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is shown that the complete linkage clustering of n points can be computed in O(n log 2 n) time. Furthermore, it is shown that the complete linkage clustering can be approximated within an arbitrarily small constant factor in O(n log n) time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 405-420 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a linear-time algorithm for computing the medial axis of a simple polygon P . This answers a long-standing open question—previously, the best deterministic algorithm ran in O(n log n) time. We decompose P into pseudonormal histograms, then influence histograms, then xy monotone histograms. We can compute the medial axes for xy monotone histograms and merge to obtain the medial axis for P .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 449-462 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is proved that the maximum possible volume of a parallelotope contained in a d -dimensional simplex S is equal to (d! / d d ) vol(S) . A description of all the parallelotopes of maximum volume contained in S is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 343-353 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We consider two general principles which allow us to reduce certain additive problems for residue classes modulo a prime to the corresponding problems for integers. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p343.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 355-366 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the problem of the maximum number of unit distances among n points in the plane, under the additional restriction that we count only those unit distances that occur in a fixed set of k directions, taking the maximum over all sets of n points and all sets of k directions. We prove that, for fixed k and sufficiently large n 〉 n 0 (k) , the extremal sets are essentially sections of lattices, bounded by edges parallel to the k directions and of equal length. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p355.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 519-526 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We use shellings to give an elementary proof of the lower bound theorem for simplicial polytopes including the case of equality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 481-517 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper introduces a general notion of stress on cell-complexes and reports on connections between stresses and liftings (generalization of C 1 0 -splines) of d -dimensional cell-complexes in R d . New sufficient conditions for the existence of a sharp lifting for a ``flat" piecewise-linear realization of a manifold are given. Our approach also gives some new results on the equivalence between spherical complexes and convex and star polytopes. As an application, two algorithms are given that determine whether a piecewise-linear realization of a d -manifold in R d admits a lifting to R d+1 which satisfies given constraints. We also demonstrate connections between stresses and Voronoi—Dirichlet diagrams and show that any weighted Voronoi—Dirichlet diagram without non-compact cells can be represented as a weighted Delaunay decomposition and vice versa.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 551-556 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. In [2], Billera proved that the R -algebra of continuous piecewise polynomial functions (C 0 splines) on a d -dimensional simplicial complex Δ embedded in R d is a quotient of the Stanley—Reisner ring A Δ of Δ. We derive a criterion to determine which elements of the Stanley—Reisner ring correspond to splines of higher-order smoothness. In [5], Lau and Stiller point out that the dimension of C r k (Δ) is upper semicontinuous in the Zariski topology. Using the criterion, we give an algorithm for obtaining the defining equations of the set of vertex locations where the dimension jumps.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 527-549 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let S be a set of noncrossing triangular obstacles in R 3 with convex hull H . A triangulation T of H is compatible with S if every triangle of S is the union of a subset of the faces of T. The weight of T is the sum of the areas of the triangles of T. We give a polynomial-time algorithm that computes a triangulation compatible with S whose weight is at most a constant times the weight of any compatible triangulation. One motivation for studying minimum-weight triangulations is a connection with ray shooting. A particularly simple way to answer a ray-shooting query (``Report the first obstacle hit by a query ray'') is to walk through a triangulation along the ray, stopping at the first obstacle. Under a reasonably natural distribution of query rays, the average cost of a ray-shooting query is proportional to triangulation weight. A similar connection exists for line-stabbing queries (``Report all obstacles hit by a query line'').
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 557-568 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. This paper presents a new lower bound of $2.414^d/\sqrt d$ on the maximal number of Nash equilibria in d×d bimatrix games, a central concept in game theory. The proof uses an equivalent formulation of the problem in terms of pairs of polytopes with 2d facets in d -space. It refutes a recent conjecture that 2 d -1 is an upper bound, which was proved for d≤4. The first counterexample is a 6×6 game with 75 equilibria. The case d=5 remains open. The result carries the lower bound closer to the previously known upper bound of $2.6^d/\sqrt d$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 569-579 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. By means of the Cayley Trick the problem of enumerating all regular fine mixed subdivisions is reduced to enumerating all regular triangulations. The set of all regular triangulations is well understood thanks to the bijection with the vertices of the secondary polytope. However, since we are only interested in the configurations of mixed cells in a mixed subdivision, we want to avoid dealing with other cells. We propose an operator derived from the bistellar flip for regular triangulations to modify a mixed-cell configuration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 581-601 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a characterization of the Gram matrices of spherical and finite-volume hyperbolic polytopes of a given combinatorial type. This is done in terms of the signs of certain minors of the Gram matrix.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 21 (1999), S. 603-613 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove the following theorem: Let T 1 and T 2 be two disjoint rooted trees with roots v 1 and v 2 , respectively, and let P be a set of |T1 $\cup$ T2| points in the plane in general position containing two specified points p 1 and p 2 . Then the union T 1 $\cup$ T 2 can be straight-line embedded onto P such that v 1 and v 2 correspond to p 1 and p 2 , respectively. Moreover, we give a O(n 2 log n) time algorithm for finding such an embedding, where n is the number of vertices contained in T 1 $\cup$ T 2 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 411-425 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let A be a polygon, and let s (A) denote the number of distinct nonsimilar triangles Δ such that A can be dissected into finitely many triangles similar to Δ . If A can be decomposed into finitely many similar symmetric trapezoids, then s(A)=∞ . This implies that if A is a regular polygon, then s(A)=∞ . In the other direction, we show that if s(A)=∞ , then A can be decomposed into finitely many symmetric trapezoids with the same angles. We introduce the following classification of tilings: a tiling is regular if Δ has two angles, α and β , such that at each vertex of the tiling the number of angles α is the same as that of β . Otherwise the tiling is irregular. We prove that for every polygon A the number of triangles that tile A irregularly is at most c ⋅ n 6 , where n is the number of vertices of A. If A has a regular tiling, then A can be decomposed into finitely many symmetric trapezoids with the same angles. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p411.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 437-445 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let F denote a family of pairwise disjoint convex sets in the plane. F is said to be in convex position if none of its members is contained in the convex hull of the union of the others. For any fixed k≥ 3 , we estimate P k (n) , the maximum size of a family F with the property that any k members of F are in convex position, but no n are. In particular, for k=3 , we improve the triply exponential upper bound of T. Bisztriczky and G. Fejes Tóth by showing that P 3 (n) 〈 16 n . 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p437.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 447-455 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The translative kissing number H(K) of a d -dimensional convex body K is the maximum number of mutually nonoverlapping translates of K which touch K . In this paper we show that there exists an absolute constant c 〉 0 such that H(K)≥ 2 cd for every positive integer d and every d -dimensional convex body K . We also prove a generalization of this result for pairs of centrally symmetric convex bodies. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p447.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 457-459 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let g(n) denote the least integer such that among any g(n) points in general position in the plane there are always n in convex position. In 1935, P. Erdős and G. Szekeres showed that g(n) exists and $2^{n-2}+1\le g(n)\le {2n-4\choose n-2}+1$ . Recently, the upper bound has been slightly improved by Chung and Graham and by Kleitman and Pachter. In this paper we further improve the upper bound to $$g(n)\le {2n-5\choose n-2}+2.$$ 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p457.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 461-469 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A geometric graph is a graph G=(V,E) drawn in the plane so that the vertex set V consists of points in general position and the edge set E consists of straight-line segments between points of V . Two edges of a geometric graph are said to be parallel if they are opposite sides of a convex quadrilateral. In this paper we show that, for any fixed k ≥ 3 , any geometric graph on n vertices with no k pairwise parallel edges contains at most O(n) edges, and any geometric graph on n vertices with no k pairwise crossing edges contains at most O(n log n) edges. We also prove a conjecture by Kupitz that any geometric graph on n vertices with no pair of parallel edges contains at most 2n-2 edges. 〈lsiheader〉 〈onlinepub〉26 June, 1998 〈editor〉Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; 〈pdfname〉19n3p461.pdf 〈pdfexist〉yes 〈htmlexist〉no 〈htmlfexist〉no 〈texexist〉yes 〈sectionname〉 〈/lsiheader〉
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 19 (1998), S. 485-519 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The paper bounds the combinatorial complexity of the Voronoi diagram of a set of points under certain polyhedral distance functions. Specifically, if S is a set of n points in general position in R d , the maximum complexity of its Voronoi diagram under the L ∞ metric, and also under a simplicial distance function, are both shown to be $\Theta(n^{\lceil d/2 \rceil})$ . The upper bound for the case of the L ∞ metric follows from a new upper bound, also proved in this paper, on the maximum complexity of the union of n axis-parallel hypercubes in R d . This complexity is $\Theta(n^{\left\lceil d/2 \right\rceil})$ , for d ≥ 1 , and it improves to $\Theta(n^{\left\lfloor d/2 \right\rfloor})$ , for d ≥ 2 , if all the hypercubes have the same size. Under the L 1 metric, the maximum complexity of the Voronoi diagram of a set of n points in general position in R 3 is shown to be $\Theta(n^2)$ . We also show that the general position assumption is essential, and give examples where the complexity of the diagram increases significantly when the points are in degenerate configurations. (This increase does not occur with an appropriate modification of the diagram definition.) Finally, on-line algorithms are proposed for computing the Voronoi diagram of n points in R d under a simplicial or L ∞ distance function. Their expected randomized complexities are $O(n \log n + n ^{\left\lceil d/2 \right\rceil})$ for simplicial diagrams and $O(n ^{\left\lceil d/2 \right\rceil} \log ^{d-1} n)$ for L ∞ -diagrams.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 167-176 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A collection of n hyperplanes in ${\Bbb R}$ d forms a hyperplane arrangement. The depth of a point $\theta \in {\Bbb R}^d$ is the smallest number of hyperplanes crossed by any ray emanating from θ . For d=2 we prove that there always exists a point θ with depth at least $\lceil n/3\rceil$ . For higher dimensions we conjecture that the maximal depth is at least $\lceil n/(d+1)\rceil$ . For arrangements in general position, an upper bound on the maximal depth is also established. Finally, we discuss algorithms to compute points with maximal depth.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 177-192 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Aleksandrov [1] proved that a simple convex d -dimensional polytope, d ≥ 3 , is infinitesimally rigid if the volumes of its facets satisfy a certain assumption of stationarity. We extend this result by proving that this assumption can be replaced by a stationarity assumption on the k -dimensional volumes of the polytope's k -dimensional faces, where k ∈{1,. . .,d-1} .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 193-200 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. It is proved that two convex bodies $K_1,K_2 \subset E^d$ are homothetic simplices if and only if the d -dimensional intersections $K_1 \cap (z + K_2)$ , z ∈ E d , belong to at most countably many homothety equivalence classes of convex bodies in E d .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 223-230 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Constructibility of simplicial complexes is a notion weaker than shellability. It is known that shellable pseudomanifolds are homeomorphic to balls or spheres but simplicial complexes homeomorphic to balls or spheres need not be shellable in general. Constructible pseudomanifolds are also homeomorphic to balls or spheres, but the existence of nonconstructible balls was not known. In this paper we study the constructibility of some nonshellable balls and show that some of them are not constructible, either. Moreover, we give a necessary and sufficient condition for the constructibility of three-dimensional simplicial balls, whose vertices are all on the boundary.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 283-286 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Let $\| \cdot \|$ be the euclidean norm on R n and let γ n be the (standard) Gaussian measure on R n with density $(2 \pi )^{-n/2} e^{- \| x\|^2/2}$ . Let $\vartheta$ ($ \simeq 1.3489795$) be defined by $\gamma_1 ([ - \vartheta /2, \vartheta /2]) = \frac{1}{2}$ and let L be a lattice in R n generated by vectors of norm ≤ϑ. Then, for any closed convex set V in R n with $\gamma_n (V) \geq \frac{1}{2}$ , we have $L + V = R^n$ (equivalently, for any $a \in {\bf R}^n$, $(a + L)\, \cap\, V \neq \emptyset$) . The above statement can also be viewed as a ``nonsymmetric'' version of the Minkowski theorem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 17 (1997), S. 243-255 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. A halving hyperplane of a set S of n points in R d contains d affinely independent points of S so that equally many of the points off the hyperplane lie in each of the two half-spaces. We prove bounds on the number of halving hyperplanes under the condition that the ratio of largest over smallest distance between any two points is at most $\delta n^{1/d}$ , δ some constant. Such a set S is called dense. In d = 2 dimensions the number of halving lines for a dense set can be as much as $\Omega (n \log n)$ , and it cannot exceed $O(n^{5/4}/\log^* n)$ . The upper bound improves over the current best bound of $O(n^{3/2}/\log^* n)$ which holds more generally without any density assumption. In d = 3 dimensions we show that $O(n^{7/3})$ is an upper bound on the number of halving planes for a dense set. The proof is based on a metric argument that can be extended to d≥ 4 dimensions, where it leads to $O(n^{d-{2}/{d}})$ as an upper bound for the number of halving hyperplanes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 259-268 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We prove tight lower bounds for the coefficients of the generalized h -vector of a rational polytope with a symmetry of prime order that is fixed-point free on the boundary. These bounds generalize results of Stanley and Adin for the h -vector of a simplicial rational polytope with a central symmetry or a symmetry of prime order, respectively.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 287-295 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The traversal of a self-crossing closed plane curve, with points of multiplicity at most two, defines a double occurrence sequence, the Gauss code of the curve. Using the D-switch operation, we give a new simple characterization of these sequences and deduce a simple self-contained proof of Rosenstiehl's characterization.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 269-285 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We consider the family of lines that are area bisectors of a polygon (possibly with holes) in the plane. We say that two bisectors of a polygon P are combinatorially distinct if they induce different partitionings of the vertices of P . We derive an algebraic characterization of area bisectors. We then show that there are simple polygons with n vertices that have Ω(n 2 ) combinatorially distinct area bisectors (matching the obvious upper bound), and present an output-sensitive algorithm for computing an explicit representation of all the bisectors of a given polygon.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 297-315 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present an easy to survey constructive method using only basic mathematics which allows us to define a homeomorphism between any compact real algebraic variety and some components of the configuration space of a mechanical linkage. The aim is to imitate addition and multiplication in the framework of weighted graphs in the euclidean plane that permit a ``mechanical description'' of polynomial functions, and thus of varieties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 411-424 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We apply a generalization of Crapo's β invariant to finite subsets of R n. For a finite subset C of the plane, we prove β(C)=|int (C)|, where |int (C)| is the number of interior points of C, i.e., the number of points of C which are not on the boundary of the convex hull of C . This gives the following formula: ΣK free (-1) |K|-1 |K|=|int(C)|.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 425-427 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We present a new construction of the root system H 4 .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 439-457 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The densest packings of n equal circles in a square have been determined earlier for n ≤ 20 and for n = 25, 36 . Several of these packings have been proved with the aid of a computer. The computer-aided approach is further developed here and the range is extended to n ≤ 27 . The optimal packings are depicted.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 459-475 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We show how to color the tiles in a heirarchical tiling system so that the resulting system is not only repetitive (i.e., has the local isomorphism property) but has prescribed color symmetries as well.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 429-438 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The number of triangles in arrangements of lines and pseudolines has been the object of some research. Most results, however, concern arrangements in the projective plane. In this article we add results for the number of triangles in Euclidean arrangements of pseudolines. Though the change in the embedding space from projective to Euclidean may seem small there are interesting changes both in the results and in the techniques required for the proofs. In 1926 Levi proved that a nontrivial arrangement—simple or not—of n pseudolines in the projective plane contains at least n triangles. To show the corresponding result for the Euclidean plane, namely, that a simple arrangement of n pseudolines contains at least n-2 triangles, we had to find a completely different proof. On the other hand a nonsimple arrangement of n pseudolines in the Euclidean plane can have as few as 2n/3 triangles and this bound is best possible. We also discuss the maximal possible number of triangles and some extensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 479-480 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. No abstract.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 481-504 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We give a simple combinatorial algorithm that computes a piecewise-linear approximation of a smooth surface from a finite set of sample points. The algorithm uses Voronoi vertices to remove triangles from the Delaunay triangulation. We prove the algorithm correct by showing that for densely sampled surfaces, where density depends on a local feature size function, the output is topologically valid and convergent (both pointwise and in surface normals) to the original surface. We briefly describe an implementation of the algorithm and show example outputs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 527-545 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. Randomized algorithms have, since the pioneering work of Clarkson and Shor, occupied the front stage of computational geometry. Yet despite their simplicity, they often cannot handle or be extended to cope with degenerate cases. The main goal of this paper is to show how, for the special case of convex hulls, a simple modification of the formulation of an on-line algorithm by Boissonnat et al., based on that of Clarkson and Shor, can handle the case of degenerate sets of points for computing convex hulls on-line in R d , for a fixed $d\geq 2$ . At the same time, a standard randomized analysis allows us to prove the expected time complexity to be within $O(n\log n+n^{{\lfloor{k/2}\rfloor}})$ , where k is the dimension of the convex hull. The latter bound is always $O(n\log n+n^{{\lfloor{d/2}\rfloor}})$ . The analysis uses connections between regions, pivots, flags, and barycentric triangulations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 547-567 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase the expected time complexity by only a constant factor and eliminate extra logarithmic factors in previous, often more complicated, deterministic approaches (such as parametric searching). Faster algorithms are thus obtained for a variety of problems in computational geometry: finding minimal k -point subsets, matching point sets under translation, computing rectilinear p -centers and discrete 1-centers, and solving linear programs with k violations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 505-525 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. We study the motion-planning problem for pairs and triples of robots operating in a shared workspace containing n obstacles. A standard way to solve such problems is to view the collection of robots as one composite robot, whose number of degrees of freedom is d , the sum of the numbers of degrees of freedom of the individual robots. We show that it is sufficient to consider a constant number of robot systems whose number of degrees of freedom is at most d-1 for pairs of robots, and d-2 for triples. (The result for a pair assumes that the sum of the number of degrees of freedom of the robots constituting the pair reduces by at least one if the robots are required to stay in contact; for triples a similar assumption is made. Moreover, for triples we need to assume that a solution with positive clearance exists.) We use this to obtain an O(n d ) time algorithm to solve the motion-planning problem for a pair of robots; this is one order of magnitude faster than what the standard method would give. For a triple of robots the running time becomes O(n d-1 ) , which is two orders of magnitude faster than the standard method. We also apply our method to the case of a collection of bounded-reach robots moving in a low-density environment. Here the running time of our algorithm becomes O(n log n) both for pairs and triples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Discrete & computational geometry 22 (1999), S. 569-592 
    ISSN: 1432-0444
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract. The straight skeleton of a polygon is a variant of the medial axis introduced by Aichholzer et al., defined by a shrinking process in which each edge of the polygon moves inward at a fixed rate. We construct the straight skeleton of an n -gon with r reflex vertices in time O(n 1+ε + n 8/11+ε r 9/11+ε ) , for any fixed ε 〉0 , improving the previous best upper bound of O(nr log n) . Our algorithm simulates the sequence of collisions between edges and vertices during the shrinking process, using a technique of Eppstein for maintaining extrema of binary functions to reduce the problem of finding successive interactions to two dynamic range query problems: (1) maintain a changing set of triangles in R 3 and answer queries asking which triangle is first hit by a query ray, and (2) maintain a changing set of rays in R 3 and answer queries asking for the lowest intersection of any ray with a query triangle. We also exploit a novel characterization of the straight skeleton as a lower envelope of triangles in R 3 . The same time bounds apply to constructing non-self-intersecting offset curves with mitered or beveled corners, and similar methods extend to other problems of simulating collisions and other pairwise interactions among sets of moving objects.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...