818 search results - page 116 / 164 » formats 2007 |
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper we analyze the downlink OFDMA system-level performances of a 2x2 dual-stream MIMO multiuser transmission scheme under the assumptions of partial and noisy channel...
ADAPTIVE
2007
Springer
15 years 3 months ago
2007
Springer
A very common issue of adaptive Web-Based systems is the modeling of documents. Such documents represent domain-specific information for a number of purposes. Application areas su...
AI
2007
Springer
15 years 3 months ago
2007
Springer
Many researchers have used text classification method in solving the ontology mapping problem. Their mapping results heavily depend on the availability of quality exemplars used as...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...