4917 search results - page 241 / 984 » Software Engineering is Not Computer Science |
117
click to vote
RELMICS
2009
Springer
15 years 9 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
101
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
This paper presents a thorough evaluation of CS for Scientists, a CS 1 course designed to provide future scientists with an overview of the discipline. The course takes a breadth-...
121
click to vote
FOCS
2005
IEEE
15 years 8 months ago
2005
IEEE
How does a search engine company decide what ads to display with each query so as to maximize its revenue? This turns out to be a generalization of the online bipartite matching p...
102
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
CAD
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a virtual CAD system developed for clothing thermal functional design and simulation. It allows designers and engineers in virtual space to design and preview ...