1931 search results - page 139 / 387 » Why we blog |
171
click to vote
AIML
2008
15 years 8 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
146
click to vote
FORTE
2007
15 years 8 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
160
click to vote
GEM
2008
15 years 8 months ago
2008
- It is widely believed that greater initial population diversity leads to improved performance in genetic algorithms. However, this assumption has not been rigorously tested previ...
126
click to vote
LWA
2004
15 years 8 months ago
2004
The paper stems from the idea that maybe the painstainkingly slow adoption of the Semantic Web into the mainstream www can be accelerated by taking clues from these tiny Semantic ...
173
click to vote
IQ
2001
15 years 8 months ago
2001
This paper examines why the rise of computermediated communication, driven by dramatically lowered cost, creates new structural problems from an information quality standpoint. We...