112 search results - page 1 / 23 » Efficient execution in an automated reasoning environment |
JFP
2008
13 years 5 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
LPAR
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
DAIS
2009
13 years 3 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
AISADM
2005
Springer
13 years 11 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...