2949 search results - page 497 / 590 » Universal Sparse Modeling |
ACSE
2000
ACM
14 years 1 months ago
2000
ACM
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
DIGITALCITIES
2000
Springer
14 years 1 months ago
2000
Springer
Community networks are community-oriented information and communication systems that are generally patterned after the public library’s model of free, inclusive service and commi...
AGP
1999
IEEE
14 years 1 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
DEXA
1999
Springer
14 years 1 months ago
1999
Springer
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...