6833 search results - page 977 / 1367 » Some two-character sets |
174
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
207
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
194
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
253
click to vote
AUSDM
2008
Springer
15 years 9 months ago
2008
Springer
Malware detection is an important problem today. New malware appears every day and in order to be able to detect it, it is important to recognize families of existing malware. Dat...
210
click to vote
CBMS
2008
IEEE
15 years 9 months ago
2008
IEEE
In the real world concepts are often not stable but change over time. A typical example of this in the biomedical context is antibiotic resistance, where pathogen sensitivity may ...