586 search results - page 37 / 118 » Automated Reasoning on Aspects Interactions |
157
click to vote
JSA
2007
15 years 4 months ago
2007
Mapping of applications on a Multiprocessor System-on-Chip (MP-SoC) is a crucial step to optimize performance, energy and memory constraints at the same time. The problem is formu...
146
click to vote
DLOG
2004
15 years 6 months ago
2004
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
154
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
146
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
124
click to vote
GIS
2000
ACM
15 years 4 months ago
2000
ACM
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...