1662 search results - page 57 / 333 » Privately Finding Specifications |
122
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
190
Voted
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In this demonstration, we present the ZOOM*UserView system, and focus on the module which generates a "user view" based on what tasks the user perceives to be relevant i...
112
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Although initially developed as low-threshold tools to publish on-line, weblogs increasingly appear to facilitate conversations. The objective of this study is to identify practic...
109
Voted
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
140
Voted
HIS
2008
15 years 4 months ago
2008
In this paper, we highlight the use of synthetic data sets to analyze learners behavior under bounded complexity. We propose a method to generate synthetic data sets with a specif...