5550 search results - page 281 / 1110 » Different Approaches to Proof Systems |
195
click to vote
PC
2002
15 years 6 months ago
2002
Saddle-point problems give rise to indefinite linear systems that are challenging to solve via iterative methods. This paper surveys two recent techniques for solving such problem...
178
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Energy-efficiency has been an important system issue in hardware and software designs to extend operation duration or cut power bills. This research explores systems with probabil...
170
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
160
click to vote
FQAS
2009
Springer
16 years 1 months ago
2009
Springer
Information extraction systems have been dealt with at length from the viewpoint of users posing definite questions whose expected answer is to be found in a document collection. T...
167
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Media streaming applications are becoming very popular in the Internet world. Since they mainly rely on a not scalable client/server model, the P2P model is receiving more and ...