In recent years, Twitter has become a valuable source of information regarding the public perception of products, services, and events. Not only have many sport organizations embraced Twitter as a communication mechanism, the public and collaborative nature of Twitter has allowed fans to communicate with and respond to the organizers, as well as with one another. As a result, Twitter represents...

EvIdentTM (EVent IDENTification) is a user-friendly, algorithm-rich, graphical environment for detecting, investigating, and visualizing novelty in a set of images. Novelty is identified for a region of interest and its associated characteristics. For functional magnetic resonance imaging, for instance, a characteristic of the region of interest is a time course, which represents the intensity ...

Resumen. Las vistas son una importante funcionalidad proporcionada por los sistemas de bases de datos relacionales que no ha sido posible trasladar satisfactoriamente a los sistemas de bases de datos orientadas a objetos. En este trabajo presentamos una propuesta para incluir vistas en el estándar ODMG, extendiendo el modelo de objetos, el lenguaje ODL y la ligadura (binding) a C++. En el model...

Specification Implementation Refine Algorithm Figure 1.3: The Re nement Hierarchy concerns whether the algorithm is correct with respect to the abstract speci cation, that is, whether the semantics of a source program is preserved in the code that the algorithm speci es should be produced. By far the majority of compiler correctness work described in the literature is concerned with this form o...

We describe the formal machine-checked veriication of a simple compiler speciication using the HOL theorem proving system. The language and microprocessor considered are a subset of the structured assembly language Vista, and the VIPER microprocessor, respectively. Our work is directly applicable to a family of languages and compilers. We discuss how the correctness theorem and veriied compiler...

72 1094-7167/02/$17.00 © 2002 IEEE IEEE INTELLIGENT SYSTEMS Arizona Department of Transportation (ADOT) has identified the need for a third lane on I-10 in each direction between the two cities by 2005 and a fourth lane by 2020. Research shows that deploying IVs is feasible and beneficial if the communication and electronics infrastructure can be incorporated with minimal additional cost into t...

A computação ubíqua é caracterizada como um novo paradigma onde o poder de processamento está disponível de forma onipresente e imperceptível no ambiente do usuário. Explorar este paradigma em projetos de software permite tratar soluções para problemas até então inviáveis devido a suas características gerais de utilização e acesso. Assim, essa pesquisa visa evoluir uma abordagem de apoio à defi...

Parallel Analysis is a Monte Carlo simulation technique that aids researchers in determining the number of factors to retain in Principal Component and Exploratory Factor Analysis. This method provides a superior alternative to other techniques that are commonly used for the same purpose, such as the Scree test or the Kaiser’s eigenvalue-greater-than-one rule. Nevertheless, Parallel Analysis is...

On May 30, 2002, investigators in Storm Lake, Iowa found a dead baby at a recycling center. The four-day-old boy had been run through a shredding device. In search of more information to assist in investigating the crime, the county attorney subpoenaed records from the Planned Parenthood of Greater Iowa, a women’s clinic, seeking the names of women receiving pregnancy tests from August 2001 to ...