3172 search results - page 272 / 635 » Combining Specification Techniques for Processes, Data and T... |
183
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...
160
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 ...
187
click to vote
CSB
2005
IEEE
16 years 9 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 ...
195
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...
144
click to vote
ICFP
2003
ACM
16 years 6 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...