1931 search results - page 286 / 387 » Why we blog |
163
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
178
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
155
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
163
click to vote
ECML
2004
Springer
15 years 11 months ago
2004
Springer
Support Vector Machines (SVM) have been extensively studied and have shown remarkable success in many applications. However the success of SVM is very limited when it is applied to...
167
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
The call stack of a program execution can be a very good information source for intrusion detection. There is no prior work on dynamically extracting information from call stack a...