1743 search results - page 251 / 349 » Generalized Modal Satisfiability |
170
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
152
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
127
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...
158
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
163
click to vote
EDBT
2008
ACM
15 years 6 months ago
2008
ACM
The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...