4636 search results - page 538 / 928 » Modelling and Validation with VipTool |
178
click to vote
ICRA
2005
IEEE
16 years 24 days ago
2005
IEEE
— A fast online gait planning method is proposed. Based on an approximate dynamical biped model whose mass is concentrated to COG, general solution of the equation of motion is a...
185
click to vote
ISCAS
2005
IEEE
16 years 24 days ago
2005
IEEE
—The present work describes the analysis, modeling and control of a transformerless Boost-Buck power inverter used as a DC-AC power conditioning stage for grid-connected photovol...
224
click to vote
WORDS
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
210
click to vote
CIS
2005
Springer
16 years 23 days ago
2005
Springer
Different from familiar clustering objects, text documents have sparse data spaces. A common way of representing a document is as a bag of its component words, but the semantic re...
188
click to vote
FM
2005
Springer
16 years 22 days ago
2005
Springer
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...