3994 search results - page 690 / 799 » Supporting the design of network-spanning applications |
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
121
click to vote
JWSR
2006
15 years 1 months ago
2006
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
134
click to vote
KAIS
2006
15 years 1 months ago
2006
Frequent itemset mining was initially proposed and has been studied extensively in the context of association rule mining. In recent years, several studies have also extended its a...
107
click to vote
MANSCI
2006
15 years 1 months ago
2006
Second order stochastic dominance characterizes risk-averse preferences represented by expected utility. This paper supplies second order stochastic dominance conditions that char...
AAI
2005
15 years 1 months ago
2005
The CoAKTinG project aims to advance the state of the art in collaborative mediated spaces for the Semantic Grid. This paper presents an overview of the hypertext and knowledge bas...