3172 search results - page 272 / 635 » Combining Specification Techniques for Processes, Data and T... |
209
click to vote
TVCG
2010
15 years 5 months ago
2010
— While a number of information visualization software frameworks exist, creating new visualizations, especially those that involve novel visualization metaphors, interaction tec...
173
click to vote
IJIT
2004
15 years 8 months ago
2004
The increase popularity of multimedia application especially in image processing places a great demand on efficient data storage and transmission techniques. Network communication ...
203
click to vote
CSB
2005
IEEE
16 years 27 days ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
222
click to vote
ICAI
2004
15 years 8 months ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
174
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...