868 search results - page 93 / 174 » Unification of Temporal Data Models |
110
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
105
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
155
click to vote
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Video classi cation and segmentation are fundamental steps for e cient accessing, retrieving and browsing large amount of video data. We have developed a scene classi cationscheme...
110
click to vote
DKE
2007
15 years 20 days ago
2007
One of the main factors for the knowledge discovery success is related to the comprehensibility of the patterns discovered by applying data mining techniques. Amongst which we can...
100
Voted
IJON
2008
15 years 21 days ago
2008
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...