3928 search results - page 415 / 786 » order 2006 |
205
click to vote
JSAT
2006
15 years 7 months ago
2006
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
203
click to vote
JSS
2006
15 years 7 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
255
click to vote
JSW
2006
15 years 7 months ago
2006
The high competition among network providers places a demand for new ways to design network services with near zero development time, low cost, and high degrees of customization an...
206
click to vote
JUCS
2006
15 years 7 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
189
click to vote
JUCS
2006
15 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...