Sciweavers

1128 search results - page 165 / 226
» Little Engines of Proof
Sort
View
96
Voted
CIKM
2006
Springer
15 years 4 months ago
A system for query-specific document summarization
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...
Ramakrishna Varadarajan, Vagelis Hristidis
ACSAC
2001
IEEE
15 years 4 months ago
Java Security Extensions for a Java Server in a Hostile Environment
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
David M. Wheeler, Adam Conyers, Jane Luo, Alex Xio...
112
Voted
CCGRID
2001
IEEE
15 years 4 months ago
A DSM Cluster Architecture Supporting Aggressive Computation in Active Networks
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...
Peter C. J. Graham
99
Voted
IFIP
2000
Springer
15 years 4 months ago
Gender Differences in Vancouver Secondary Students
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...
Vania Chan, Katie Stafford, Maria M. Klawe, Grace ...
103
Voted
IEAAIE
1995
Springer
15 years 4 months ago
Polygonal Inductive Generalisation System
Classification learning has been dominated by the induction of axisorthogonal decision surfaces. While induction of alternate forms of decision surface has received some attentio...
Douglas A. Newlands, Geoffrey I. Webb