5608 search results - page 503 / 1122 » Structure description tools |
161
click to vote
IFM
2004
Springer
16 years 9 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
173
click to vote
XPU
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. User acceptance testing is finally getting the attention and tool support it deserves. It is imperative that acceptance tests follow the best practices and embody the cri...
170
click to vote
ICDS
2010
IEEE
16 years 8 days ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
175
click to vote
CHI
2010
ACM
16 years 2 days ago
2010
ACM
Do people from different cultures tag digital images differently? The current study compared the content of tags for digital images created by two cultural groups: European Americ...
182
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...