3146 search results - page 176 / 630 » Efficient Consequence Finding |
153
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper proposes an address compression technique for load/store queue (LSQ) to improve the scalability and power efficiency. A load/store queue (LSQ) typically needs a fullyas...
160
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...
162
click to vote
ACL
2009
15 years 3 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
173
click to vote
HCI
2009
15 years 3 months ago
2009
This paper introduces our research which aims to develop a design approach for ADAS applications in which human factors (including stakeholder feedback and objective performance me...
136
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
In this work we revisit the Mumford-Shah functional, one of the most studied variational approaches to image segmentation. The contribution of this paper is to propose an algorith...