4617 search results - page 834 / 924 » Automation of Diagrammatic Reasoning |
203
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
183
click to vote
WETICE
2006
IEEE
16 years 24 days ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
225
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
219
click to vote
DOLAP
2006
ACM
16 years 23 days ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
172
click to vote
SIGCSE
2006
ACM
16 years 23 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...