551 search results - page 100 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
EDM
2009
13 years 6 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
ANLP
1994
13 years 10 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
JAR
2000
13 years 8 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...