7040 search results - page 219 / 1408 » The Single Model Principle |
177
click to vote
JCSS
2008
15 years 6 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
117
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Conversational implicatures are usually described as being licensed by the disobeying or flouting of some principle by the speaker in cooperative dialogue. However, such work has...
168
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
180
click to vote
MAGS
2007
15 years 5 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
141
click to vote
PSYCHNOLOGY
2008
15 years 5 months ago
2008
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...