The Experts below are selected from a list of 170601 Experts worldwide ranked by ideXlab platform
Cristina Dutra De Aguiar Ciferri - One of the best experts on this subject based on the ideXlab platform.
-
the vaguegeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been increasingly required by geoscientists to handle vague spatial objects , that is, spatial objects found in real-world phenomena that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle spatial vagueness in spatial database management systems and Geographical Information Systems (GIS) since they mainly provide support to crisp spatial objects , that is, objects that have well-defined locations, boundaries, and interiors. In this article, we propose VagueGeometry, a novel abstract data type that allows users to manipulate vague spatial objects in spatial applications and GIS. The main advantages of our VagueGeometry are that (i) it offers textual and binary representations for vague spatial objects, (ii) it includes an expressive set of vague spatial operations, (iii) it supports SQL operators, and (iv) its implementation is open source. We also propose an improvement of VagueGeometry to deal efficiently with the processing of vague topological predicates. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 21% up to 98% if compared with functionalities available in current spatial databases.
-
Handling Fuzzy Points and Fuzzy Lines using the FuzzyGeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial objects are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague or fuzzy spatial objects are characterized by uncertain or blurred boundaries and interiors. Despite the importance of fuzzy spatial data in spatial applications, few related work indeed implement them. In addition, related work do not define abstract data types to enable the management of fuzzy spatial objects by using database management systems (DBMS). In this article, we propose the abstract data type FuzzyGeometry to handle fuzzy spatial objects in the PostgreSQL DBMS. Its implementation is open source. It offers management for fuzzy point objects and fuzzy line objects as well as provides several operations to handle them. As a result, users are able to access PostgreSQL in order to use fuzzy spatial objects in spatial queries.
-
embedding vague spatial objects into spatial databases using the vaguegeometry abstract data type
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been required by geoscientists to handle vague spatial objects, i.e., spatial objects that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle these objects in spatial database management systems since they mainly provide support to crisp spatial objects, i.e., objects that have well-defined locations, boundaries, and interiors. In this paper, we fill this gap by proposing VagueGeometry, a novel abstract data type that handles vague spatial objects, includes an expressive set of vague spatial operations, and its implementation is open source. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 23% up to 84% if compared with functionalities available in current spatial databases.
-
an abstract data type to handle vague spatial objects based on the fuzzy model
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial data are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague spatial data are characterized by inaccurate locations or uncertain boundaries. Despite the im- portance of vague spatial data in spatial applications, few related work indeed implement vague spatial data and they do not define abstract data types to en- able the management of vague spatial data by using database management sys- tems. In this sense, we propose the abstract data type FuzzyGeometry to handle vague spatial data based on the fuzzy model. FuzzyGeometry was developed as a PostgreSQL extension and its implementation is open source. It offers man- agement for fuzzy points and fuzzy lines. As a result, spatial applications are able to access the PostgreSQL to handle vague spatial objects.
John Mcbrewster - One of the best experts on this subject based on the ideXlab platform.
-
abstract data type computing mathematics data structure data type programming language semantics computational complexity theory stack data structure interface computer science
2010Co-Authors: Frederic P. Miller, Agnes F. Vandome, John McbrewsterAbstract:In computing, an abstract data type or abstract data structure is a mathematical model for a certain class of data structures that have similar behavior; or for certain data types of one or more programming languages that have similar semantics. An abstract data type is defined indirectly, only by the operations that may be performed on it and by mathematical constraints on the effects (and possibly cost) of those operations. For example, an abstract stack data structure could be defined by two operations: push, that inserts some data item into the structure, and pop, that extracts an item from it; with the constraint that each pop always returns the most recently pushed item that has not been popped yet. When analyzing the efficiency of algorithms that use stacks, one may also specify that both operations take the same time no matter how many items have been pushed into the stack, and that the stack uses a constant amount of storage for each element.
-
Linked list: Computer science, data structure, Reference (computer science), abstract data type, Stack (data structure), Queue (data structure), Hash table
2009Co-Authors: Frederic P. Miller, Agnes F. Vandome, John McbrewsterAbstract:In computer science, a linked list is a data structure that consists of a sequence of data records such that in each record there is a field that contains a reference (i.e., a link) to the next record in the sequence. Linked lists are among the simplest and most common data structures, and are used to implement many important abstract data structures, such as stacks, queues, hash tables, symbolic expressions, skip lists, and many more. The principal benefit of a linked list over a conventional array is that the order of the linked items may be different from the order that the data items are stored in memory or on disk. For that reason, linked lists allow insertion and removal of nodes at any point in the list, with a constant number of operations. On the other hand, linked lists by themselves do not allow random access to the data, or any form of efficient indexing. Thus, many basic operations ? such as obtaining the last node of the list, or finding a node that contains a given datum, or locating the place where a new node should be inserted ? may require scanning most of the list elements. Linked lists can be implemented in most languages.
-
Monad - Functional Programming
2009Co-Authors: Frederic P. Miller, Agnes F. Vandome, John McbrewsterAbstract:Monad (Functional Programming). Monoid, Monad Transformer, Strong Monad, Functional Programming, Control Flow, abstract data type, Imperative Programming
Anderson Chaves Carniel - One of the best experts on this subject based on the ideXlab platform.
-
the vaguegeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been increasingly required by geoscientists to handle vague spatial objects , that is, spatial objects found in real-world phenomena that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle spatial vagueness in spatial database management systems and Geographical Information Systems (GIS) since they mainly provide support to crisp spatial objects , that is, objects that have well-defined locations, boundaries, and interiors. In this article, we propose VagueGeometry, a novel abstract data type that allows users to manipulate vague spatial objects in spatial applications and GIS. The main advantages of our VagueGeometry are that (i) it offers textual and binary representations for vague spatial objects, (ii) it includes an expressive set of vague spatial operations, (iii) it supports SQL operators, and (iv) its implementation is open source. We also propose an improvement of VagueGeometry to deal efficiently with the processing of vague topological predicates. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 21% up to 98% if compared with functionalities available in current spatial databases.
-
Handling Fuzzy Points and Fuzzy Lines using the FuzzyGeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial objects are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague or fuzzy spatial objects are characterized by uncertain or blurred boundaries and interiors. Despite the importance of fuzzy spatial data in spatial applications, few related work indeed implement them. In addition, related work do not define abstract data types to enable the management of fuzzy spatial objects by using database management systems (DBMS). In this article, we propose the abstract data type FuzzyGeometry to handle fuzzy spatial objects in the PostgreSQL DBMS. Its implementation is open source. It offers management for fuzzy point objects and fuzzy line objects as well as provides several operations to handle them. As a result, users are able to access PostgreSQL in order to use fuzzy spatial objects in spatial queries.
-
embedding vague spatial objects into spatial databases using the vaguegeometry abstract data type
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been required by geoscientists to handle vague spatial objects, i.e., spatial objects that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle these objects in spatial database management systems since they mainly provide support to crisp spatial objects, i.e., objects that have well-defined locations, boundaries, and interiors. In this paper, we fill this gap by proposing VagueGeometry, a novel abstract data type that handles vague spatial objects, includes an expressive set of vague spatial operations, and its implementation is open source. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 23% up to 84% if compared with functionalities available in current spatial databases.
-
an abstract data type to handle vague spatial objects based on the fuzzy model
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial data are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague spatial data are characterized by inaccurate locations or uncertain boundaries. Despite the im- portance of vague spatial data in spatial applications, few related work indeed implement vague spatial data and they do not define abstract data types to en- able the management of vague spatial data by using database management sys- tems. In this sense, we propose the abstract data type FuzzyGeometry to handle vague spatial data based on the fuzzy model. FuzzyGeometry was developed as a PostgreSQL extension and its implementation is open source. It offers man- agement for fuzzy points and fuzzy lines. As a result, spatial applications are able to access the PostgreSQL to handle vague spatial objects.
Fernando Perez Morente - One of the best experts on this subject based on the ideXlab platform.
-
an innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications
International Conference on Conceptual Structures, 2012Co-Authors: Rafael Del Vado Viirseda, Fernando Perez MorenteAbstract:abstract This paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner. Maude specifications are executable, which provides two advan-tages: firstly, we can test our specifications and, secondly, we can obtain the results of the test cases automatically. We focus our test cases on the correctness of the obtained data values generated from the Maude specification based on the data type constructors and the corresponding membership axioms. The observation of the implementation under test is done for each abstract data type through explicit methods defined by the user. The teaching tool is fully integrated in the Eclipse environment and is platform-independent. We have developed an Eclipse plug-in that calls the Maude system to generate the test cases and translates them into a sequence of C++ instructions. The C++ instructions are compiled and executed, and the results are compared with the results obtained from the formal algebraic specification. This educational tool is being used during this academic year by the Computer Science students in a data types course. They have tested typical abstract data type implementations, like complex numbers, stacks, lists, and binary search trees, as well as other data types based on them.
Ricardo Rodrigues Ciferri - One of the best experts on this subject based on the ideXlab platform.
-
the vaguegeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been increasingly required by geoscientists to handle vague spatial objects , that is, spatial objects found in real-world phenomena that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle spatial vagueness in spatial database management systems and Geographical Information Systems (GIS) since they mainly provide support to crisp spatial objects , that is, objects that have well-defined locations, boundaries, and interiors. In this article, we propose VagueGeometry, a novel abstract data type that allows users to manipulate vague spatial objects in spatial applications and GIS. The main advantages of our VagueGeometry are that (i) it offers textual and binary representations for vague spatial objects, (ii) it includes an expressive set of vague spatial operations, (iii) it supports SQL operators, and (iv) its implementation is open source. We also propose an improvement of VagueGeometry to deal efficiently with the processing of vague topological predicates. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 21% up to 98% if compared with functionalities available in current spatial databases.
-
Handling Fuzzy Points and Fuzzy Lines using the FuzzyGeometry abstract data type
Journal of Information and Data Management, 2016Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial objects are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague or fuzzy spatial objects are characterized by uncertain or blurred boundaries and interiors. Despite the importance of fuzzy spatial data in spatial applications, few related work indeed implement them. In addition, related work do not define abstract data types to enable the management of fuzzy spatial objects by using database management systems (DBMS). In this article, we propose the abstract data type FuzzyGeometry to handle fuzzy spatial objects in the PostgreSQL DBMS. Its implementation is open source. It offers management for fuzzy point objects and fuzzy line objects as well as provides several operations to handle them. As a result, users are able to access PostgreSQL in order to use fuzzy spatial objects in spatial queries.
-
embedding vague spatial objects into spatial databases using the vaguegeometry abstract data type
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Spatial vagueness has been required by geoscientists to handle vague spatial objects, i.e., spatial objects that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle these objects in spatial database management systems since they mainly provide support to crisp spatial objects, i.e., objects that have well-defined locations, boundaries, and interiors. In this paper, we fill this gap by proposing VagueGeometry, a novel abstract data type that handles vague spatial objects, includes an expressive set of vague spatial operations, and its implementation is open source. Experimental results show that VagueGeometry improved the performance of spatial queries with vague topological predicates from 23% up to 84% if compared with functionalities available in current spatial databases.
-
an abstract data type to handle vague spatial objects based on the fuzzy model
Brazilian Symposium on GeoInformatics, 2015Co-Authors: Anderson Chaves Carniel, Ricardo Rodrigues Ciferri, Cristina Dutra De Aguiar CiferriAbstract:Crisp spatial data are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague spatial data are characterized by inaccurate locations or uncertain boundaries. Despite the im- portance of vague spatial data in spatial applications, few related work indeed implement vague spatial data and they do not define abstract data types to en- able the management of vague spatial data by using database management sys- tems. In this sense, we propose the abstract data type FuzzyGeometry to handle vague spatial data based on the fuzzy model. FuzzyGeometry was developed as a PostgreSQL extension and its implementation is open source. It offers man- agement for fuzzy points and fuzzy lines. As a result, spatial applications are able to access the PostgreSQL to handle vague spatial objects.