507 search results - page 78 / 102 » Normalization Theory for XML |
192
click to vote
IFSA
2007
Springer
16 years 19 days 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...
173
click to vote
ACL2
2006
ACM
16 years 14 days 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...
174
click to vote
SIGMETRICS
2006
ACM
16 years 13 days ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
164
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
153
click to vote
CSL
2005
Springer
16 years 20 hour ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...