6258 search results - page 311 / 1252 » Applied Text Generation |
151
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
144
click to vote
TCAD
2002
15 years 4 months ago
2002
In this paper, the authors propose an algorithm to find all the minimal signed digit (MSD) representations of a constant and present an algorithm to synthesize digital filters base...
192
click to vote
TDP
2010
15 years 3 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
138
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
In an online rating system, raters assign ratings to objects contributed by other users. In addition, raters can develop trust and distrust on object contributors depending on a f...
165
Voted
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...