434 search results - page 60 / 87 » The Case for Browser Provenance |
EUROPLOP
2006
13 years 10 months ago
2006
Traditional face-to-face instruction in secondary education has been tested for hundreds of years now and has proven successful, but after the tremendous expansion of computer and...
IJCAI
2003
13 years 10 months ago
2003
In order for agents and humans to leverage the growing wealth of heterogeneous information and services on the web, increasingly, they need to understand the information that is d...
STRINGOLOGY
2004
13 years 10 months ago
2004
We investigate the shortest common superstring problem (SCSSP). As SCSSP is APX-complete it cannot be approximated within an arbitrarily small performance ratio. One heuristic tha...
AMC
2007
13 years 8 months ago
2007
The existence of positive heteroclinic solutions is proven for a class of scalar population models with one discrete delay. Traveling wave solutions for scalar delayed reaction-di...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...