9405 search results - page 454 / 1881 » Computing a Model of Set Theory |
189
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
227
click to vote
ICC
2011
IEEE
14 years 7 months ago
2011
IEEE
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
194
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
174
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— There has been a significant amount of work analyzing the Internet AS (Autonomous System)-level topology which gives rise to a number of topology models. Although each of thes...
194
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...