2576 search results - page 272 / 516 » Methodology work is ontology work |
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
159
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...
157
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...
183
click to vote
JCIT
2008
15 years 6 months ago
2008
MINING biological data is an emerging area of intersection between data mining and bioinformatics. Bio-informaticians have been working on the research and development of computat...
145
click to vote
JGAA
2006
15 years 6 months ago
2006
In this paper we present a new characterization of switch-regular upward embeddings, a concept introduced by Di Battista and Liotta in 1998. This characterization allows us to def...