1011 search results - page 105 / 203 » The three dimensions of proofs |
154
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Software consumers often need to choose between different software that provide the same functionality. Today, security is a quality that many consumers, especially system adminis...
161
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
172
click to vote
WSC
2007
15 years 8 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...
137
click to vote
AAAI
2010
15 years 7 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
173
click to vote
SWAP
2008
15 years 7 months ago
2008
Ontology evolution is a complex problem. In our work, we focus on issues related to change management, particularly consistency maintenance and we present in this paper, an overvie...