4629 search results - page 377 / 926 » Space Kernel Analysis |
191
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
213
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
184
click to vote
APCCM
2008
15 years 8 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
153
click to vote
ESANN
2003
15 years 8 months ago
2003
We propose the use of the Gabriel graph for the exploratory analysis of potentially high dimensional labeled data. Gabriel graph is a subgraph of the Delaunay triangulation, which ...
168
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This study extends the web classification approach through a proximity-based fuzzy clustering sensible to the influence of the page. The proximity-based fuzzy clustering works in ...