1205 search results - page 181 / 241 » Program Extraction from Large Proof Developments |
118
click to vote
SRDS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents an instance based approach to diagnosing failures in computing systems. Owing to the fact that a large portion of occurred failures are repeated ones, our meth...
126
click to vote
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
While most research on XSS defense has focused on techniques for securing existing applications and re-architecting browser mechanisms, sanitization remains the industry-standard d...
108
click to vote
AAAI
1994
15 years 2 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
BMCBI
2007
15 years 1 months ago
2007
Background: In the last decade, techniques were established for the large scale genome-wide analysis of proteins, RNA, and metabolites, and database solutions have been developed ...
113
click to vote
DLOG
2010
14 years 11 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...