626 search results - page 67 / 126 » When Can Formal Methods Make a Real Difference |
144
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Information diffusion, viral marketing, and collective classification all attempt to model and exploit the relationships in a network to make inferences about the labels of nodes....
140
click to vote
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
Robust, fast object detection systems are critical to the success of next-generation automotive vision systems. An important criteria is that the detection system be easily config...
119
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In ultra-wideband impulse radio (UWB-IR) systems, multipath-delayed received pulses may overlap if two consecutive multipaths arrive within less than the pulse duration...
139
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
131
click to vote
ISPAN
1999
IEEE
15 years 7 months ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...