3081 search results - page 311 / 617 » A Formal Ontology of Properties |
169
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
184
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
203
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...
175
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
161
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...