708 search results - page 99 / 142 » Precise Specification and Automatic Application of Design Pa... |
184
click to vote
JODL
2000
15 years 3 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
153
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Improving the precision of information retrieval has been a challenging issue on Chinese Web. As exemplified by Chinese recipes on the Web, it is not easy/natural for people to us...
156
click to vote
MHCI
2005
Springer
15 years 8 months ago
2005
Springer
Acontextuality of the mobile phone often leads to a caller’s uncertainty over a callee’s current state, which in turn often hampers mobile collaboration. We are interested in ...
118
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
The wiring effort and thus, the routability of electronic designs such as printed circuit boards, multi chip modules and single chip modules largely depends on the assignment of s...
149
click to vote
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...