2742 search results - page 350 / 549 » Deriving Category Theory from Type Theory |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Concerns about virtual groups include how members develop trust and liking for partners. Previous studies have explored behavioral variables leading to subjectively-experienced tr...
ER
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
MDM
2004
Springer
14 years 2 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
PODS
2000
ACM
14 years 1 months ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...