9503 search results - page 378 / 1901 » Authenticated System Calls |
183
click to vote
ISIWI
2000
15 years 9 months ago
2000
This paper presents a visual information seeking system for the WWW called INSYDER1 . The aim of INSYDER is to find business information from the WWW. Information seeking - especi...
196
click to vote
WSC
1997
15 years 9 months ago
1997
Evaluating, analyzing and predicting the performance of a parallel system is challenging due to the complex inter-play between the application characteristics and architectural fe...
210
click to vote
AAAI
1994
15 years 9 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
159
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
172
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...