1169 search results - page 97 / 234 » Two Ways to Common Knowledge |
IADIS
2004
14 years 11 months ago
2004
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...
BMCBI
2010
14 years 10 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
108
click to vote
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
Searching for medical information on the Web has become highly popular, but it remains a challenging task because searchers are often uncertain about their exact medical situation...
111
click to vote
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
HPCA
2008
IEEE
15 years 10 months ago
2008
IEEE
Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an es...