1941 search results - page 347 / 389 » Reasoning about Computations Using Two-Levels of Logic |
126
click to vote
CHI
2008
ACM
16 years 7 days ago
2008
ACM
Many Eyes is a web site that provides collaborative visualization services, allowing users to upload data sets, visualize them, and comment on each other's visualizations. Th...
108
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
125
click to vote
ACIVS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
IEEESCC
2007
IEEE
15 years 6 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...
ICDM
2006
IEEE
15 years 5 months ago
2006
IEEE
This work presents a systematic comparison between seven kernels (or similarity matrices) on a graph, namely the exponential diffusion kernel, the Laplacian diffusion kernel, the ...