672 search results - page 124 / 135 » On the Expressive Power of the Loop Language |
114
click to vote
IGPL
2010
14 years 11 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
131
Voted
TDSC
2010
14 years 8 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
163
click to vote
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
142
Voted
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
125
click to vote
WIDM
2006
ACM
15 years 7 months ago
2006
ACM
The preservation of digital artifacts represents an unanswered challenge for the modern information society: XML and its query languages provide an effective environment to addre...