1743 search results - page 205 / 349 » Generalized Modal Satisfiability |
146
Voted
DPC
1996
15 years 5 months ago
1996
Retrieving images from very large collections, using image content as a key, is becoming an important problem. Users prefer to ask for pictures using notions of content that are st...
140
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
215
Voted
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
155
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
159
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...