Results 1 - 10
of
208
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic∗
"... 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
"... 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
, 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
"... 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 ∗
"... 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
"... 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
"... 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
, 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.
- 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
- 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
Results 1 - 10
of
208