561 search results - page 34 / 113 » An Investigation Into Computer Forensic Tools |
108
click to vote
ACMSE
1992
ACM
15 years 6 months ago
1992
ACM
The feasibility of extracting both explicit and implicit synonym references from a machine readable dictionary is investigated; the extracted synonyms, both symmetric and asymmetr...
ANOR
2006
15 years 2 months ago
2006
Abstract. We investigate the quality of solutions obtained from sample-average approximations to two-stage stochastic linear programs with recourse. We use a recently developed sof...
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper builds on the combination of robotic path planning algorithms and molecular modeling methods for computing large-amplitude molecular motions, and introduces voxel maps a...
111
click to vote
STTT
2008
15 years 1 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
UC
2009
Springer
15 years 8 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...