2105 search results - page 178 / 421 » Grouping with Directed Relationships |
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
APWEB
2005
Springer
14 years 3 months ago
2005
Springer
When XML documents are modeled as graphs, many challenging research issues arise. In particular, query processing for graphstructured XML data brings new challenges because traditi...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper analyzes a professional development Web site for teachers that features ‘virtual classroom visits’—video clips of teachers teaching, together with asynchronous fo...
ISQED
2002
IEEE
14 years 3 months ago
2002
IEEE
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...