9503 search results - page 1732 / 1901 » Authenticated System Calls |
177
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a system called kMedia that can assist users to form knowledge for community by showing shared topics networks (STN) among them. One of the important aspe...
176
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
156
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Current interactive user interface construction tools are often more of a hindrance than a benefit during the early stages of user interface design. These tools take too much time...
177
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
155
click to vote
BTW
2009
Springer
15 years 9 months ago
2009
Springer
: Today, decision making by users of front office applications happens without analytical information supporting this process. We propose as solution Embedded Analytics (EA) making...