6978 search results - page 1170 / 1396 » On Proofs in System P |
239
click to vote
JELIA
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
174
click to vote
SBIA
2004
Springer
16 years 18 days ago
2004
Springer
One of the main objectives of a Machine Learning – ML – system is to induce a classifier that minimizes classification errors. Two relevant topics in ML are the understanding...
155
click to vote
ACSAC
2003
IEEE
16 years 17 days ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
178
click to vote
CGO
2003
IEEE
16 years 17 days ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
177
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
A technological challenge that distinguishes group support systems (GSS) from many other technologies is the need to accommodate a variety of race conditions. A race condition occ...