2409 search results - page 449 / 482 » Logical systems for structured specifications |
KDD
2007
ACM
14 years 8 months ago
2007
ACM
Many websites have large collections of pages generated dynamically from an underlying structured source like a database. The data of a category are typically encoded into similar...
PODS
2005
ACM
14 years 8 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
UIST
2004
ACM
14 years 1 months ago
2004
ACM
Traditionally, computer interfaces have been confined to conventional displays and focused activities. However, as displays become embedded throughout our environment and daily li...
HICSS
1999
IEEE
14 years 23 days ago
1999
IEEE
The Technology Acceptance Model (TAM) represents an important theoretical contribution toward understanding IS usage and IS acceptance behaviors [6, 19]. However, as noted by seve...