232 search results - page 6 / 47 » Merging Features in Featured Transition Systems |
KR
2000
Springer
13 years 11 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
CVPR
2006
IEEE
13 years 11 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
Existing software product variants, developed by ad hoc reuse such as copy-paste-modify, are often a starting point for building Software Product Line (SPL). Understanding of how ...
TKDE
2008
13 years 7 months ago
2008
Relevance feedback (RF) is an iterative process, which refines the retrievals by utilizing the user's feedback on previously retrieved results. Traditional RF techniques solel...
JLP
2008
13 years 7 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...