438 search results - page 45 / 88 » Temporized and Localized Rule Sets |
ENTCS
2007
13 years 7 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
FEGC
2010
13 years 7 months ago
2010
Abstract. Having effective and efficient methods to get access to desired images is essential nowadays with the huge amount of digital images. This paper presents an analogy betwee...
TWC
2008
13 years 7 months ago
2008
The sliding correlator technique remains one of the most versatile and effective methods for sounding the radio propagation channel in next-generation wireless systems. Despite the...
TODAES
2008
13 years 7 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...