378 search results - page 57 / 76 » Automating Coinduction with Case Analysis |
ICLP
2009
Springer
14 years 4 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
A mainstay in cancer diagnostics is the classification or grading of cell nuclei based on their appearance. While the analysis of cytological samples has been automated successful...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
JSS
2007
13 years 9 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
AAAI
2006
13 years 11 months ago
2006
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...