7206 search results - page 1356 / 1442 » Using a Hypermedia System for Systems Engineering |
134
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
125
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
142
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
130
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
138
click to vote
SMA
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...