Sciweavers

1837 search results - page 139 / 368
» Abstraction and the C Machine Model
Sort
View
AIME
2007
Springer
15 years 10 months ago
Analyzing Differences in Operational Disease Definitions Using Ontological Modeling
Abstract. In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, ...
Linda Peelen, Michel C. A. Klein, Stefan Schlobach...
FASE
2004
Springer
15 years 10 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
WOB
2004
15 years 7 months ago
An Integrated Model for Cellular Analysis
ABSTRACT. We present the MOlecular NETwork (MONET) ontology as a model to integrate data from different networks that govern cell function. To achieve this, different existing onto...
Eduardo Battistella, José Souza, Clá...
EIT
2009
IEEE
16 years 1 months ago
System-level memory modeling for bus-based memory architecture exploration
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
Zhongbo Cao, Ramon Mercado, Diane T. Rover
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
16 years 1 months ago
Toward model free atmospheric sensing by aerial robot networks in strong wind fields
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind field. The geostatistical concept of the vari...
Jack Elston, Maciej Stachura, Eric W. Frew, Ute C....