1021 search results - page 99 / 205 » Concepts in Proof Planning |
RML
2002
13 years 8 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
QUESTA
2008
13 years 8 months ago
2008
In this note we identify a phenomenon for processor sharing queues that is unique to ones with time-varying rates. This property was discovered while correcting a proof in Hampshi...
IJSYSC
2010
13 years 7 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—This paper shows how to reduce evaluation time for context inference. Probabilistic Context Inference has proven to be a good representation of the physical reality with uncerta...
VSGAMES
2010
13 years 7 months ago
2010
— This paper describes a variety of methods that can be used to create realistic, random 3D environments for serious games requiring real-time performance. These include the gene...