1224 search results - page 73 / 245 » Theory decision by decomposition |
BIRTHDAY
2010
Springer
14 years 7 days 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...
PLDI
2009
ACM
14 years 11 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...
ATAL
2009
Springer
14 years 5 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...
HICSS
2006
IEEE
14 years 5 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...
HICSS
2005
IEEE
14 years 4 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...