Sciweavers

1097 search results - page 158 / 220
» Partial evaluation of Maple
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
14 years 1 months ago
Compact Binaries with Code Compression in a Software Dynamic Translator
Embedded software is becoming more flexible and adaptable, which presents new challenges for management of highly constrained system resources. Software dynamic translation is a t...
Stacey Shogan, Bruce R. Childers
DILS
2006
Springer
14 years 1 months ago
Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...
Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Mi...
DSOM
2006
Springer
14 years 1 months ago
Efficient Information Retrieval in Network Management Using Web Services
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
Aimilios Chourmouziadis, George Pavlou
ECAI
2006
Springer
14 years 1 months ago
Logic Programs with Multiple Chances
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
Francesco Buccafurri, Gianluca Caminiti, Domenico ...
EUC
2006
Springer
14 years 1 months ago
Impact of Node Cheating on Gossip-Based Protocol
Gossip-based protocol has been widely adopted by many large-scale multicast applications. In this paper, we study the impact of node cheating on decentralized gossip-based protocol...
Nan Zhang, Yuanchun Shi, Bin Chang