11063 search results - page 201 / 2213 » On the existence of universal models |
181
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
134
click to vote
ECIS
2003
15 years 8 months ago
2003
Despite the phenomenal growth of Internet users, the penetration rate of Internet shopping remains low. Previous works suggesting that the lack of trust is the major impediment st...
141
click to vote
ECIS
2003
15 years 8 months ago
2003
Web-based electronic service (e-service) end-user adoption and implementation requires an assessment of consumer contextual factors. This paper investigates factors which affect e...
157
click to vote
AAAI
1993
15 years 7 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
177
click to vote
ETS
2006
IEEE
15 years 6 months ago
2006
IEEE
Typically, most research and academic institutions own and archive a great amount of objects and research related resources that have been produced, used and maintained over long ...