11588 search results - page 141 / 2318 » Will They Like This |
RTA
2010
Springer
14 years 1 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
DLOG
2007
14 years 20 days ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
WSC
2007
14 years 20 days ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
WSC
2007
14 years 20 days ago
2007
In the study of physiologic systems control, lumped parameter and differential equation techniques are standard approaches. Application of these techniques to the study of oxygen ...
CF
2008
ACM
14 years 10 days ago
2008
ACM
String searching is the computationally intensive kernel of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filter...