Sciweavers

3319 search results - page 339 / 664
» Type Theoretical Databases
Sort
View
TARK
2009
Springer
15 years 10 months ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets
ACSC
2008
IEEE
15 years 10 months ago
Automatic thesaurus construction
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
Dongqiang Yang, David M. W. Powers
190
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
Cooperative and Non-Cooperative Aloha Games with Channel Capture
—Game theory has been a useful tool for the analysis of random-access based wireless networks due to their decentralized operations. This paper studies one of the most widely use...
Younggeun Cho, Fouad A. Tobagi
112
Voted
HICSS
2008
IEEE
104views Biometrics» more  HICSS 2008»
15 years 10 months ago
Enterprise Adoption of ICT Innovations: Multi-disciplinary Literature Analysis and Future Research Opportunities
Enterprise adoption of information and communication technology innovations has been a topic of tremendous interest to both practitioners and researchers. The influence of technol...
Rahul C. Basole
111
Voted
AAIM
2008
Springer
119views Algorithms» more  AAIM 2008»
15 years 10 months ago
Engineering Comparators for Graph Clusterings
A promising approach to compare two graph clusterings is based on using measurements for calculating the distance between them. Existing measures either use the structure of cluste...
Daniel Delling, Marco Gaertler, Robert Görke,...