2737 search results - page 445 / 548 » interaction 2009 |
134
Voted
IV
2009
IEEE
16 years 6 days ago
2009
IEEE
Computational simulation is an established method to gain insight into cellular processes. As the resulting data sets are usually large and complex, visualization can play a signi...
148
click to vote
IV
2009
IEEE
16 years 6 days ago
2009
IEEE
We have various interesting time series data in our daily life, such as weather data (e.g., temperature and air pressure) and stock prices. Polyline chart is one of the most commo...
149
click to vote
IV
2009
IEEE
16 years 6 days ago
2009
IEEE
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...
168
click to vote
LICS
2009
IEEE
16 years 6 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
164
click to vote
LICS
2009
IEEE
16 years 6 days ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...