1120 search results - page 37 / 224 » Making computer science minority-friendly |
150
Voted
JSW
2007
15 years 3 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
124
click to vote
CAD
2000
Springer
15 years 3 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
GI
2007
Springer
15 years 9 months ago
2007
Springer
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
139
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...