4917 search results - page 500 / 984 » Software Engineering is Not Computer Science |
153
Voted
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
197
Voted
PAMI
2012
13 years 7 months ago
2012
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
144
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
114
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
167
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...