3799 search results - page 743 / 760 » An Engineering Approach to Formal Methods |
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
DEBS
2007
ACM
13 years 9 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
DGO
2003
13 years 9 months ago
2003
Semantic heterogeneity of information is a major barrier of information and system interoperability. Defining ontology of data and mapping ontologies among heterogeneous informati...
BMCBI
2010
13 years 7 months ago
2010
Background: The use of ontologies to control vocabulary and structure annotation has added value to genomescale data, and contributed to the capture and re-use of knowledge across...
BMCBI
2007
13 years 7 months ago
2007
Background: Polyketides are secondary metabolites of microorganisms with diverse biological activities, including pharmacological functions such as antibiotic, antitumor and agroc...