64 search results - page 9 / 13 » Presenting TSTP Proofs with Inference Web Tools |
111
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This work aims a two-fold contribution: it presents a software to analyse logfiles and visualize popular web hot spots and, additionally, presents an algorithm to use this informa...
162
Voted
CSCW
2012
ACM
13 years 11 months ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
122
Voted
TAPOS
1998
15 years 3 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
123
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
140
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...