4460 search results - page 783 / 892 » Formal methods for interactive systems |
184
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Recommender systems are an important component of many websites. Two of the most popular approaches are based on matrix factorization (MF) and Markov chains (MC). MF methods learn...
141
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present two novel texture-based techniques to visualize uncertainty in time-dependent 2D flow fields. Both methods use semi-Lagrangian texture advection to sho...
123
Voted
IPMI
2007
Springer
16 years 4 months ago
2007
Springer
Modern live cell fluorescence microscopy imaging systems, used abundantly for studying intra-cellular processes in vivo, generate vast amounts of noisy image data that cannot be pr...
139
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
123
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...