6167 search results - page 91 / 1234 » Can Refinement be Automated |
114
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
By the use of declarative rules, automation of tasks can be performed through an electronic personal information management (PIM) application. Rules can be used in a variety of di...
136
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
129
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
159
click to vote
DOLAP
2003
ACM
15 years 9 months ago
2003
ACM
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
121
Voted
AMAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...