4460 search results - page 165 / 892 » Formal methods for interactive systems |
151
click to vote
JCPHY
2011
14 years 6 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
120
click to vote
HUC
2005
Springer
15 years 9 months ago
2005
Springer
Ubiquitous computing technologies which are cheap and easy to use are more likely to be adopted by users beyond the ubiquitous computing community. We present an ultrasonic-only tr...
238
click to vote
HCI
2011
14 years 7 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
145
click to vote
HCI
2011
14 years 7 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
122
click to vote
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...