3207 search results - page 414 / 642 » A Semantics for HTN Methods |
204
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
157
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
196
click to vote
PCM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Image classification could be treated as an effective solution to enable keyword-based semantic image retrieval. In this paper, we propose a novel image classification...
157
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
195
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
RFID technology can be used to significantly improve the efficiency of business processes by providing the capability of automatic identification and data capture. This technol...