4564 search results - page 73 / 913 » Data Integration Using ID-Logic |
JAR
2006
13 years 7 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
APBC
2006
13 years 9 months ago
2006
: The rapid growth of biological databases not only provides biologists with abundant data but also presents a big challenge in relation to the analysis of data. Many data analysis...
JDM
2007
13 years 7 months ago
2007
Environmental research and knowledge discovery both require extensive use of data stored in various sources and created in different ways for diverse purposes. We describe a new m...
IJCNN
2007
IEEE
14 years 2 months ago
2007
IEEE
— We constructed a new model of an olfactory system with expanded integrate and fire neurons to explore its behaviors with external inputs. The model is built in according to th...
TOOLS
2000
IEEE
14 years 3 days ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...