Sciweavers

1895 search results - page 72 / 379
» Modular Functional Descriptions
Sort
View
CAEPIA
2003
Springer
13 years 11 months ago
Embracing Causality in Inducing the Effects of Actions
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
Ramón P. Otero
DLOG
2010
13 years 5 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
FOIS
2006
13 years 9 months ago
What is a Biological Function?
This paper examines the concepts biological function (BF) and functioning as they are used in recent work on formal ontology and its applications in the biomedical domain. My purpo...
Patricia Diaz-Herrera
DATE
2000
IEEE
139views Hardware» more  DATE 2000»
14 years 6 days ago
A VHDL Error Simulator for Functional Test Generation
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
Alessandro Fin, Franco Fummi
ICRA
2002
IEEE
100views Robotics» more  ICRA 2002»
14 years 22 days ago
Telecubes: Mechanical Design of a Module for Self-Reconfigurable Robotics
Telecubes is a cubic module that has six prismatic degrees of freedom whose sides can expand more than twice its original length and has the ability to magnetically (de)attach to o...
John W. Suh, Samuel B. Homans, Mark Yim