1263 search results - page 99 / 253 » A Vision on a New Generation of Software Design Environments |
180
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
198
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
157
click to vote
CGF
1999
15 years 6 months ago
1999
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...
147
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
151
click to vote
ICPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Conventional contour tracking algorithms with level set often use generative models to construct the energy function. For tracking through cluttered and noisy background, however,...