896 search results - page 113 / 180 » On completeness of word reversing |
103
click to vote
TDHMS
2010
14 years 10 months ago
2010
For post incident investigation a complete reconstruction of an event is needed based on surveillance footage of the crime scene and surrounding areas. Reconstruction of the wherea...
100
click to vote
ALDT
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We axiomatically characterise a class of algorithms for making sequential decisions in situations of complete ignorance. These algorithms assume that a decision maker (DM...
FORTE
2009
14 years 9 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
113
click to vote
ENTCS
2010
14 years 9 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
102
click to vote
COMPSYSTECH
2010
14 years 8 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...