236 search results - page 39 / 48 » Automated Generation of Interesting Theorems |
KDD
2003
ACM
14 years 7 months ago
2003
ACM
There is extensive interest in automating the collection, organization and summarization of biological data. Data in the form of figures and accompanying captions in literature pr...
ILP
2007
Springer
14 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
LICS
2005
IEEE
14 years 28 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
ISSRE
2003
IEEE
14 years 19 days ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
SSIAI
2000
IEEE
13 years 11 months ago
2000
IEEE
As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...