427 search results - page 72 / 86 » Inductive reasoning about effectful data types |
HUC
2010
Springer
13 years 6 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
DIMVA
2011
12 years 11 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
ICDE
2005
IEEE
14 years 8 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
PRIMA
2009
Springer
14 years 2 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
RULEML
2004
Springer
14 years 25 days ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...