21993 search results - page 116 / 4399 » Evolution of Data Models |
109
click to vote
ACL
2006
15 years 4 months ago
2006
In this paper, we propose an implementable characterization of genre suitable for automatic genre identification of web pages. This characterization is implemented as an inferenti...
FUIN
2006
15 years 3 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
107
click to vote
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper concerns the characterization of clouds on meteorological satellite image sequences through points trajectories. These temporal curves can be computed from the result o...
131
click to vote
IWDC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Despite their crucial impact on the performances of p2p systems, very few is known on peers behaviors in such networks. We propose here a study of these behaviors in a ru...
179
click to vote
TSE
2011
14 years 10 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...