3028 search results - page 312 / 606 » Integrating Temporal Logics |
203
click to vote
IDT
2010
15 years 5 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
174
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
186
click to vote
IJCAI
2007
15 years 8 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
194
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
218
click to vote
CGF
2010
15 years 7 months ago
2010
Spatiotemporal data pose serious challenges to analysts in geographic and other domains. Owing to the complexity of the geospatial and temporal components, this kind of data canno...