1928 search results - page 145 / 386 » Integrity Constraints in OWL |
104
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
106
Voted
ICCAD
1998
IEEE
15 years 5 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
114
Voted
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
106
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...