SABER: Smart analysis based error reduction
- Darrell Reimer
- Edith Schonberg
- et al.
- 2004
- ISSTA 2004
Publications
Date
Featured collections
Popular topics
38 results for Kavitha Srinivas
Validating structural properties of nested objects
- Darrell Reimer
- Edith Schonberg
- et al.
- 2004
- OOPSLA 2004
Coordinating social care and healthcare using semanticweb technologies
- Spyros Kotoulas
- Vanessa Lopez
- et al.
- 2013
- ISWC 2013
Collective ontology alignment
- Jason B. Ellis
- Oktie Hassanzadeh
- et al.
- 2013
- ISWC 2013
Efficient reasoning on large SHIN Aboxes in relational databases
- Julian Dolby
- Achille Fokoue
- et al.
- 2009
- ISWC 2009
Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Exploring big data with Helix: Finding needles in a big haystack
- Jason Ellis
- Achille Fokoue
- et al.
- 2015
- SIGMOD Record
Scalable highly expressive reasoner (SHER)
- Julian Dolby
- Achille Fokoue
- et al.
- 2009
- Journal of Web Semantics