9425 search results - page 1570 / 1885 » Some Notes on Models and Modelling |
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When autonomous agents decide on their bidding strategies in real world auctions, they have a number of concerns that go beyond the models that are normally analyzed in traditiona...
201
Voted
ATVA
2008
Springer
15 years 8 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...
197
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
The popularity of computer networks broadens the scope for network attackers and increases the damage these attacks can cause. In this context, Intrusion Detection Systems (IDS) a...
205
click to vote
CBMS
2008
IEEE
15 years 8 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 ...
204
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Evaluation in Information Retrieval (IR) has long focused on effectiveness and efficiency. However, new and emerging access tasks now demand alternative evaluation measures which ...