1536 search results - page 138 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
LRE
2002
14 years 9 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
FLAIRS
2004
14 years 11 months ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
IJVR
2008
14 years 10 months ago
2008
The main goals of using simulations and Virtual Environments for Training/Learning (VET/L) are to avoid risks and unwanted consequences, to reduce training costs, and to promote tr...
101
click to vote
IJMI
2002
14 years 9 months ago
2002
: Much of knowledge modeling in the molecular biology domain involves interactions between proteins, genes, various forms of RNA, small molecules, etc. Interactions between these s...
EMO
2005
Springer
15 years 3 months ago
2005
Springer
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...