1413 search results - page 144 / 283 » Bisimilarity of Open Terms |
145
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
192
click to vote
WABI
2009
Springer
16 years 1 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
162
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
197
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...
163
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...