Sciweavers

2862 search results - page 403 / 573
» Bicriteria Network Design Problems
Sort
View
IAT
2006
IEEE
16 years 17 days ago
Enhanced Recommendations through Propagation of Trust and Distrust
The incorporation of a trust network among the users of a recommender system (RS) proves beneficial to the quality and amount of recommendations. Involving also distrust can offe...
Patricia Victor, Chris Cornelis, Martine De Cock
IJCNN
2006
IEEE
16 years 16 days ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 1 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
ELPUB
1999
ACM
15 years 10 months ago
A Structured Link Document as a New Means for Composing and Publishing Technical Customer Documentation in Extranets and Intrane
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
Anneli Heimbürger
AAAI
2006
15 years 8 months ago
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...
Robert T. Effinger, Brian C. Williams