2196 search results - page 152 / 440 » Practical Reasoning Using Values |
112
click to vote
HPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
129
click to vote
CSL
2007
Springer
15 years 2 months ago
2007
Springer
When users access information from text, they engage in strategic fixation, visually scanning the text to focus on regions of interest. However, because speech is both serial and ...
129
click to vote
TARK
2009
Springer
15 years 9 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
108
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
119
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...