626 search results - page 89 / 126 » When Can Formal Methods Make a Real Difference |
157
Voted
KCAP
2011
ACM
14 years 6 months ago
2011
ACM
Some supervised-learning algorithms can make effective use of domain knowledge in addition to the input-output pairs commonly used in machine learning. However, formulating this a...
150
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
114
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
While work in recent years has demonstrated that wavelets can be efficiently used to compress large quantities of data and provide fast and fairly accurate answers to queries, lit...
KDD
1994
ACM
15 years 7 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
127
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
Shape from silhouette methods are extensively used to model dynamic and non-rigid objects using binary foreground-background images. Since the problem of reconstructing shapes fro...