4460 search results - page 362 / 892 » Formal methods for interactive systems |
161
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
166
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a technique for adapting existing motion of a human-like character to have the desired features that are specified by a set of constraints. This problem can b...
188
click to vote
MMS
2008
15 years 6 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
222
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
Group recommendation, which makes recommendations to a group of users instead of individuals, has become increasingly important in both the workspace and people's social acti...
187
click to vote
IWCMC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...