7393 search results - page 1133 / 1479 » Synthesis-for-testability using transformations |
134
click to vote
ASWC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a conceptual model for semantic search and implement it in security access control. The model provides security access control to extend the search capabilitie...
120
click to vote
CF
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we employ two techniques suitable for embedded media processors. The first technique, extended subwords, uses four extra bits for every byte in a media register. Th...
155
click to vote
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
179
click to vote
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...
160
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...