2449 search results - page 354 / 490 » Tensor Embedding Methods |
161
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
159
click to vote
ECUMN
2007
Springer
16 years 18 days ago
2007
Springer
This article presents a novel method for computing distances between hosts in a computational Grid. Our method allows to represent the cost to achieve any operation involving some...
181
click to vote
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Image retrieval has been widely used in many fields of science and engineering. The semantic concept of user interest is obtained by a learning process. Traditional techniques oft...
164
click to vote
CSCW
2006
ACM
16 years 12 days ago
2006
ACM
This paper argues that the design of remote help-giving systems should be grounded in articulation work and the methodical ways in which help-givers and help-seekers coordinate th...
157
click to vote
CODES
2005
IEEE
16 years 1 days 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...