Sciweavers

1054 search results - page 89 / 211
» Using Component Abstraction for Automatic Generation of Macr...
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 2 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ROBOCUP
2004
Springer
138views Robotics» more  ROBOCUP 2004»
15 years 3 months ago
An Algorithm That Recognizes and Reproduces Distinct Types of Humanoid Motion Based on Periodically-Constrained Nonlinear PCA
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
Rawichote Chalodhorn, Karl F. MacDorman, Minoru As...
ITS
2010
Springer
171views Multimedia» more  ITS 2010»
15 years 2 months ago
Identifying Problem Localization in Peer-Review Feedback
Abstract. In this paper, we use supervised machine learning to automatically identify the problem localization of peer-review feedback. Using five features extracted via Natural L...
Wenting Xiong, Diane J. Litman
UML
2005
Springer
15 years 3 months ago
Specifying Precise Use Cases with Use Case Charts
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
Jon Whittle
DIAL
2004
IEEE
164views Image Analysis» more  DIAL 2004»
15 years 1 months ago
A Dynamic Feature Generation System for Automated Metadata Extraction in Preservation of Digital Materials
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
Song Mao, Jongwoo Kim, George R. Thoma