9818 search results - page 1642 / 1964 » Much Support and More |
189
click to vote
JDA
2006
15 years 6 months ago
2006
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...
173
click to vote
ECRA
2007
15 years 6 months ago
2007
WebTracer is a new usability evaluation environment that supports recording, replaying, and analysis of a gazing point and operation while a user is browsing a website. WebTracer ...
148
Voted
JMLR
2006
15 years 6 months ago
2006
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
227
click to vote
JODS
2006
15 years 6 months ago
2006
Defining and using ontology to annotate web resources with semantic markups is generally perceived as the primary way to implement the vision of the Semantic Web. The ontology prov...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...