5799 search results - page 861 / 1160 » Position Paper |
119
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
168
click to vote
APPROX
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we develop a new "robust mixing" framework for reasoning about adversarially modified Markov Chains (AMMC). Let P be the transition matrix of an irreducib...
177
Voted
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Clustering is to identify densely populated subgroups in data, while correlation analysis is to find the dependency between the attributes of the data set. In this paper, we combin...
136
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
The WWW provides a simple yet effective media for users to search, browse, and retrieve information in the Web. Web log mining is a promising tool to study user behaviors, which co...
186
click to vote
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents an approach to realize a tool for interactive and intuitive deformation of 3D shapes. The approach combines a fast algorithm for 3D free form deformation that ...