9626 search results - page 300 / 1926 » Invariant Based Programming |
178
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
223
click to vote
SIGGRAPH
2003
ACM
15 years 12 months ago
2003
ACM
Recent years have seen an increased interest in motion capture systems. Current systems, however, are limited to only a few degrees of freedom, so that effectively only the motion...
171
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
154
Voted
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
155
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a novel method for human gesture recognition based on quadratic curves. Firstly, face and hands in the images are extracted by skin color and their ce...