4987 search results - page 447 / 998 » Support Ordered Resolution |
162
Voted
WEA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Graphs can be represented symbolically by the Ordered Binary Decision Diagram (OBDD) of their characteristic function. To solve problems in such implicitly given graphs, ...
180
Voted
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
192
Voted
SIGCOMM
2003
ACM
16 years 3 days ago
2003
ACM
Napster pioneered the idea of peer-to-peer file sharing, and supported it with a centralized file search facility. Subsequent P2P systems like Gnutella adopted decentralized sea...
167
click to vote
AP2PC
2003
Springer
16 years 3 days ago
2003
Springer
Open trading environments involve a type of peer-to-peer computing characterised by well-defined interaction protocols that are used by the traders and sometimes updated dynamicall...
167
Voted
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet marketplaces are now faced with new challenges that arise from the need to seamlessly integrate enormous number of product catalogs from different sources. In order to he...