1743 search results - page 319 / 349 » Generalized Modal Satisfiability |
170
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
The selection of a cost-minimizing combination of hardware and network components that satisfy organizational requirements is a complex design problem with multiple degrees of fre...
152
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
170
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Typical approaches for querying structured Web Data collect (crawl) and pre-process (index) large amounts of data in a central data repository before allowing for query answering....
217
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
140
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Mobility and the New Global Economy are accompanied by requirements for dynamism and flexibility, with respect to e-commerce, inter-organizational activity, and security. The clas...