2228 search results - page 412 / 446 » On Database Theory and XML |
AIME
2007
Springer
15 years 3 months ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
104
click to vote
IFSA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
ICAT
2006
IEEE
15 years 3 months ago
2006
IEEE
When a fault such as unbalance occurs in a turbo-generator set, sensors should be put on its bearing to detect vibration signals for extracting fault symptoms, but the relationshi...
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...