5393 search results - page 773 / 1079 » Spatial Computing with Labels |
207
Voted
CGF
2008
15 years 6 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
171
click to vote
CN
2006
15 years 6 months ago
2006
Several dynamic QoS routing techniques have been recently proposed for new IP networks based on label forwarding. However, no extensive performance evaluation and comparison is av...
205
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
215
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
159
click to vote
CANDC
2007
ACM
15 years 6 months ago
2007
ACM
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...