1224 search results - page 73 / 245 » Theory decision by decomposition |
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
211
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
118
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
101
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
The purpose of this study is to address questions on how collectivistic and individualistic cultures affect majority influence in a group decision making task when there are diffe...
96
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Substantial financial and technological investments by private and public organizations have resulted in the delivery of the third generation mobile technologies, although the jou...