9145 search results - page 238 / 1829 » Description Logic Systems |
177
click to vote
PUK
2003
15 years 8 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
203
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
164
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
In nanometer scaled CMOS devices significant increase in the subthreshold, the gate and the reverse biased junction band-toband-tunneling (BTBT) leakage, results in the large incr...
179
click to vote
DEXAW
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, we propose knowledge-chunk based techniques for instance matching and mapping discovery of Semantic Web resources. Knowledge chunks provide a synthetic representa...
167
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a system for video streaming well adapted to the unpredictable and varying nature of Internet. The proposed system uses a superposition of several Multiple Description ...