Sciweavers

1005 search results - page 133 / 201
» Temporal Structures
Sort
View
ROOM
2000
14 years 11 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
ADHOCNOW
2008
Springer
14 years 11 months ago
A Novel Mobility Model from a Heterogeneous Military MANET Trace
In this paper we describe our analysis of a real trace and propose a mobility model. The trace data we used for this study was collected from a military experiment carried out in L...
Xiaofeng Lu, Yung-chih Chen, Ian X. Y. Leung, Zhan...
IJCV
2007
104views more  IJCV 2007»
14 years 10 months ago
Fixation as a Mechanism for Stabilization of Short Image Sequences
A novel method is introduced for the stabilization of short image sequences. Stabilization is achieved by means of fixation of the central image region using a variable window siz...
Karl Pauwels, Markus Lappe, Marc M. Van Hulle
TCS
2008
14 years 10 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
AMAI
2002
Springer
14 years 10 months ago
Modeling Moving Objects over Multiple Granularities
This paper introduces a framework for modeling the movement of objects or individuals over multiple granularities. Granularity refers to selecting the appropriate level of detail ...
Kathleen Hornsby, Max J. Egenhofer