9145 search results - page 201 / 1829 » Description Logic Systems |
168
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—This paper addresses the use of adaptive modulation in progressive image transmission with multiple description coding in conjunction with an Orthogonal Frequency Division Multi...
156
click to vote
ICDE
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
139
click to vote
ICTAI
2008
IEEE
16 years 27 days ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
273
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
167
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...