4460 search results - page 149 / 892 » Formal methods for interactive systems |
285
click to vote
IHI
2012
13 years 11 months ago
2012
Despite recent progress in high-throughput experimental studies, systems level visualization and analysis of large protein interaction networks (ppi) remains a challenging task, g...
142
click to vote
ACMACE
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents an interactive bowling system using vison-based tracking for AR. With the bowling system, a user can enjoy the bowling game by rolling a real ball down a bowli...
137
click to vote
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
We propose an efficient placement algorithm and per-disk prefetching method to effectively support interactive operations in the media server. Our placement policy is incorporate...
151
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
128
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an interactive video event retrieval system based on improved adaboost learning. This system consists of three main steps. Firstly, a long video sequence is pa...