220 search results - page 33 / 44 » A Relevant Analysis of Natural Deduction |
MOBIDE
1999
ACM
14 years 27 days ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
CIKM
2004
Springer
14 years 10 days ago
2004
Springer
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...
CSB
2004
IEEE
14 years 10 days ago
2004
IEEE
The soundness of clustering in the analysis of gene expression profiles and gene function prediction is based on the hypothesis that genes with similar expression profiles may imp...
EDOC
2004
IEEE
14 years 9 days ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
IJCAI
2007
13 years 10 months ago
2007
We investigate legal and philosophical notions of privacy in the context of artificial agents. Our analysis utilizes a normative account of privacy that defends its value and the ...