2748 search results - page 212 / 550 » Generating Object-Z Specifications from Use Cases |
98
Voted
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Pseudo relevance feedback (PRF), which has been widely applied in IR, aims to derive a distribution from the top n pseudo relevant documents D. However, these documents are often ...
131
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Researchers increasingly use electronic communication data to construct and study large social networks, effectively inferring unobserved ties (e.g. i is connected to j) from obs...
133
Voted
AFRIGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
100
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
116
Voted
JSW
2007
15 years 20 days ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...