8337 search results - page 1232 / 1668 » Reasoning With Characteristic Models |
235
click to vote
IJWET
2007
15 years 6 months ago
2007
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...
164
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
181
click to vote
TOG
2008
15 years 6 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
153
click to vote
JEI
2007
15 years 6 months ago
2007
Spectral separation is the process of obtaining printer control values to reproduce a given spectral reflectance. Given a multispectral image where each pixel represents a spectra...
186
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...