The advent of Internet-based communication and its utilization in intranets is accompanied by a deeper insight into the status of natural language texts as units of information processing in organizations. Their task specific accessibility and user-friendly pre-processing are decisive for efficient knowledge sharing in social, academic, and economic contexts. In order to realize this demand, te...

Internet privacy policies are complex and difficult to use. In the eyes of end-users, website policies appear to be monolithic blocks of poorly structured texts that are difficult to parse when attempting to retrieve specific information. In an increasingly privacy-aware society, end-users must be able to easily access privacy policies while navigating a website’s pages and readily understand t...

Location information is a set of data describing an individual geographical location. This information can be used in many ways to provide information and entertainment services to the user who has the require devices and resources to operate such services. However, different challenges are reported in terms o availability and homogeneity. These challenges are mainly focused on the integration,...

In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the collected data to the end users through a personalized portal. The system intends to collect articles from major news portals and, following an algorithmic procedure, to create a more user friendly and personalized “vie...

Non-technical users are increasingly adding structures to their data.This gives rise to the need for database design. However, traditionaldatabase design is deliberate and heavy-weight, requiring techni-cal expertise that everyday users may not possess. For this reason,we propose that users of personal data management applicationsshould be able to create and refine data ...

ÐA compositional verification method from a high-level resource-management standpoint is presented for dense-time concurrent systems and implemented in the tool of SGM (State-Graph Manipulators) with graphical user interface. SGM packages sophisticated verification technology into state-graph manipulators and provides a user interface which views state-graphs as basic data-objects. Hence, users...