7 search results - page 2 / 2 » Automated learning of muscle-actuated locomotion through con... |
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
IEEEICCI
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...