2702 search results - page 297 / 541 » Practically Applicable Formal Methods |
154
Voted
VIS
2007
IEEE
16 years 4 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
121
Voted
ICASSP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a novel feature selection method based on twostage analysis of Fisher Ratio and Mutual Information for robust Brain Computer Interface. This method decomposes ...
114
Voted
IMC
2005
ACM
15 years 8 months ago
2005
ACM
By providing the best-effort service, the Internet Protocol (IP) does not maintain the same order of packets sent out by a host. Therefore, due to the route change, parallelism in...
117
Voted
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
107
Voted
CCE
2004
15 years 2 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...