We show that people’s travel destinations are predictable based on simple features of their home and destination. Using geotagged Twitter data from over 200,000 people in the U.S., with a median of 10 visits per user, we use machine learning to classify whether or not a person will visit a given location. We find that travel distance is the most important predictive feature. Ignoring distance, ...

This article describes a simple unsupervised system for automatic extraction and classification of named entities in French novels. The solution presented combines a set of different standalone classifiers within a meta-recognition system. The system is tested on 35 classic French novels, representing 5 million words and 3,700 names of people and places. The results demonstrate that although no...

In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.

Rivest and Lampson have recently introduced SDSI, a Simple Distributed Security Infrastructure. One of the important innovations of SDSI is the use of linked local name spaces. This paper suggests a logical explanation of SDSI’s local name spaces, as a complement to the operational explanation given in the SDSI definition.

This paper describes a method for validating specifications written in the CCITT language SDL. The method has been implemented as part of an experimental validation system. With the experimental system we have been able to perform exhaustive analyses of systems with over 250 million reachable composite system states. The practicality of the tool for the analysis of substantial portions of AT&T'...

Status of this Memo This memo provides information for the Internet community. It does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Abstract The purpose of this document is to provide an overview of the third version of the Internet-standard Management Framework, termed the SNMP version 3 Framework (SNMPv3). This Framework is derived from and builds upon...

We extend the random permutation model to obtain the best linear unbiased estimator of a finite population mean accounting for auxiliary variables under simple random sampling without replacement (SRS) or stratified SRS. The proposed method provides a systematic design-based justification for well-known results involving common estimators derived under minimal assumptions that do not require sp...

Beliefs are a central determinant of behavior. Recent models have assumed that beliefs about or the anticipation of future consumption can have direct utility-consequences. This gives rise to informational preferences, i.e., preferences over the timing and structure of information. Using a novel and purposefully simple set-up, we experimentally test key predictions about preferences for informa...