2055 search results - page 140 / 411 » Generic Model Refactorings |
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
115
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
We address image parsing in the setting of architectural scenes. Our goal is to parse an image into regions of various types such as sky, foliage, buildings, and street. Furthermo...
106
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...