Sciweavers

12107 search results - page 2039 / 2422
» Software That Can Think
Sort
View
FC
2004
Springer
88views Cryptology» more  FC 2004»
16 years 3 days ago
Mental Models of Computer Security
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
L. Jean Camp
FIDJI
2004
Springer
16 years 3 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
FOSSACS
2004
Springer
16 years 3 days ago
Reasoning about Dynamic Policies
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
Riccardo Pucella, Vicky Weissman
FSTTCS
2004
Springer
16 years 3 days ago
Improved Approximation Algorithms for Maximum Graph Partitioning Problems
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
Gerold Jäger, Anand Srivastav
FSTTCS
2004
Springer
16 years 3 days ago
Learning Languages from Positive Data and a Finite Number of Queries
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
Sanjay Jain, Efim B. Kinber
« Prev « First page 2039 / 2422 Last » Next »