8780 search results - page 378 / 1756 » On the Feasibility of Consistent Computations |
191
click to vote
HAPTICS
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
203
click to vote
MFCS
2010
Springer
15 years 6 months ago
2010
Springer
Karchmer, Kushilevitz and Nisan formulated the formula size problem as an integer programming problem called the rectangle bound and introduced a technique called the LP bound, whi...
212
click to vote
PERCOM
2010
ACM
15 years 6 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
195
click to vote
SPIN
2010
Springer
15 years 6 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
170
click to vote
ACL
2010
15 years 5 months ago
2010
Despite its substantial coverage, NomBank does not account for all withinsentence arguments and ignores extrasentential arguments altogether. These arguments, which we call implic...