680 search results - page 28 / 136 » Complexity of Strict Implication |
IJCSA
2007
13 years 7 months ago
2007
The Rhagoletis pomonella species complex consists of at least four sibling species. They are highly host specific as larvae, and display great fidelity as adults. The only certain...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
ECIS
2003
2003
Work practice characteristics: a framework for understanding complex issues of groupware integration
13 years 9 months ago
Integrating groupware in work practices poses a range of interrelated problems comprising organisational and technological issues. These are complex issues, since they derive from...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
As more and more information becomes accessible via on-line databases, more public services can be provided and more complex queries involving several registers become feasible as...