Sciweavers

2761 search results - page 467 / 553
» Collaborative model merging
Sort
View
POPL
1991
ACM
14 years 1 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
WSC
2008
14 years 11 days ago
Simulating culture: An experiment using a multi-user virtual environment
With increased levels of global trade, foreign policy making, foreign travel, and distance collaboration using the Internet, the issue of culture takes center stage. One needs to ...
Paul A. Fishwick, Julie Henderson, Elinore Fresh, ...
ADBIS
2006
Springer
160views Database» more  ADBIS 2006»
14 years 1 days ago
Data Ring: Let Us Turn the Net into a Database!
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
Serge Abiteboul, Neoklis Polyzotis
ECAI
2008
Springer
13 years 11 months ago
Coalition Structures in Weighted Voting Games
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
Edith Elkind, Georgios Chalkiadakis, Nicholas R. J...
ESWS
2008
Springer
13 years 11 months ago
Resolving Lexical Ambiguities in Folksonomy Based Search Systems through Common Sense and Personalization
Information on Web2.0, generated by users of web based services, is both difficult to organize and organic in nature. Content categorization and search in such situation offers cha...
Mohammad Nauman, Shahbaz Khan 0003, Muhammad Amin,...