3081 search results - page 229 / 617 » A Formal Ontology of Properties |
163
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
The Gene Ontology (GO) resource can be used as a powerful tool to uncover the properties shared among, and specific to, a list of genes produced by high-throughput functional geno...
166
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
168
click to vote
TIME
1997
IEEE
15 years 10 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
207
click to vote
TRECVID
2007
15 years 7 months ago
2007
In this paper, we present our approaches and results of high-level feature extraction and automatic video search in TRECVID-2007. In high-level feature extraction, our main focus ...
171
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...