2314 search results - page 288 / 463 » What is a Model |
154
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
169
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
163
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
162
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
135
Voted
JCIT
2007
15 years 4 months ago
2007
Many project managers of a large scale project shortened delivery period of his or her projects unwillingly by the request of clients. However, some of them believe there is no dif...