9145 search results - page 201 / 1829 » Description Logic Systems |
183
click to vote
GLOBECOM
2008
IEEE
16 years 1 months 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...
171
click to vote
ICDE
2007
IEEE
16 years 1 months 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...
159
click to vote
ICTAI
2008
IEEE
16 years 1 months 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...
294
click to vote
PPSWR
2005
Springer
16 years 18 days 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 ...
178
click to vote
EKAW
2004
Springer
16 years 15 days 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...