1205 search results - page 181 / 241 » Program Extraction from Large Proof Developments |
173
click to vote
SRDS
2010
IEEE
15 years 3 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...
180
click to vote
ESORICS
2011
Springer
14 years 5 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...
163
click to vote
AAAI
1994
15 years 7 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...
143
click to vote
BMCBI
2007
15 years 6 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 ...
166
click to vote
DLOG
2010
15 years 4 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...