7991 search results - page 619 / 1599 » Using More Reasoning to Improve |
181
Voted
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
163
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
210
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
184
Voted
AI
2010
Springer
15 years 2 months ago
2010
Springer
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
250
Voted
KBS
2011
15 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...