1633 search results - page 326 / 327 » On the Verification of Temporal Properties |
82
Voted
NN
2007
Springer
14 years 11 months ago
2007
Springer
The temporal evolution of nearshore sandbars (alongshore ridges of sand fringing coasts in water depths less than 10 m and of paramount importance for coastal safety) is commonly ...
PVLDB
2008
14 years 11 months ago
2008
Sequence data is ubiquitous and finding frequent sequences in a large database is one of the most common problems when analyzing sequence data. Unfortunately many sources of seque...
99
Voted
JOCN
2010
14 years 10 months ago
2010
■ Neuroimaging studies suggest that a fronto-parietal network is activated when we expect visual information to appear at a specific spatial location. Here we examined whether a...
107
Voted
PVLDB
2010
14 years 10 months ago
2010
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
103
click to vote
IGARSS
2009
14 years 9 months ago
2009
In the last three decades, significant advances have been made in mapping and monitoring environmental changes from Earth Observation satellites across a range of spatial and temp...