Sciweavers

2949 search results - page 279 / 590
» Universal Sparse Modeling
Sort
View
BIRTHDAY
2005
Springer
15 years 10 months ago
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
Hans Jürgen Ohlbach
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 6 months ago
SAT-based Unbounded Model Checking of Timed Automata
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 ...
Wojciech Penczek, Maciej Szreter
ECIS
2003
15 years 5 months ago
An integrative model of consumer trust in internet shopping
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...
Christy M. K. Cheung, Matthew K. O. Lee
ECIS
2003
15 years 5 months ago
Assessing web-based electronic services adoption model (E-SAM)
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...
Kamaljeet Sandhu, Brian J. Corbitt
AAAI
1993
15 years 5 months ago
Numerical Behavior Envelopes for Qualitative Models
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
Herbert Kay, Benjamin Kuipers