2082 search results - page 63 / 417 » Change Paths in Reasoning! |
86
Voted
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...
100
Voted
CADE
2010
Springer
15 years 1 days ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
94
Voted
INFOCOM
2002
IEEE
15 years 3 months ago
2002
IEEE
— This paper presents a new mechanism for improving the convergence properties of path vector routing algorithms, such as BGP. Using a route’s path information, we develop two ...
WSC
2004
15 years 8 days ago
2004
We develop an efficient Monte Carlo algorithm for pricing barrier options with the variance gamma model (Madan, Carr, and Chang 1998). After generalizing the double-gamma bridge s...
74
Voted
TR
2008
14 years 10 months ago
2008
Abstract--As an alternative to traditional life testing, degradation tests can be effective in assessing product reliability when measurements of degradation leading to failure can...