3799 search results - page 629 / 760 » An Engineering Approach to Formal Methods |
147
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
The collaborative filtering approach to recommender systems predicts user preferences for products or services by learning past useritem relationships. In this work, we propose no...
165
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
125
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
The wire length estimation is the bottleneck of packing based block placers. To cope with this problem, we present a fast wire length estimation method in this paper. The key idea...
136
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
The performance of virtual machines (e.g., Java Virtual Machines—JVMs) can be significantly improved when critical code sections (e.g., Java bytecode methods) are migrated from...
170
click to vote
ECWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...