1650 search results - page 235 / 330 » The HOM problem is decidable |
150
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
256
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
251
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...
255
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...