700 search results - page 93 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
127
click to vote
SOFTWARE
2002
15 years 1 months ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
125
click to vote
VOTEID
2007
Springer
15 years 7 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
109
click to vote
TIME
1999
IEEE
15 years 5 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
182
click to vote
DLS
2009
14 years 11 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
167
Voted
BMCBI
2010
14 years 8 months ago
2010
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...