8337 search results - page 1210 / 1668 » Reasoning With Characteristic Models |
161
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
161
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
172
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
189
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
202
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we consider online prediction from expert advice in a situation where each expert observes its own loss at each time while the loss cannot be disclosed to others fo...