557 search results - page 85 / 112 » The L4.verified Project - Next Steps |
IIE
2007
13 years 7 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
INFFUS
2007
13 years 7 months ago
2007
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...
BMCBI
2004
13 years 7 months ago
2004
Background: Parallel computing is frequently used to speed up computationally expensive tasks in Bioinformatics. Results: Herein, a parallel version of the multi-alignment program...
KSEM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we consider the problem of query answering over large multimedia ontologies. Traditional reasoning systems may have problems to deal with large amounts of expressive...
SOFTWARE
2010
13 years 6 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...