10790 search results - page 1692 / 2158 » Using feature models to automate model transformations |
192
click to vote
BIBE
2005
IEEE
16 years 13 days ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
175
click to vote
CIMCA
2005
IEEE
16 years 13 days ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
198
click to vote
TIME
2005
IEEE
16 years 11 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
203
Voted
WACV
2005
IEEE
16 years 11 days ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
173
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...