1127 search results - page 162 / 226 » Theory Extension in ACL2(r) |
155
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...
187
click to vote
CIKM
2009
Springer
16 years 23 days ago
2009
Springer
With the ubiquity of information networks and their broad applications, the issue of similarity computation between entities of an information network arises and draws extensive r...
160
click to vote
FCT
2009
Springer
16 years 22 days ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
163
click to vote
OTM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Web portals hosting large-scale internet applications have become popular due to the variety of services they provide to their users. These portals are developed using co...
147
click to vote
SPIRE
2009
Springer
16 years 21 days ago
2009
Springer
The directed graph representation of the World Wide Web has been extensively used to analyze the Web structure, behavior and evolution. However, those graphs are huge and do not ...