11588 search results - page 141 / 2318 » Will They Like This |
143
Voted
RTA
2010
Springer
15 years 4 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...
115
click to vote
DLOG
2007
15 years 3 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
101
Voted
WSC
2007
15 years 3 months 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...
80
Voted
WSC
2007
15 years 3 months 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 ...
125
Voted
CF
2008
ACM
15 years 2 months 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...