700 search results - page 87 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
136
click to vote
ESWA
2008
15 years 3 days ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
123
click to vote
WACV
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...
105
click to vote
TOOLS
2010
IEEE
14 years 11 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
140
Voted
BMCBI
2004
15 years 1 months ago
2004
Background: Ranked gene lists from microarray experiments are usually analysed by assigning significance to predefined gene categories, e.g., based on functional annotations. Tool...
148
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...