Sciweavers

5423 search results - page 791 / 1085
» Denial-of-service in automation systems
Sort
View
ACIVS
2005
Springer
16 years 10 days ago
Gender Classification in Human Gait Using Support Vector Machine
We describe an automated system that classifies gender by utilising a set of human gait data. The gender classification system consists of three stages: i) detection and extraction...
Jang-Hee Yoo, Doosung Hwang, Mark S. Nixon
ASP
2005
Springer
16 years 10 days ago
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
Enrico Giunchiglia, Marco Maratea
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 9 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICCBR
2005
Springer
16 years 9 days ago
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...
Jay H. Powell, Brandon M. Hauff, John D. Hastings
175
Voted
IEAAIE
2005
Springer
16 years 8 days ago
Agent Support for a Grid-Based High Energy Physics Application
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
Aman Sahani, Ian D. Mathieson, Lin Padgham