• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 208
Next 10 →

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic∗

by Luca Bortolussi, Laura Nenzi
"... We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We con-sider a discrete location / patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch t ..."
Abstract - Add to MetaCart
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We con-sider a discrete location / patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch

A Framework of Spatio-Temporal Analysis for Video

by Duan-yu Chen A, Kevin Cannons B, Hsiao-rong Tyan C
"... Abstract—This paper presents a video surveillance system that is capable of detecting and classifying moving targets in real-time. The system extracts moving targets from a video stream and classifies them into predefined categories according to their spatiotemporal properties. Classification of the ..."
Abstract - Add to MetaCart
Abstract—This paper presents a video surveillance system that is capable of detecting and classifying moving targets in real-time. The system extracts moving targets from a video stream and classifies them into predefined categories according to their spatiotemporal properties. Classification

Mitigating Spam Using Spatio-Temporal Reputation

by Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee , 2010
"... In this paper we present Preventive Spatio-Temporal Aggregation (PRESTA), a reputation model that combines spatial and temporal features to produce values that are behavior predictive and useful in partial-knowledge situations. To evaluate its effectiveness, we applied PRESTA in the domain of spam d ..."
Abstract - Cited by 9 (8 self) - Add to MetaCart
In this paper we present Preventive Spatio-Temporal Aggregation (PRESTA), a reputation model that combines spatial and temporal features to produce values that are behavior predictive and useful in partial-knowledge situations. To evaluate its effectiveness, we applied PRESTA in the domain of spam

Estimation and Characterization of Nonlinear Behavior of Nonlinear Spatio-Temporal Systems

by Xingjian Jing, Hanwen Ning, Li Cheng
"... Traditional methods for the analysis of a PDE system rely on an analytical solution of the system, which is difficult to obtain for most nonlinear PDEs. Alternative methods such as qualitative analysis of solutions or numerical methods for an approximation are studied using functional analysis and g ..."
Abstract - Add to MetaCart
and generalized function theory [2], or finite element methods and difference methods [3]. Identification of STSs has also been studied recently using finite dimensional parametric MIMO models to approximate infinite dimensional systems [4]. The estimation of spatio-temporal systems is formulated into a

reports/916 Mitigating Spam Using Spatio-Temporal Reputation ∗

by Jian Chang, Insup Lee, Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee
"... In this paper we present Preventive Spatio-Temporal Aggregation (PRESTA), a reputation model that combines spatial and temporal features to produce values that are behavior predictive and useful in partial-knowledge situations. To evaluate its effectiveness, we applied PRESTA in the domain of spam d ..."
Abstract - Add to MetaCart
In this paper we present Preventive Spatio-Temporal Aggregation (PRESTA), a reputation model that combines spatial and temporal features to produce values that are behavior predictive and useful in partial-knowledge situations. To evaluate its effectiveness, we applied PRESTA in the domain of spam

Instabilities in spatially extended

by Martin Baurmann A, Thilo Gross B, Ulrike Feudel A
"... predator-prey systems: Spatio-temporal patterns in the neighborhood of Turing-Hopf bifurcations ..."
Abstract - Add to MetaCart
predator-prey systems: Spatio-temporal patterns in the neighborhood of Turing-Hopf bifurcations

Stochastic Simulation

by Gerard B. M. Heuvelink
"... The call for the development of geographical information systems that can handle uncertain data dates back at least twenty years. Many research groups have since worked on the design of an ‘error-aware GIS’, but very few – perhaps none – have reached the operational stage. Recently, the Data Uncerta ..."
Abstract - Add to MetaCart
Uncertainty Engine (DUE) was developed to fill this gap. DUE assists users in the assessment of uncertainties in environmental data and stores these in a spatio-temporal database. Uncertain environmental data are represented in DUE as objects whose positions and attribute values may be uncertain. Uncertainty

Compositional Experimental Analysis of Cellular Automata: Attraction Properties and Logic Disjunction

by P. Flocchini, F. Geurts, N. Santoro , 1996
"... In this paper, we analyze attraction properties of elementary (i.e. Boolean, one-dimensional, bi-infinite) cellular automata (for short, CA). To overcome the well-known undecidability constraints met by these systems, in addition to the classical extensive use of computer simulations, we introduc ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
introduce composition: we first characterize basis CA, which we then use as building blocks to understand a whole family of CA-based systems obtained by composing them using logic disjunction. The compositional approach allows deep structured investigations, and it permits to define a new notion

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
of her/his/their action. The consolidation of shared meaning through cr ystallization of practices in spatio-temporal con gurations creates cultures, that is systems of values and beliefs informing codes of behaviour. There is no systemic dominance in this matrix of relationships. There are all layers

Benchmark Analysis

by Michael D. Hendricks, Robert D. Franzosa, Professor Of Mathematics, D. Hendricks - of MCNP ENDF/B-VI Iron”, LA-12884, Los Alamos National Laboratory , 1994
"... Wayfinders typically travel in dynamic environments where barriers and requirements change over time. In many cases, uncertainty exists about the future state of this changing environment. Current geographic information systems lack tools to assist wayfinders in understanding the travel possibilitie ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
. The model to address indiscemibility employs a threevalued logic to indicate accessible space, inaccessible space, and possibly inaccessible space. Uncertain scenarios generate up to fifteen distinct travel possibility categories. These fifteen categories generalize into three-valued travel possible
Next 10 →
Results 1 - 10 of 208
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University