6978 search results - page 1170 / 1396 » On Proofs in System P |
207
click to vote
JELIA
2004
Springer
16 years 1 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...
157
click to vote
SBIA
2004
Springer
16 years 16 hour 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...
141
click to vote
ACSAC
2003
IEEE
15 years 12 months 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...
161
click to vote
CGO
2003
IEEE
15 years 12 months 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...
157
click to vote
HICSS
2003
IEEE
15 years 12 months 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...