2293 search results - page 113 / 459 » Temporal Logic in Information Systems |
190
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
327
click to vote
TCSV
2011
15 years 1 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
178
click to vote
ISCIS
2004
Springer
16 years 7 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
176
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Page revisiting is a popular browsing activity in the Web. In this paper we describe a method for improving page revisiting by detecting and highlighting the information ...